{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:45:02Z","timestamp":1762458302447,"version":"build-2065373602"},"reference-count":43,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1991,4,1]],"date-time":"1991-04-01T00:00:00Z","timestamp":670464000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":8145,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1991,4]]},"DOI":"10.1016\/0743-1066(91)90036-o","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:32Z","timestamp":1027655252000},"page":"181-232","source":"Crossref","is-referenced-by-count":61,"title":["Set constructors in a logic database language"],"prefix":"10.1016","volume":"10","author":[{"given":"Catriel","family":"Beeri","sequence":"first","affiliation":[]},{"given":"Shamim","family":"Naqvi","sequence":"additional","affiliation":[]},{"given":"Oded","family":"Shmueli","sequence":"additional","affiliation":[]},{"given":"Shalom","family":"Tsur","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(91)90036-O_BIB1","series-title":"Research Report","article-title":"On the Power of Languages for Complex Objects","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0743-1066(91)90036-O_BIB2","series-title":"Foundations of Deductive Databases and Logic Programming","article-title":"Towards a Theory of Declarative Programming","author":"Apt","year":"1988"},{"issue":"No. 2","key":"10.1016\/0743-1066(91)90036-O_BIB3","doi-asserted-by":"crossref","DOI":"10.1145\/62070.45066","article-title":"Types and Persistence in Database Programming Languages","volume":"19","author":"Atkinson","year":"1987","journal-title":"ACM Comput. Surveys"},{"issue":"3","key":"10.1016\/0743-1066(91)90036-O_BIB4","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","article-title":"Contributions to the Theory of Logic Programming","volume":"29","author":"Apt","year":"1982","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0743-1066(91)90036-O_BIB5","series-title":"On Knowledge Base Management Systems","article-title":"Naive Evaluation of Recursively Defined Relations","author":"Bancilhon","year":"1986"},{"key":"10.1016\/0743-1066(91)90036-O_BIB6","article-title":"A Calculus for Complex Objects","author":"Bancilhon","year":"1985","journal-title":"Proceedings of the 4th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB7","article-title":"Magic Sets and Other Strange Ways to Implement Logic Programs","author":"Bancilhon","year":"1986","journal-title":"Proceedings of the 5th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB8","article-title":"Sets and Negation in a Logic Database Language (LDL1)","author":"Beeri","year":"1987","journal-title":"Proceedings of the 6th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB9","doi-asserted-by":"crossref","DOI":"10.1145\/16856.16859","article-title":"An Amateur's Introduction to Recursive Query Processing Strategies","author":"Bancilhon","year":"1986","journal-title":"Proceedings of the ACM-SIGMOD Conference"},{"key":"10.1016\/0743-1066(91)90036-O_BIB10","article-title":"On the Power of Magic","author":"Beeri","year":"1987","journal-title":"Proceedings of the 6th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB11","article-title":"Logic Programming as Constructivism: A Formalization and its Application to Databases","author":"Bry","year":"1989","journal-title":"Proceedings of the 8th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB12","series-title":"Logic and Databases","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"issue":"No. 2","key":"10.1016\/0743-1066(91)90036-O_BIB13","doi-asserted-by":"crossref","DOI":"10.1016\/0022-0000(80)90032-X","article-title":"Computable Queries for Relational Data Bases","volume":"21","author":"Chandra","year":"1980","journal-title":"J. Comput. System Sci."},{"issue":"1","key":"10.1016\/0743-1066(91)90036-O_BIB14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","article-title":"Horn Clause Queries and Generalizations","volume":"2","author":"Chandra","year":"1985","journal-title":"J. Logic Programming"},{"issue":"1","key":"10.1016\/0743-1066(91)90036-O_BIB15","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","article-title":"Structure and Complexity of Relational Queries","volume":"25","author":"Chandra","year":"1982","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0743-1066(91)90036-O_BIB16","article-title":"FAD\u2014A Database Programming Language","author":"Danforth","year":"1988","journal-title":"MCC TR ACA-ST-059-88"},{"issue":"No. 2","key":"10.1016\/0743-1066(91)90036-O_BIB17","doi-asserted-by":"crossref","DOI":"10.2307\/2274063","article-title":"Natural Deduction Based Set Theories: A New Resolution of the Old Problems","volume":"51","author":"Gilmore","year":"1986","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0743-1066(91)90036-O_BIB18","first-page":"39","article-title":"On the Expressive Power of Database Queries with Intermediate Types","author":"Hull","year":"1988","journal-title":"Proceedings of the 7th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB19","article-title":"A Logic for Object-Oriented Programming","author":"Kifer","year":"1989","journal-title":"Proceedings of the 8th ACM Conference on PODS"},{"issue":"No. 4","key":"10.1016\/0743-1066(91)90036-O_BIB20","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"Kowalski","year":"1976","journal-title":"J. Assoc. Comput. Mach."},{"year":"1969","series-title":"The Art of Computer Programming. Vol. 1: Fundamental Algorithms","author":"Knuth","key":"10.1016\/0743-1066(91)90036-O_BIB21"},{"key":"10.1016\/0743-1066(91)90036-O_BIB22","first-page":"11","article-title":"Logic Programming with Sets","author":"Kuper","year":"1987","journal-title":"Proceedings of the 6th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB23","first-page":"10","article-title":"On the Expressive Power of Logic Programming Languages with Sets","author":"Kuper","year":"1988","journal-title":"Proceedings of the 7th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB24","series-title":"Foundations of Deductive Databases and Logic Programming","article-title":"On the Declarative Semantics of Logic Programs with Negation","author":"Lifschitz","year":"1988"},{"year":"1987","series-title":"Foundations of Logic Programming","author":"Lloyd","key":"10.1016\/0743-1066(91)90036-O_BIB25"},{"key":"10.1016\/0743-1066(91)90036-O_BIB26","article-title":"A Logic for Negation in Database Systems","author":"Naqvi","year":"1986","journal-title":"Proceedings of the Workshop on Logic Databases"},{"year":"1989","series-title":"A Logical Language for Data and Knowledge Bases","author":"Naqvi","key":"10.1016\/0743-1066(91)90036-O_BIB27"},{"key":"10.1016\/0743-1066(91)90036-O_BIB28","unstructured":"Przymusinski, T., On the Semantics of Stratified Deductive Databases and Logic Programs, J. Logic Programming, to appear."},{"key":"10.1016\/0743-1066(91)90036-O_BIB29","series-title":"Foundations of Deductive Databases and Logic Programming","article-title":"On the Declarative Semantics of Stratified Deductive Databases and Logic Programs","author":"Przymusinski","year":"1988"},{"key":"10.1016\/0743-1066(91)90036-O_BIB30","first-page":"237","article-title":"Decidability and Expressiveness Aspects of Logic Queries","author":"Shmueli","year":"1987","journal-title":"Proceedings, 6th ACM Conference on PODS"},{"key":"10.1016\/0743-1066(91)90036-O_BIB31","article-title":"Set Grouping and Layering in Horn Clause Programs","author":"Shmueli","year":"1987","journal-title":"Proceedings of the 4th International Conference on Logic Programming"},{"key":"10.1016\/0743-1066(91)90036-O_BIB32","article-title":"Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)","author":"Shmueli","year":"1988","journal-title":"Proceedings of the 7th ACM Conference on Principles of Database Systems"},{"key":"10.1016\/0743-1066(91)90036-O_BIB33","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","article-title":"A Lattice-Theoretical Fixpoint Theorem and Its Applications","volume":"5","author":"Tarski","year":"1955","journal-title":"Pacific J. Math."},{"key":"10.1016\/0743-1066(91)90036-O_BIB34","article-title":"On Domain Independent Databases","author":"Topor","year":"1986","journal-title":"Proceedings of the Workshop on Logic and Databases"},{"key":"10.1016\/0743-1066(91)90036-O_BIB35","doi-asserted-by":"crossref","DOI":"10.1109\/64.21889","article-title":"LDL-A Technology for the Realization of Tightly Coupled Expert Database Systems","author":"Tsur","year":"1988","journal-title":"IEEE Expert"},{"key":"10.1016\/0743-1066(91)90036-O_BIB36","article-title":"LDL: A Logic-Based Data-Language","author":"Tsur","year":"1986","journal-title":"Proceedings, 12th Conference on Very Large Data Bases"},{"year":"1982","series-title":"Principles of Database Systems","author":"Ullman","key":"10.1016\/0743-1066(91)90036-O_BIB37"},{"issue":"3","key":"10.1016\/0743-1066(91)90036-O_BIB38","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/3979.3980","article-title":"Implementation of Logical Query Languages for Databases","volume":"10","author":"Ullman","year":"1985","journal-title":"ACM Trans. Database Systems"},{"volume":"Vol. 1","year":"1988","author":"Ullman","key":"10.1016\/0743-1066(91)90036-O_BIB39"},{"key":"10.1016\/0743-1066(91)90036-O_BIB40","first-page":"438","article-title":"Parallel Complexity of Logical Query Programs","author":"Ullman","year":"1986","journal-title":"Proceedings, 27th IEEE FOCS"},{"issue":"4","key":"10.1016\/0743-1066(91)90036-O_BIB41","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0743-1066(91)90036-O_BIB42","first-page":"127","article-title":"Negation as Failure Using Tight Derivations for General Logic Programs","author":"van Gelder","year":"1986","journal-title":"Proceedings, 3rd IEEE Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(91)90036-O_BIB43","article-title":"The Representation and Deductive Retrieval of Complex Objects","author":"Zaniolo","year":"1985","journal-title":"Proceedings of the 11th International Conference on Very Large Data Bases"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669190036O?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669190036O?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:56:15Z","timestamp":1555127775000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074310669190036O"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":43,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991,4]]}},"alternative-id":["074310669190036O"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(91)90036-o","relation":{},"ISSN":["0743-1066"],"issn-type":[{"type":"print","value":"0743-1066"}],"subject":[],"published":{"date-parts":[[1991,4]]}}}