{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:02Z","timestamp":1725663422765},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:30:56Z","timestamp":1330191056000},"page":"271-293","source":"Crossref","is-referenced-by-count":4,"title":["Data construction with recursive set expressions"],"prefix":"10.1007","author":[{"given":"J.","family":"Eder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Rudloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Matthes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. W.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"A. Aho and J. Ullmann. Universality of data retrieval languages. ACM Symp. on Principles of Programming Languages, 1979.","DOI":"10.1145\/567752.567763"},{"key":"15_CR2","unstructured":"S. Baase. Computer Algorithms \u2014 Introduction to Design and Analysis. Addison-Wesley Publishing Company, 2nd edition, 1988."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"C. Beeri, S. Naqvi and R. Ramakrishnan. Sets and negation in a logic database language (LDL). In: Proceedings ACM Symposium Principles of Database Systems, 1987.","DOI":"10.1145\/28659.28662"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"A.J. Bonner and T. Imielinski. The Reuse and Modification of Rulebases by Predicate Substitution. In: F. Bancilhon, C. Thanos, and D. Tsichritzis (Eds.): Advances in Database Technology \u2014 EDBT'90 (Proceedings), Springer-Verlag, 1990.","DOI":"10.1007\/BFb0022188"},{"key":"15_CR5","unstructured":"L. Cardelli. Typeful Programming. Digital Systems Research Center Reports 45, DEC SRC Palo Alto, May 1989."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob and L. Tanca. What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering, 1(1), 1989.","DOI":"10.1109\/69.43410"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob and L. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"issue":"6","key":"15_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"E.F. Codd. A Relational Model of Data for Large Shared Databanks. Communications of the ACM, 13(6):377\u2013387, June 1970.","journal-title":"Communications of the ACM"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"E. Dahlhaus. Skolem Normal Forms Concerning the Least Fixpoint. In E. B\u00f6rger (Ed.): Computation Theory and Logic volume 270 of Lecture Notes in Computer Science. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18170-9_158"},{"key":"15_CR10","unstructured":"Th. Fr\u00fchwirth. Types in logic programming. PhD-Thesis, Technical University of Vienna, 1990."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"U. G\u00fcntzer, W. Kiessling and R. Bayer. On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration. In: Proceedings 3rd International Conference on Data Engineering, pp. 120\u2013129, Los Angeles, February 1987.","DOI":"10.1109\/ICDE.1987.7272365"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"In: A. Blaser, editor, Database Systems of the 90s, volume 466 of Lecture Notes in Computer Science, August 1990.","DOI":"10.1007\/3-540-53397-4"},{"key":"15_CR13","unstructured":"M. Jarke, V. Linnemann and J.W. Schmidt. Data Constructors: On the Integration of Rules and Relations. In: 11th Intern. Conference on Very Large Data Bases, Stockholm, August 1985."},{"key":"15_CR14","unstructured":"E. Lambrichts, P. Nees, J. Paradaens, P. Peelman and L. Tanca. MilAnt: An extension of Datalog with complex objects, functions, and negation, 1988."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Ph. G. Kolaitis and C.H. Papadimitriou. Why not negation by Fixpoint? In: Proceedings ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 1988.","DOI":"10.1145\/308386.308446"},{"key":"15_CR16","volume-title":"Data-and Rule-Based Database Programming in DBPL","author":"F. Matthes","year":"1989","unstructured":"F. Matthes, A. Rudloff, and J.W. Schmidt. Data-and Rule-Based Database Programming in DBPL. Esprit Project 892 WP\/IMP 3.b, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, West Germany, March 1989."},{"key":"15_CR17","unstructured":"F. Matthes and J.W. Schmidt. The Type System of DBPL. In: Proc. of the 2nd Workshop on Database Programming Languages, Salishan Lodge, Oregon, pp. 255\u2013260, June 1989."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"F. Matthes and J. W. Schmidt. Database Application Systems: Types, Kinds and Other Open Invitations. In these proceedings, 1990.","DOI":"10.1007\/3-540-54141-1_11"},{"key":"15_CR19","unstructured":"S.A. Naqvi. Stratification as a Design Principle in Logical Query Languages. In: Proc. of the 2nd Workshop on Database Programming Languages, Salishan Lodge, Oregon, June 1989."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. On the Declarative Semantics of Deductive Databases and Logic Programs. In: Jack Minker (Ed.), Foundations of Deductive Databases, pp. 193\u2013216. Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"15_CR21","unstructured":"J.W. Schmidt, H. Eckhardt and F. Matthes. DBPL Report. DBPL-Memo 111-88, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, West Germany, 1988."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"L. Stemple, D. Fegaras, T. Sheard and A. Socorro. Exceeding the Limits of Polymorphism in Database Programming Languages. In: Advances in Database Technology, EDBT '90, volume 416 of Lecture Notes in Computer Science, pp. 269\u2013285. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0022176"},{"issue":"2","key":"15_CR23","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A Lattice Theoretical Fixpoint Theorem and its Applications. Pacific J. Mathematics, 5(2):285\u2013309, June 1955.","journal-title":"Pacific J. Mathematics"},{"key":"15_CR24","unstructured":"E. Yardeni and E. Shapiro. A Type System for Logic Programming. In: E. Shapiro (Ed.), Concurrent Prolog: Collected Papers, Vol. 2, MIT-Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:52:35Z","timestamp":1605628355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}