{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:58:18Z","timestamp":1742399898778},"reference-count":20,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"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":6803,"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":[[1994,12]]},"DOI":"10.1016\/s0022-0000(05)80078-9","type":"journal-article","created":{"date-parts":[[2005,8,20]],"date-time":"2005-08-20T07:18:35Z","timestamp":1124522315000},"page":"726-768","source":"Crossref","is-referenced-by-count":13,"title":["Implication problems for functional constraints on databases supporting complex objects"],"prefix":"10.1016","volume":"49","author":[{"given":"Minoru","family":"Ito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant E.","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0022-0000(05)80078-9_bib1","series-title":"Proceedings, 1st International Conference on Extending Database Technology (EDBT), March 1988","first-page":"271","article-title":"COL: A logic-based language for complex objects","volume":"Vol. 303","author":"Abiteboul","year":"1988"},{"key":"10.1016\/S0022-0000(05)80078-9_bib2","series-title":"Proceedings, ACM SIGMOD International Conference on Management of Data","first-page":"159","article-title":"Object identity as a query language primitive","author":"Abiteboul","year":"1989"},{"issue":"No. 4","key":"10.1016\/S0022-0000(05)80078-9_bib3","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/320107.320112","article-title":"Efficient optimization of a class of relational expressions","volume":"4","author":"Aho","year":"1979","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80078-9_bib4","series-title":"Proceedings, 1st International Conference on Deductive and Object-Oriented Databases (DOOD)","first-page":"370","article-title":"Formal models for object-oriented databases","author":"Beeri","year":"1989"},{"key":"10.1016\/S0022-0000(05)80078-9_bib5","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","article-title":"A formal approach to object-oriented databases","volume":"5","author":"Beeri","year":"1990","journal-title":"Data Knowledge Engrg."},{"key":"10.1016\/S0022-0000(05)80078-9_bib6","series-title":"Proceedings, 8th International Colloquium on Automata, Languages and Programming (ICALP), July 1981","first-page":"73","article-title":"The implication problem for data dependencies","volume":"Vol. 115","author":"Beeri","year":"1981"},{"key":"10.1016\/S0022-0000(05)80078-9_bib7","doi-asserted-by":"crossref","unstructured":"M. F. van Bommel and G. E. Weddell, Reasoning about equations and functional dependencies on complex objects, IEEE Trans. Knowledge Data Engrg., accepted.","DOI":"10.1109\/69.334857"},{"key":"10.1016\/S0022-0000(05)80078-9_bib8","series-title":"Proceedings, 1st International Conference on Deductive and Object-Oriented Databases (DOOD)","first-page":"294","article-title":"RELOOP, an algebra bases query language for an object-oriented database system","author":"Cluet","year":"1989"},{"key":"10.1016\/S0022-0000(05)80078-9_bib9","series-title":"Proceedings, 2nd International Workshop on Database Programming Languages","first-page":"80","article-title":"Queries and views in an object-oriented data model","author":"Dayal","year":"1989"},{"issue":"No. 3","key":"10.1016\/S0022-0000(05)80078-9_bib10","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/65979.65984","article-title":"Functional computation in logic programs","volume":"11","author":"Debray","year":"1989","journal-title":"ACM Trans. Programming Lang. Systems"},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80078-9_bib11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/320064.320070","article-title":"Limitations of record-based information models","volume":"4","author":"Kent","year":"1979","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80078-9_bib12","series-title":"Proceedings, ACM SIGMOD International Conference on Management of Data","first-page":"424","article-title":"O2: an object-oriented data model","author":"L\u00e9cluse","year":"1988"},{"key":"10.1016\/S0022-0000(05)80078-9_bib13","series-title":"Proceedings, 11th International Conference on Very Large Data Bases (VLDB)","first-page":"324","article-title":"Functional dependencies in logic programs","author":"Mendelzon","year":"1985"},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80078-9_bib14","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/103140.103142","article-title":"Functional dependencies in horn clause queries","volume":"16","author":"Mendelzon","year":"1991","journal-title":"ACM Trans. Database Systems"},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80078-9_bib15","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/320141.320150","article-title":"A language facility for designing database-intensive applications","volume":"5","author":"Mylopoulos","year":"1980","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80078-9_bib16","series-title":"Proceedings, 2nd International Workshop on Database Programming Languages","first-page":"103","article-title":"An object-oriented query algebra","author":"Shaw","year":"1989"},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80078-9_bib17","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/319540.319561","article-title":"The functional data model and the data language daplex","volume":"6","author":"Shipman","year":"1981","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80078-9_bib18","series-title":"Proceedings, ACM SIGMOD International Conference on Management of Data","first-page":"158","article-title":"Algebraic support for complex objects with arrays","author":"Vandenberg","year":"1991"},{"key":"10.1016\/S0022-0000(05)80078-9_bib19","series-title":"Proceedings, 1st International Conference on Deductive and Object-Oriented Databases (DOOD)","first-page":"150","article-title":"A theory of functional dependencies for object-oriented data models","author":"Weddell","year":"1989"},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80078-9_bib20","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/128765.128767","article-title":"Reasoning about functional dependencies generalized for semantic data models","volume":"17","author":"Weddell","year":"1992","journal-title":"ACM Trans. Database Systems"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800789?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800789?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T12:44:00Z","timestamp":1552826640000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000005800789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["S0022000005800789"],"URL":"https:\/\/doi.org\/10.1016\/s0022-0000(05)80078-9","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}