{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:47:40Z","timestamp":1749221260306},"reference-count":46,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"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 Systems"],"published-print":{"date-parts":[[1995,5]]},"DOI":"10.1016\/0306-4379(95)00009-s","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"185-211","source":"Crossref","is-referenced-by-count":42,"title":["Design and implementation of ROCK & ROLL: A deductive object-oriented database system"],"prefix":"10.1016","volume":"20","author":[{"given":"Maria L.","family":"Barja","sequence":"first","affiliation":[]},{"given":"Alvaro A.A.","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"Norman W.","family":"Paton","sequence":"additional","affiliation":[]},{"given":"M.Howard","family":"Williams","sequence":"additional","affiliation":[]},{"given":"Andrew","family":"Dinn","sequence":"additional","affiliation":[]},{"given":"Alia I.","family":"Abdelmoty","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0306-4379(95)00009-S_BIB1","series-title":"Proc. 5th Int. Conf. on Databases and Expert Systems Applications (DEXA)","first-page":"445","article-title":"Geographic data handling in a deductive object-oriented database","author":"Abdelmoty","year":"1994"},{"key":"10.1016\/0306-4379(95)00009-S_BIB2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","article-title":"Towards a deductive object-oriented database language","volume":"5","author":"Abiteboul","year":"1990","journal-title":"Data & Knowledge Engineering"},{"key":"10.1016\/0306-4379(95)00009-S_BIB3","series-title":"Advances in Database Technology \u2014 EDBT'88, International Conference on Extending Database Technology","first-page":"271","article-title":"COL: A logic-based language for complex objects","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0306-4379(95)00009-S_BIB4","series-title":"Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data","first-page":"159","article-title":"Object identity as a query language primitive","author":"Abiteboul","year":"1989"},{"key":"10.1016\/0306-4379(95)00009-S_BIB5","series-title":"Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"240","article-title":"Procedural and declarative database update languages (Extended Abstract)","author":"Abiteboul","year":"1988"},{"issue":"1","key":"10.1016\/0306-4379(95)00009-S_BIB6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/62070.45066","article-title":"Types and persistence in database programming languages","volume":"19","author":"Atkinson","year":"1987","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0306-4379(95)00009-S_BIB7","series-title":"Proc. 20th Int. Conf. on Very Large Data Bases (VLDB)","first-page":"463","article-title":"An effective deductive object-oriented database through language integration","author":"Barja","year":"1994"},{"key":"10.1016\/0306-4379(95)00009-S_BIB8","article-title":"Design of an object-oriented database programming language for a DOOD","author":"Barja","year":"1992"},{"issue":"2","key":"10.1016\/0306-4379(95)00009-S_BIB9","first-page":"93","article-title":"Semantics based implementation of a deductive object-oriented database programming language","volume":"2","author":"Barja","year":"1994","journal-title":"J. Programming Languages"},{"key":"10.1016\/0306-4379(95)00009-S_BIB10","series-title":"Advances in Database Technology \u2014 EDBT'92, 3rd International Conference on Extending Database Technology","first-page":"168","article-title":"Towards a logical-object oriented pogramming language for databases","author":"Bertino","year":"1992"},{"key":"10.1016\/0306-4379(95)00009-S_BIB11","series-title":"Proc. ACM SIGMOD International Conference on the Management of Data","first-page":"225","article-title":"Integrating object-oriented data modeling with a rule-based programming paradigm","author":"Cacace","year":"1990"},{"key":"10.1016\/0306-4379(95)00009-S_BIB12","series-title":"Proceedings of the Workshop on Combining Declarative and Object-Oriented Databases","first-page":"31","article-title":"An overview of the logres system","author":"Cacace","year":"1993"},{"key":"10.1016\/0306-4379(95)00009-S_BIB13","series-title":"Readings in Object-Oriented Databases","first-page":"474","article-title":"The EXODUS extensible DBMS project: An overview","author":"Carey","year":"1990"},{"key":"10.1016\/0306-4379(95)00009-S_BIB14","author":"Ceri","year":"1990"},{"key":"10.1016\/0306-4379(95)00009-S_BIB15","series-title":"Deductive and object-oriented databases (First International Conference DOOD'89, Kyoto)","first-page":"431","article-title":"HILOG: A high-order logic programming language for non-1NF deductive databases","author":"Chen","year":"1990"},{"key":"10.1016\/0306-4379(95)00009-S_BIB16","series-title":"Proceedings of the 1988 ACM SIGMOD International Conference on the Management of Data","article-title":"Nested datalog: A rule language for complex objects","author":"Chen","year":"1988"},{"key":"10.1016\/0306-4379(95)00009-S_BIB17","series-title":"Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"369","article-title":"C-logic of complex objects","author":"Chen","year":"1989"},{"key":"10.1016\/0306-4379(95)00009-S_BIB18","series-title":"Deductive and object-oriented databases (First International Conference DOOD'89, Kyoto)","first-page":"593","article-title":"OOLP: A translation approach to object-oriented logic programming","author":"Dalal","year":"1990"},{"key":"10.1016\/0306-4379(95)00009-S_BIB19","series-title":"Database and Expert System Applications \u2014 5th International Conference, DEXA '94, Proceedings","first-page":"2","article-title":"Peplomd: An object-oriented database programming language extended with deductive capabilities","author":"Dechamboux","year":"1994"},{"key":"10.1016\/0306-4379(95)00009-S_BIB20","article-title":"Top-down evaluation of roll","author":"Dinn","year":"1993"},{"issue":"4","key":"10.1016\/0306-4379(95)00009-S_BIB21","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":"Journal of the ACM"},{"issue":"12","key":"10.1016\/0306-4379(95)00009-S_BIB22","doi-asserted-by":"crossref","first-page":"787","DOI":"10.1016\/0950-5849(92)90121-5","article-title":"Approaches to deductive object-oriented databases","volume":"34","author":"Fernandes","year":"1992","journal-title":"Information and Software Technology"},{"key":"10.1016\/0306-4379(95)00009-S_BIB23","article-title":"An Axiomatic approach to deductive object-oriented databases","author":"Fernandes","year":"1993"},{"issue":"4","key":"10.1016\/0306-4379(95)00009-S_BIB24","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1017\/S0269888900005129","article-title":"Deductive database theories","volume":"4","author":"Grant","year":"1989","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/0306-4379(95)00009-S_BIB25","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0169-023X(93)90010-M","article-title":"The LIVING IN A LATTICE rule language","volume":"9","author":"Heuer","year":"1992","journal-title":"Data & Knowledge Engineering"},{"key":"10.1016\/0306-4379(95)00009-S_BIB26","article-title":"ConceptBase \u2014 A deductive object base manager","author":"Jarke","year":"1993"},{"key":"10.1016\/0306-4379(95)00009-S_BIB27","series-title":"Proc. ACM SIGMOD International Conference on the Management of 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\/0306-4379(95)00009-S_BIB28","article-title":"Logical foundations of object-oriented and frame-based languages","author":"Kifer","year":"1993"},{"issue":"3","key":"10.1016\/0306-4379(95)00009-S_BIB29","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/88636.87121","article-title":"On compile-time query optimization in deductive databases by means of static filtering","volume":"15","author":"Kifer","year":"1990","journal-title":"TODS"},{"key":"10.1016\/0306-4379(95)00009-S_BIB30","series-title":"Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium 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\/0306-4379(95)00009-S_BIB31","series-title":"Deductive and object-oriented databases (First International Conference DOOD'89, Kyoto)","year":"1990"},{"key":"10.1016\/0306-4379(95)00009-S_BIB32","series-title":"Proceedings of the ACM SIGMOD International Conference on the Management of Data","first-page":"256","article-title":"Optimization of object-oriented recursive queries using cost controlled strategies","author":"Lanzelotte","year":"1992"},{"key":"10.1016\/0306-4379(95)00009-S_BIB33","series-title":"Proc. ACM SIGMOD International Conference on the Management of Data","first-page":"198","article-title":"LLO: An object-oriented deductive language with methods and method inheritance","author":"Lou","year":"1991"},{"key":"10.1016\/0306-4379(95)00009-S_BIB34","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-7288-6","article-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"1987"},{"key":"10.1016\/0306-4379(95)00009-S_BIB35","author":"Milner","year":"1990"},{"key":"10.1016\/0306-4379(95)00009-S_BIB36","series-title":"Proceedings of the Workshop on Combining Declarative and Object-Oriented Databases","year":"1993"},{"key":"10.1016\/0306-4379(95)00009-S_BIB37","author":"Naqvi","year":"1989"},{"key":"10.1016\/0306-4379(95)00009-S_BIB38","series-title":"Proc. ACM SIGMOD International Conference on the Management of Data","first-page":"308","article-title":"Glue-nail: A deductive database system","author":"Phipps","year":"1991"},{"key":"10.1016\/0306-4379(95)00009-S_BIB39","article-title":"A structural approach to operational semantics","author":"Plotkin","year":"1981"},{"key":"10.1016\/0306-4379(95)00009-S_BIB40","series-title":"Proceedings of Very Large Data Bases Conf.","first-page":"491","article-title":"A functional programming approach to deductive databases","author":"Poulovassilis","year":"1991"},{"key":"10.1016\/0306-4379(95)00009-S_BIB41","series-title":"Proceedings of the 18th International Conference on Very Large Databases","first-page":"239","article-title":"CORAL \u2014 Control, relations and logic","author":"Ramakrishnan","year":"1992"},{"key":"10.1016\/0306-4379(95)00009-S_BIB42","series-title":"Persistent Object Systems","first-page":"175","article-title":"Implementing persistence in E","author":"Richardson","year":"1989"},{"key":"10.1016\/0306-4379(95)00009-S_BIB43","series-title":"Proceedings of the Nineteenth International Conference on Very Large Data Bases","first-page":"158","article-title":"Coral++: Adding object-orientation to a logic database language","author":"Srivastava","year":"1993"},{"key":"10.1016\/0306-4379(95)00009-S_BIB44","article-title":"Assigning an appropriate meaning to database logic with negation","author":"Ullman","year":"1994"},{"key":"10.1016\/0306-4379(95)00009-S_BIB45","author":"Winskel","year":"1993"},{"key":"10.1016\/0306-4379(95)00009-S_BIB46","series-title":"Deductive and object-oriented databases (First International Conference DOOD'89, Kyoto)","first-page":"7","article-title":"Object identity and inheritance in deductive databases \u2014 An evolutionary approach","author":"Zaniolo","year":"1990"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030643799500009S?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030643799500009S?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:22:30Z","timestamp":1556058150000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030643799500009S"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["030643799500009S"],"URL":"https:\/\/doi.org\/10.1016\/0306-4379(95)00009-s","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}