{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:47:49Z","timestamp":1760424469120},"reference-count":43,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1990,10,1]],"date-time":"1990-10-01T00:00:00Z","timestamp":654739200000},"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":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1990,10]]},"DOI":"10.1016\/0169-023x(90)90020-e","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T12:15:20Z","timestamp":1047644120000},"page":"353-382","source":"Crossref","is-referenced-by-count":121,"title":["A formal approach to object-oriented databases"],"prefix":"10.1016","volume":"5","author":[{"given":"Catriel","family":"Beeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(90)90020-E_BIB1","series-title":"Proc. DOOD Conf.","article-title":"Towards a deductive object-oriented database language","author":"Abiteboul","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB2","series-title":"Proc. EDBT","article-title":"COL \u2014 A logical approach to the manipulation of complex objects","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0169-023X(90)90020-E_BIB3","series-title":"Proc. SIGMOD Conf.","article-title":"Object identity as a query language primitive","author":"Abiteboul","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB4","article-title":"On the power of languages for the manipulation of complex objects","author":"Abiteboul","year":"1988"},{"issue":"4","key":"10.1016\/0169-023X(90)90020-E_BIB5","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","article-title":"IFO: A formal semantic database model","volume":"12","author":"Abiteboul","year":"1987","journal-title":"ACM Trans. Database Systems"},{"issue":"8","key":"10.1016\/0169-023X(90)90020-E_BIB6","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can programming be liberated from the von Neumann style? A functional style and its algebra of programs","volume":"21","author":"Backus","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/0169-023X(90)90020-E_BIB7","series-title":"Proc. Seventh ACM Symp. Principles of Database Systems","article-title":"Object-oriented database systems","author":"Bancilhon","year":"1988"},{"issue":"1","key":"10.1016\/0169-023X(90)90020-E_BIB8","doi-asserted-by":"crossref","DOI":"10.1145\/22890.22945","article-title":"Data model issues for object-oriented applications","volume":"5","author":"Banerjee","year":"1987","journal-title":"ACM Trans. Office Information Systems"},{"key":"10.1016\/0169-023X(90)90020-E_BIB9","series-title":"2nd Internat. Conf. Database Theory","article-title":"Data models and languages for databases","author":"Beeri","year":"1988"},{"key":"10.1016\/0169-023X(90)90020-E_BIB10","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(88)90115-6","article-title":"Towards a computation theory based on set theory","volume":"60","author":"Beeson","year":"1988","journal-title":"TCS"},{"key":"10.1016\/0169-023X(90)90020-E_BIB11","series-title":"3rd Internat. Conf. Database Theory","article-title":"Algebraic optimization of object oriented query languages","author":"Beeri","year":"1990"},{"key":"10.1016\/0169-023X(90)90020-E_BIB12","series-title":"Proc. Sixth ACM Symp. Principles of Database Systems","article-title":"Sets and negation in logic database language (LDL1)","author":"Beeri","year":"1987"},{"key":"10.1016\/0169-023X(90)90020-E_BIB13","unstructured":"C. Beeri, S. Naqvi, O. Shmueli and S. Tsur, Set constructors in a logic database language, to appear in J. Logic Programmning."},{"key":"10.1016\/0169-023X(90)90020-E_BIB14","series-title":"Proc. ACM SIGMOD Internat. Conf. Management of Data","article-title":"A Data model and query language for exodus","author":"Carey","year":"1988"},{"key":"10.1016\/0169-023X(90)90020-E_BIB15","series-title":"2nd Internat. Workshop on Database Programming Languages","article-title":"HiLog: A first order semantics for higher order logic programming constructs","author":"Chen","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB16","series-title":"Proc. IEEE Symp. Logic Programming","article-title":"A theory of modules based on second order logic","author":"Chen","year":"1987"},{"key":"10.1016\/0169-023X(90)90020-E_BIB17","article-title":"The Common Lisp object system specification: Chapters 1 and 2","author":"Bobrow","year":"1988","journal-title":"Technical Report 88-002R"},{"key":"10.1016\/0169-023X(90)90020-E_BIB18","article-title":"FAD \u2014 A database programming language","author":"Danforth","year":"1988"},{"key":"10.1016\/0169-023X(90)90020-E_BIB19","series-title":"Logic Programming: Functions, Relations and Equations","year":"1986"},{"key":"10.1016\/0169-023X(90)90020-E_BIB20","article-title":"LOOQ: A query language for object oriented databases, informal presentation","author":"Delobel","year":"1988"},{"key":"10.1016\/0169-023X(90)90020-E_BIB21","article-title":"Fundamentals of Algebraic Specifications I, Equations and Initial Semantics","volume":"6","author":"Ehrig","year":"1985"},{"key":"10.1016\/0169-023X(90)90020-E_BIB22","series-title":"Functional Programming: Languages, Tools and Architectures","year":"1987"},{"key":"10.1016\/0169-023X(90)90020-E_BIB23","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"issue":"3","key":"10.1016\/0169-023X(90)90020-E_BIB24","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","article-title":"Semantic Database modeling: Survey, applications, research issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0169-023X(90)90020-E_BIB25","series-title":"ILOG: Declarative creation and manipulation of object identifiers","author":"Hull","year":"1990"},{"key":"10.1016\/0169-023X(90)90020-E_BIB26","unstructured":"M. Kifer, personal communications."},{"key":"10.1016\/0169-023X(90)90020-E_BIB27","series-title":"Proc. ACM SIGMOD Internat. Conf. Management of Data","article-title":"F-logic, a higher-order language for reasoning about objects, inheritance, and schemes","author":"Kifer","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB28","series-title":"Proc. Eighth ACM Symp. Principles of Database Systems","article-title":"A logic for object-oriented logic programming (Maier's O-Logic revisited)","author":"Kifer","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB29","series-title":"Proc. OOPSLA Conf.","article-title":"Composite object support in an object-oriented database system","author":"Kim","year":"1987"},{"key":"10.1016\/0169-023X(90)90020-E_BIB30","series-title":"Proc. Internat. Conf. Very Large Data Bases","article-title":"A model of queries for object-oriented databases","author":"Kim","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB31","series-title":"Proc. ACM SIGMOD Conf.","article-title":"Composite objects revisited","author":"Kim","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB32","series-title":"Proc. Seventh ACM Symp. Principles of Database Systems","article-title":"On the expressive power of logic programming with sets","author":"Kuper","year":"1988"},{"key":"10.1016\/0169-023X(90)90020-E_BIB33","series-title":"Proc. Eighth ACM Symp. Principles of Database Systems","article-title":"Modeling complex structures in object oriented databases","author":"Lecluse","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB34","article-title":"The O2 database programming language","author":"Lecluse","year":"1989"},{"issue":"8","key":"10.1016\/0169-023X(90)90020-E_BIB35","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","article-title":"Abstraction mechanisms in CLU","volume":"20","author":"Liskov","year":"1977","journal-title":"Commun. ACM"},{"key":"10.1016\/0169-023X(90)90020-E_BIB36","article-title":"Why isn't there an object-oriented data model?","author":"Maier","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB37","series-title":"Proc. Internat. Conf. Very Large Databases","article-title":"The POSTGRESS data model","author":"Rowe","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB38","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","article-title":"\u00dcber die Bausteine der mathematischen logic","volume":"92","author":"Sch\u00f6nfinkel","year":"1924","journal-title":"Math. Annalen"},{"key":"10.1016\/0169-023X(90)90020-E_BIB39","series-title":"Proc. OOPSLA Conf.","article-title":"An Introduction to Trellis\/Owl","author":"Scaffert","year":"1986"},{"issue":"2","key":"10.1016\/0169-023X(90)90020-E_BIB40","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","article-title":"An algebra for the relational model with relation-valued attributes","volume":"11","author":"Schek","year":"1986","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(90)90020-E_BIB41","series-title":"A primer on complex-object orientation","author":"Schek","year":"1989"},{"key":"10.1016\/0169-023X(90)90020-E_BIB42","series-title":"Principles of Database Systems","author":"Ullman","year":"1982"},{"key":"10.1016\/0169-023X(90)90020-E_BIB43","series-title":"Proc. Sixth ACM Symp. Principles of Database Systems","article-title":"Database theory - past and future","author":"Ullman","year":"1987"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9090020E?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9090020E?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T11:27:31Z","timestamp":1553599651000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9090020E"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,10]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,10]]}},"alternative-id":["0169023X9090020E"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(90)90020-e","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1990,10]]}}}