{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T00:02:01Z","timestamp":1704931321626},"reference-count":63,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1016\/0950-5849(92)90121-5","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"787-803","source":"Crossref","is-referenced-by-count":10,"title":["Approaches to deductive object-oriented databases"],"prefix":"10.1016","volume":"34","author":[{"given":"AAA","family":"Fernandes","sequence":"first","affiliation":[]},{"given":"NW","family":"Paton","sequence":"additional","affiliation":[]},{"given":"MH","family":"Williams","sequence":"additional","affiliation":[]},{"given":"A","family":"Bowles","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(92)90121-5_BIB1","series-title":"2nd International Conference DOOD'91","article-title":"Deductive and object-oriented databases","year":"1991"},{"key":"10.1016\/0950-5849(92)90121-5_BIB2","series-title":"First Int. Conf. DOOD'89","article-title":"Deductive and object-oriented databases","year":"1990"},{"issue":"No 6","key":"10.1016\/0950-5849(92)90121-5_BIB3","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"Vol 13","author":"Codd","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(92)90121-5_BIB4","series-title":"Logic programming and databases","author":"Ceri","year":"1990"},{"issue":"No 2","key":"10.1016\/0950-5849(92)90121-5_BIB5","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and databases: a deductive approach","volume":"Vol 16","author":"Gallaire","year":"1984","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/0950-5849(92)90121-5_BIB6","series-title":"On conceptual modelling: Perspectives from artificial intelligence, databases, and programming languages","first-page":"191","article-title":"Towards a logical reconstruction of relational database theory","author":"Reiter","year":"1984"},{"issue":"No 1","key":"10.1016\/0950-5849(92)90121-5_BIB7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/382192.383004","article-title":"Concepts and paradigms of object-oriented programming","volume":"Vol 1","author":"Wegner","year":"1990","journal-title":"OOPS Messenger"},{"key":"10.1016\/0950-5849(92)90121-5_BIB8","series-title":"Proc. 7th ACM SIGACT-SIGMOD-SIGART Symp. Principles Database Syst.","first-page":"152","article-title":"Object-oriented database systems","author":"Bancilhon","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB9","article-title":"X3\/SPARC\/DBSSG\/OODBTG","author":"Fong","year":"1991","journal-title":"Final Report"},{"key":"10.1016\/0950-5849(92)90121-5_BIB10","first-page":"1","volume":"56","author":"Zdonik","year":"1990","journal-title":"Fundamentals of object-oriented databases"},{"key":"10.1016\/0950-5849(92)90121-5_BIB11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/B978-0-444-88433-6.50020-4","volume":"2","author":"Atkinson","year":"1990","journal-title":"The object-oriented database system manifesto"},{"key":"10.1016\/0950-5849(92)90121-5_BIB12","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-55015-1_14","volume":"1","author":"Ullman","year":"1991","journal-title":"A comparison between deductive and object-oriented database systems"},{"issue":"Nos 3, 4","key":"10.1016\/0950-5849(92)90121-5_BIB13","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","article-title":"Unification theory","volume":"Vol 7","author":"Siekmann","year":"1989","journal-title":"J. Symbolic Computation"},{"key":"10.1016\/0950-5849(92)90121-5_BIB14","series-title":"A logical language for data and knowledge bases","author":"Naqvi","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB15","series-title":"Proc. Int. Symp. Database Syst. for Advanced Applications","first-page":"374","article-title":"Megalog: a platform for developing knowledge-base management systems","author":"Bocca","year":"1991"},{"key":"10.1016\/0950-5849(92)90121-5_BIB16_1","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","article-title":"A formal approach to object-oriented databases","author":"Beeri","year":"1990","journal-title":"Data Knowl. Eng."},{"key":"10.1016\/0950-5849(92)90121-5_BIB16_2","first-page":"405","article-title":"A formal approach to object-oriented databases","author":"Beeri","year":"1990","journal-title":"Data Knowl. Eng."},{"key":"10.1016\/0950-5849(92)90121-5_BIB17_1","series-title":"Proc. 1988 ACM SIGMOD Int. Conf. Manage. Data","article-title":"O2, an object-oriented data model","author":"L\u00e9cluse","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB17_2","first-page":"227","article-title":"O2, an object-oriented data model","volume":"56","author":"L\u00e9cluse","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB17_3","first-page":"257","article-title":"O2, an object-oriented data model","volume":"52","author":"L\u00e9cluse","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB18","series-title":"Proc. Workshop on Database Programming Languages","first-page":"253","article-title":"COL: a language for complex objects based on recursive rules","author":"Abiteboul","year":"1987"},{"key":"10.1016\/0950-5849(92)90121-5_BIB19","series-title":"Proc. 1989 ACM SIGMOD Int. Conf. Manage. Data","first-page":"159","article-title":"Object identity as a query language primitive","author":"Abiteboul","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB20_1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","article-title":"Towards a deductive object-oriented database language","author":"Abiteboul","year":"1990","journal-title":"Data Knowl Eng."},{"key":"10.1016\/0950-5849(92)90121-5_BIB20_2","first-page":"453","article-title":"Towards a deductive object-oriented database language","volume":"2","author":"Abiteboul","year":"1990","journal-title":"Data Knowl Eng."},{"key":"10.1016\/0950-5849(92)90121-5_BIB21","first-page":"347","volume":"52","author":"Abiteboul","year":"1990","journal-title":"COL: a logic-based language for complex objects"},{"key":"10.1016\/0950-5849(92)90121-5_BIB22","series-title":"OOPSLA '86 Conf. Proc. Object-Oriented Programming: Systems, Languages and Applications","first-page":"224","article-title":"An experience with a Prolog-based object-oriented language","author":"Fukunaga","year":"1986"},{"key":"10.1016\/0950-5849(92)90121-5_BIB23","first-page":"257","article-title":"ObjVProlog: Metaclasses in logic","author":"Malenfant","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB24","series-title":"Proc. 7th British National Conference on Databases (BNCOD 7)","first-page":"147","article-title":"ADAM: An object-oriented database system implemented in Prolog","author":"Paton","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB25","first-page":"593","volume":"2","author":"Dalal","year":"1990","journal-title":"OOLP: a translation approach to object-oriented logic programming"},{"key":"10.1016\/0950-5849(92)90121-5_BIB26","article-title":"Logic and objects: language, application and implementation","author":"McCabe","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB27","series-title":"IEEE Int. Symp. on Logic Programming","first-page":"265","article-title":"Object-oriented programming in Prolog","author":"Zaniolo","year":"1984"},{"key":"10.1016\/0950-5849(92)90121-5_BIB28","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/B978-0-444-88433-6.50009-5","volume":"2","author":"Zaniolo","year":"1990","journal-title":"Object identity and inheritance in deductive databases\u2014an evolutionary approach"},{"key":"10.1016\/0950-5849(92)90121-5_BIB29","series-title":"Prolog and databases: Implementations and new directions","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB30","series-title":"Advances in Database Technology: Proc. EDBT'88 Conf.","first-page":"34","article-title":"A Prolog interface to a functional data model database","author":"Gray","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB31","article-title":"An overview of the Raleigh object-oriented database system","author":"Kay","year":"1991","journal-title":"ICL Tech. J."},{"issue":"No 3","key":"10.1016\/0950-5849(92)90121-5_BIB32","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1016\/0950-7051(88)90077-9","article-title":"Prolog and deductive databases","volume":"Vol 1","author":"Williams","year":"1988","journal-title":"Knowledge-Based Systems"},{"key":"10.1016\/0950-5849(92)90121-5_BIB33","series-title":"Object-oriented databases: Analysis, design and construction (DS-4)","first-page":"331","article-title":"Metaclasses in object-oriented databases","author":"Paton","year":"1990"},{"key":"10.1016\/0950-5849(92)90121-5_BIB34","article-title":"Logical foundations of object-oriented and frame-based languages","author":"Kifer","year":"1990"},{"key":"10.1016\/0950-5849(92)90121-5_BIB35","article-title":"A Logic for objects","author":"Maier","year":"1986"},{"key":"10.1016\/0950-5849(92)90121-5_BIB36","series-title":"Proc. 8th ACM SIGACT-SIGMOD-SIGART Symp. Principles Database Syst.","first-page":"369","article-title":"C-logic of complex objects","author":"Chen","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB37","series-title":"Proc. 8th ACM SIGACT-SIGMOD-SIGART 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\/0950-5849(92)90121-5_BIB38","series-title":"Proc. 1989 ACM SIGMOD Int. Conf. Manage. Data","first-page":"134","article-title":"F-logic: A higher-order language for reasoning about objects, inheritance and scheme","author":"Kifer","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB39","article-title":"HiLog: a Foundation for higher-order logic programming","author":"Chen","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB40","series-title":"Proc. 1990 ACM SIGMOD Int. Conf. Manage. Data","first-page":"225","article-title":"Integrating object-oriented data modelling with a rule-based programming paradigm","author":"Cacace","year":"1990"},{"key":"10.1016\/0950-5849(92)90121-5_BIB41","series-title":"Proc. 1991 ACM SIGMOD Int. Conf. Manage. Data","first-page":"198","article-title":"LLO: an object-oriented deductive language with methods and method inheritance","author":"Lou","year":"1991"},{"key":"10.1016\/0950-5849(92)90121-5_BIB42","series-title":"Proc. 8th Int. Conf. on Logic Programming","first-page":"111","article-title":"{log}: A logic programming language with finite sets","author":"Dovier","year":"1991"},{"key":"10.1016\/0950-5849(92)90121-5_BIB43","article-title":"An extension of LPS to arbitrary sets","author":"Kuper","year":"1987","journal-title":"Technical report, IBM"},{"key":"10.1016\/0950-5849(92)90121-5_BIB44_1","series-title":"Proc. 6th ACM SIGACT-SIGMOD-SIGART Symp. Principles Database Syst.","first-page":"11","article-title":"Logic programming with sets","author":"Kuper","year":"1987"},{"key":"10.1016\/0950-5849(92)90121-5_BIB44_2","series-title":"Proc. 6th ACM SIGACT-SIGMOD-SIGART Symp. Principles Database Syst.","first-page":"44","article-title":"Logic programming with sets","volume":"Vol 41","author":"Kuper","year":"1990"},{"key":"10.1016\/0950-5849(92)90121-5_BIB45","series-title":"Proc. 7th ACM SIGACT-SIGMOD-SIGART Symp. Principles Database Syst.","first-page":"10","article-title":"On the expressive power of logic programming with sets","author":"Kuper","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB46","first-page":"431","volume":"2","author":"Chen","year":"1990","journal-title":"HILOG: a high-order logic programming language for non-1NF deductive databases"},{"key":"10.1016\/0950-5849(92)90121-5_BIB47","doi-asserted-by":"crossref","DOI":"10.1145\/50202.50220","article-title":"An implementation model for reasoning with complex objects","author":"Chen","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB48","series-title":"Proc. 1988 ACM SIGMOD Int. Conf. Manage. Data","article-title":"Nested datalog: a rule language for complex objects","author":"Chen","year":"1988"},{"key":"10.1016\/0950-5849(92)90121-5_BIB49","article-title":"ESQL2: An extended SQL with object and deductive capabilities","author":"Gardarin","year":"1990"},{"key":"10.1016\/0950-5849(92)90121-5_BIB50","first-page":"493","volume":"2","author":"Wong","year":"1990","journal-title":"Inference rules in object-oriented programming systems"},{"key":"10.1016\/0950-5849(92)90121-5_BIB51_1","series-title":"OOPSLA '86 Conf. Proc. Object-Oriented Programming: Systems, Languages and Applications","first-page":"406","article-title":"Object identity","author":"Khoshafian","year":"1986"},{"key":"10.1016\/0950-5849(92)90121-5_BIB51_2","first-page":"37","article-title":"Object identity","volume":"56","author":"Khoshafian","year":"1986"},{"key":"10.1016\/0950-5849(92)90121-5_BIB52","series-title":"Advances in database programming languages","year":"1990"},{"key":"10.1016\/0950-5849(92)90121-5_BIB53","doi-asserted-by":"crossref","DOI":"10.1145\/67544.66941","article-title":"Object identity as a query language primitive","author":"Abiteboul","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB54","series-title":"Proc. 2nd Int. Workshop Database Programming Languages","first-page":"315","article-title":"HiLog as a platform for database languages (or Why predicate calculus is not enough)","author":"Chen","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB55","series-title":"Proc. North American Conf. on Logic Programming","first-page":"1090","article-title":"HiLog: a first-order semantics for higher-order logic programming constructs","author":"Chen","year":"1989"},{"key":"10.1016\/0950-5849(92)90121-5_BIB56","series-title":"Readings in object-oriented database systems","year":"1990"},{"key":"10.1016\/0950-5849(92)90121-5_BIB57","article-title":"A logic for programming with complex objects","author":"Kifer","year":"1989"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584992901215?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584992901215?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T13:59:19Z","timestamp":1704895159000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950584992901215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":63,"journal-issue":{"issue":"12","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["0950584992901215"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(92)90121-5","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}