{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:10Z","timestamp":1749221290534},"reference-count":61,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1993,8,1]],"date-time":"1993-08-01T00:00:00Z","timestamp":744163200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7290,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1993,8]]},"DOI":"10.1016\/0022-0000(93)90021-n","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T07:01:00Z","timestamp":1070521260000},"page":"77-120","source":"Crossref","is-referenced-by-count":36,"title":["A logic for programming with complex objects"],"prefix":"10.1016","volume":"47","author":[{"given":"Michael","family":"Kifer","sequence":"first","affiliation":[]},{"given":"James","family":"Wu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(93)90021-N_BIB1","series-title":"Workshop on Database Programming Languages","first-page":"253","article-title":"COL: A logic-based language for complex objects","author":"Abiteboul","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB2","article-title":"On the Power of Languages for Manipulation of Complex Objects","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB3","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"240","article-title":"Procedural and declarative database update languages","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB4","series-title":"Proceedings, ACM-SIGMOD Intl. Conf. on Management of Data","first-page":"159","article-title":"Object identity as a query language primitive","author":"Abiteboul","year":"1989"},{"issue":"No. 1","key":"10.1016\/0022-0000(93)90021-N_BIB5","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","article-title":"LOGIN: A logic programming language with built-in inheritance","volume":"3","author":"Ait-Kaci","year":"1986","journal-title":"J. Logic Programming"},{"issue":"No. 3","key":"10.1016\/0022-0000(93)90021-N_BIB6","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/321592.321603","article-title":"A linear format resolution with merging and a new technique for establishing completeness","volume":"17","author":"Anderson","year":"1970","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(93)90021-N_BIB7","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a theory of declarative knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB8","series-title":"SIGMOD Record","article-title":"A logic-programming\/object-oriented cocktail","author":"Bancilhon","year":"1986"},{"key":"10.1016\/0022-0000(93)90021-N_BIB9","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"53","article-title":"A calculus of complex objects","author":"Bancilhon","year":"1986"},{"key":"10.1016\/0022-0000(93)90021-N_BIB10","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"152","article-title":"Object-oriented database systems","author":"Bancilhon","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB11","series-title":"Proceedings, 4th Intl. Conf, on Data Engineering","article-title":"Queries in object-oriented databases","author":"Banerjee","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB12","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"269","article-title":"On the power of magic","author":"Beeri","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB13","article-title":"Sets and Negation in a Logic Database Language (LDL)","author":"Beeri","year":"1987","journal-title":"MCC Report"},{"key":"10.1016\/0022-0000(93)90021-N_BIB14","article-title":"Embedding \u03c8-Terms in a Horn-Clause Logic Language","author":"Beeri","year":"1988","journal-title":"MCC Tech. Rep. ACA-ST-05488"},{"key":"10.1016\/0022-0000(93)90021-N_BIB15_1","series-title":"2nd Int. Conf. on Database Theory (ICDT)","first-page":"19","article-title":"Data models and languages for databases","author":"Beeri","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB15_2","volume":"Vol. 326","author":"Beeri","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB16","series-title":"Proceedings, 1st Intl. Conf. on Deductive and Object-Oriented Databases","first-page":"370","article-title":"Formal models for object-oriented databases","author":"Beeri","year":"1989"},{"key":"10.1016\/0022-0000(93)90021-N_BIB17","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/0022-0000(93)90021-N_BIB18","series-title":"Database Programming Languages","article-title":"Hilog as a platform for database languages (or why predicate calculus is not enough)","author":"Chen","year":"1989"},{"key":"10.1016\/0022-0000(93)90021-N_BIB19","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"369","article-title":"C-logic for complex objects","author":"Chen","year":"1989"},{"key":"10.1016\/0022-0000(93)90021-N_BIB20","series-title":"Proceedings, North American Conference on Logic Programming","article-title":"Hilog: A first-order semantics for higher-order logic programming constructs","author":"Chen","year":"1989"},{"key":"10.1016\/0022-0000(93)90021-N_BIB21","series-title":"Symposium on Logic Programming","first-page":"264","article-title":"Extension tables: Memo relations in logic programming","author":"Dietrich-Wagner","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB22","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"key":"10.1016\/0022-0000(93)90021-N_BIB23","doi-asserted-by":"crossref","first-page":"904","DOI":"10.1145\/4284.4285","article-title":"The role of frame-based representation in reasoning","volume":"28","author":"Fikes","year":"1985","journal-title":"Comm. ACM"},{"key":"10.1016\/0022-0000(93)90021-N_BIB24","series-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1978"},{"key":"10.1016\/0022-0000(93)90021-N_BIB25","series-title":"Fifth Conference and Symposium on Logic Programming","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB26","series-title":"Proceedings, ACM-SIGMOD Intl. Conf. on Management of Data","article-title":"The powerset operator as an algebraic tool for understanding least fixpoint semantics in the context of nested relations","author":"Gyssens","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB27","series-title":"Frame Conception and Text Understanding","first-page":"46","article-title":"The logic of frames","author":"Hayes","year":"1979"},{"key":"10.1016\/0022-0000(93)90021-N_BIB28","series-title":"Databases","first-page":"193","article-title":"A survey of theoretical research on typed complex database objects","author":"Hull","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB29","series-title":"OOPSLA86","first-page":"406","article-title":"Object identity","author":"Khoshafian","year":"1986"},{"key":"10.1016\/0022-0000(93)90021-N_BIB30","series-title":"Proceedings, 6th Advanced Database Symposium","first-page":"103","article-title":"A framework for an efficient implementation of deductive database systems","author":"Kifer","year":"1986"},{"key":"10.1016\/0022-0000(93)90021-N_BIB31","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"379","article-title":"A logic for object-oriented logic programming (Maier's O-logic revisited)","author":"Kifer","year":"1989"},{"key":"10.1016\/0022-0000(93)90021-N_BIB32","series-title":"Proceedings, ACM-SIGMOD Intl. Conf. on Management of Data","first-page":"134","article-title":"F-logic: A higher-order language for reasoning about objects, inheritance, and schema","author":"Kifer","year":"1989"},{"key":"10.1016\/0022-0000(93)90021-N_BIB33","series-title":"Symposium on Logic in Computer Science (LICS)","first-page":"253","article-title":"RI: A logic for reasoning with inconsistency","author":"Kifer","year":"1989"},{"key":"10.1016\/0022-0000(93)90021-N_BIB34","article-title":"Logical Foundations of Object-Oriented and Frame-Based Languages","author":"Kifer","year":"1990"},{"key":"10.1016\/0022-0000(93)90021-N_BIB35","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","article-title":"A logic for reasoning with inconsistency","volume":"9","author":"Kifer","year":"1992","journal-title":"J. Autom. Reasoning"},{"key":"10.1016\/0022-0000(93)90021-N_BIB36","series-title":"Proceedings, OOPSLA87","article-title":"Composite object support in an object-oriented database system","author":"Kim","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB37","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"231","article-title":"Why not negation by fixpoint","author":"Kolaitis","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB38","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","article-title":"A new approach to database logic","author":"Kuper","year":"1984"},{"key":"10.1016\/0022-0000(93)90021-N_BIB39","article-title":"An extension of LPS to Arbitrary Sets","author":"Kuper","year":"1987","journal-title":"IBM research report"},{"key":"10.1016\/0022-0000(93)90021-N_BIB40_1","series-title":"2nd Int. Conf. on Database Theory (ICDT)","first-page":"223","article-title":"Modeling inheritance and genericity in object-oriented databases","author":"Lecluse","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB40_2","volume":"Vol. 326","author":"Lecluse","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB41","series-title":"Proceedings, ACM-SIGMOD Intl. Conf. on Management of Data","first-page":"424","article-title":"O2, an object-oriented data model","author":"Lecluse","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB42","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB43","series-title":"Proceedings, Workshop on Foundations of Deductive Databases and Logic Programming","first-page":"6","article-title":"A logic for objects","author":"Maier","year":"1986"},{"key":"10.1016\/0022-0000(93)90021-N_BIB44","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the declarative semantics of deductive databases and logic programs","author":"Przymusinski","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB45","article-title":"Extended Algebra and Calculus for \u00ac1NF Relational Databases","author":"Roth","year":"1985"},{"issue":"No. 3","key":"10.1016\/0022-0000(93)90021-N_BIB46","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/27629.27630","article-title":"On first-order databases","volume":"12","author":"Rubinski","year":"1987","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0022-0000(93)90021-N_BIB47","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"19","article-title":"Negation in logic programming","author":"Shepherdson","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB48","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"237","article-title":"Decidability and expressiveness aspects of logic queries","author":"Shmueli","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB49","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"15","article-title":"Rewriting of rules containing set terms in a logical data language (LDL)","author":"Shmueli","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB50","series-title":"Reading in Nonmonotonic Reasoning","first-page":"227","article-title":"A semantic approach to nonmonotonic logics","author":"Shoham","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB51","first-page":"40","article-title":"Object-oriented programming: Themes and variations","author":"Stefik","year":"1986","journal-title":"The A1 Mag."},{"key":"10.1016\/0022-0000(93)90021-N_BIB52","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"1","article-title":"Database theory: Past and future","author":"Ullman","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB53","series-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB54","series-title":"Symposium on Logic Programming","article-title":"Negation as failure using tight derivations for general logic programs","author":"Van Gelder","year":"1986"},{"key":"10.1016\/0022-0000(93)90021-N_BIB55","series-title":"Proceedings, ACM SIGACT-SIGMOD Symp. on Principles of Database Systems","first-page":"221","article-title":"Unfounded sets and well-founded semantics for general logic programs","author":"Van Gelder","year":"1988"},{"key":"10.1016\/0022-0000(93)90021-N_BIB56","series-title":"Proceedings, 14th ACM Symposium on Theory of Computation","first-page":"137","article-title":"The complexity of relational query languages","author":"Vardi","year":"1982"},{"key":"10.1016\/0022-0000(93)90021-N_BIB57","series-title":"Proceedings, 1st Conf. on Expert Database Systems","first-page":"179","article-title":"Recursive axioms in deductive databases: The query-subquery approach","author":"Vieille","year":"1986"},{"key":"10.1016\/0022-0000(93)90021-N_BIB58","series-title":"Research Directions in Object-Oriented Programming","first-page":"479","article-title":"The object-oriented classification paradigm","author":"Wegner","year":"1987"},{"key":"10.1016\/0022-0000(93)90021-N_BIB59","article-title":"Object Oriented Database Systems and Knowledge Systems","author":"Zaniolo","year":"1985"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200009390021N?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002200009390021N?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T08:58:00Z","timestamp":1550307480000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002200009390021N"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,8]]},"references-count":61,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,8]]}},"alternative-id":["002200009390021N"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(93)90021-n","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1993,8]]}}}