{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:45:57Z","timestamp":1757616357436,"version":"3.44.0"},"reference-count":25,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1991,8,1]],"date-time":"1991-08-01T00:00:00Z","timestamp":681004800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"vor","delay-in-days":5236,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1991,8]]},"DOI":"10.1016\/0022-0000(91)90035-4","type":"journal-article","created":{"date-parts":[[2003,12,4]],"date-time":"2003-12-04T07:01:00Z","timestamp":1070521260000},"page":"170-218","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":17,"title":["A semantics for complex objects and approximate answers"],"prefix":"10.1016","volume":"43","author":[{"given":"O.P.","family":"Buneman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.B.","family":"Davidson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Watters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0022-0000(91)90035-4_BIB1","series-title":"Proceedings third ACM SIGACT-SIGMOD symposium on Principles of Database systems","first-page":"119","article-title":"IFO: A formal semantic database model","author":"Abiteboul","year":"1984"},{"key":"10.1016\/0022-0000(91)90035-4_BIB2","series-title":"Proceedings ACM SIGACTSIGMOD Symposium on Principles of Database Systems","article-title":"Calculus for complex objects","author":"Bancilhon","year":"1986"},{"key":"10.1016\/0022-0000(91)90035-4_BIB3","series-title":"Technical Report TR-84-36","article-title":"Extended Algebra and Calculus for 1NF Relational Databases","author":"Roth","year":"1985"},{"key":"10.1016\/0022-0000(91)90035-4_BIB4","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/12047.13676","article-title":"A new normal form for nested relations","volume":"12","author":"Ozsoyoglu","year":"1987","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0022-0000(91)90035-4_BIB5","series-title":"Proc. ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","first-page":"124","article-title":"Remarks on the Algebra on non first normal form relations","author":"Kaeschke","year":"1982"},{"article-title":"A Lattice Theoretic Approach to Computation based on Calculus of Partially Ordered Type Structures","year":"1985","author":"Ayt-Kaci","key":"10.1016\/0022-0000(91)90035-4_BIB6"},{"article-title":"A Complete Logical Calculus for Record Structures Representing Linguistic Information","year":"1985","author":"Rounds","key":"10.1016\/0022-0000(91)90035-4_BIB7"},{"key":"10.1016\/0022-0000(91)90035-4_BIB8","series-title":"International Conference on Autonoma, Languages and Programming","article-title":"Domains for Denotational Semantics","author":"Scott","year":"1982"},{"key":"10.1016\/0022-0000(91)90035-4_BIB9","unstructured":"P. Buneman and A. Ohori, Using powerdomains to generalize relational databases, Theoret. Comput. Sci., in press."},{"key":"10.1016\/0022-0000(91)90035-4_BIB10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","article-title":"Power domains","volume":"16","author":"Smyth","year":"1978","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0022-0000(91)90035-4_BIB11","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","article-title":"Incomplete information in relational databases","volume":"31","author":"Imielinski","year":"1984","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0022-0000(91)90035-4_BIB12","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1145\/76902.76904","article-title":"Integrity= validity + completeness","volume":"14","author":"Motro","year":"1989","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0022-0000(91)90035-4_BIB13","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","article-title":"Rough sets","volume":"11","author":"Pawlak","year":"1982","journal-title":"Internal. J. Comput. Inform. Sci."},{"key":"10.1016\/0022-0000(91)90035-4_BIB14","unstructured":"A. Ohori, Semantics of types for database objects, Theoret. Comput. Sci., in press. [Special issue dedicated to 2nd International Conference on Database Theory]"},{"key":"10.1016\/0022-0000(91)90035-4_BIB15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","article-title":"Fundamental properties of infinite trees","volume":"25","author":"Courcelle","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0022-0000(91)90035-4_BIB16","unstructured":"P. Buneman, A. Jung, and A. Ohori, Using powerdomains to generalize relational databases, Theoret. Comput. Sci., to appear."},{"key":"10.1016\/0022-0000(91)90035-4_BIB17","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, and A. Watters, A semantics for complex objects and approximate queries, in \u201cProceedings ACM SIGACT-SIGMOD Symposium on Principles of Database Systems,\u201d pp. 305\u2013314.","DOI":"10.1145\/308386.308463"},{"key":"10.1016\/0022-0000(91)90035-4_BIB18","series-title":"Proceedings IEEE Symposium on Logic in Computer Science","first-page":"294","article-title":"A fully abstract semantics for a functional language with logic variables","author":"Jagadeesan","year":"1989"},{"key":"10.1016\/0022-0000(91)90035-4_BIB19","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship Model: Towards a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0022-0000(91)90035-4_BIB20","series-title":"Proc. ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","first-page":"86","article-title":"A new approach to database logic","author":"Kuper","year":"1984"},{"key":"10.1016\/0022-0000(91)90035-4_BIB21","series-title":"Proceedings of Workshop on Deductive Databases and Logic Programming","article-title":"A logic for objects","author":"Maier","year":"1986"},{"key":"10.1016\/0022-0000(91)90035-4_BIB22","series-title":"Proceedings ACM Sigmod Conference","article-title":"On the correctness of representing extended entity-relationship structures in the relational model","author":"Markowitz","year":"1989"},{"year":"1983","series-title":"The Theory of Relational Databases","author":"Maier","key":"10.1016\/0022-0000(91)90035-4_BIB23"},{"year":"1990","series-title":"Advances in Database Programming Languages","author":"Abiteboul","key":"10.1016\/0022-0000(91)90035-4_BIB24"},{"year":"1989","series-title":"A Logical Query Language for Data and Knowledge Bases","author":"Naqvi","key":"10.1016\/0022-0000(91)90035-4_BIB25"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000091900354?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0022000091900354?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T18:11:12Z","timestamp":1757095872000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0022000091900354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["0022000091900354"],"URL":"https:\/\/doi.org\/10.1016\/0022-0000(91)90035-4","relation":{},"ISSN":["0022-0000"],"issn-type":[{"type":"print","value":"0022-0000"}],"subject":[],"published":{"date-parts":[[1991,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A semantics for complex objects and approximate answers","name":"articletitle","label":"Article Title"},{"value":"Journal of Computer and System Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0022-0000(91)90035-4","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1991 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}]}}