{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:41:56Z","timestamp":1725457316259},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540641995"},{"type":"electronic","value":"9783540697008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0035009","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:43:04Z","timestamp":1134286984000},"page":"170-208","source":"Crossref","is-referenced-by-count":9,"title":["A semantics-based approach to design of query languages for partial information"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Libkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,23]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0022-0000(86)90058-9","volume":"33","author":"S. Abiteboul","year":"1986","unstructured":"S. Abiteboul and N. Bidoit. Non-first normal form relations: An algebra allowing data restructuring. Journal of Computer and System Sciences, 33(3):361\u2013371, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0304-3975(51)90007-2","volume":"78","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul, P. Kanellakis, and G. Grahne. On the representation and querying of sets of possible worlds. Theoretical Computer Science, 78:159\u2013187, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(86)80022-5","volume":"70","author":"P. Atzeni","year":"1986","unstructured":"P. Atzeni and N. Morfuni. Functional dependencies and constraints on null values in database relations. Information and Control, 70(1):1\u201331, July 1986.","journal-title":"Information and Control"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"V. Breazu-Tannen, P. Buneman, and L. Wong. Naturally embedded query languages. In J. Biskup and R. Hull, editors, LNCS 646: Proceedings of 4th International Conference on Database Theory, Berlin, Germany, October, 1992, pages 140\u2013154. Springer-Verlag, October 1992.","DOI":"10.1007\/3-540-56039-4_38"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/0022-0000(91)90035-4","volume":"43","author":"P. Buneman","year":"1991","unstructured":"P. Buneman, S. Davidson, and A. Watters. A semantics for complex objects and approximate answers. Journal of Computer and System Sciences, 43(1):170\u2013218, August 1991.","journal-title":"Journal of Computer and System Sciences"},{"key":"7_CR6","volume-title":"Advances in Data Base Theory: Volume 1","author":"J. Biskup","year":"1981","unstructured":"J. Biskup. A formal approach to null values in database relations. In Advances in Data Base Theory: Volume 1. Plenum Press, New York, 1981."},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/181550.181564","volume":"23","author":"P. Buneman","year":"1994","unstructured":"P. Buneman, L. Libkin, D. Suciu, V. Tannen, and L. Wong. Comprehension syntax. SIGMOD Record, 23(1):87\u201396, March 1994.","journal-title":"SIGMOD Record"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0304-3975(91)90266-5","volume":"91","author":"P. Buneman","year":"1991","unstructured":"P. Buneman, A. Jung and A. Ohori. Using powerdomains to generalize relational databases. Theoretical Computer Science, 91:23\u201355, 1991.","journal-title":"Theoretical Computer Science"},{"key":"7_CR9","unstructured":"V. Breazu-Tannen, P. Buneman, and S. Naqvi. Structural recursion as a query language. In Proceedings of 3rd International Workshop on Database Programming Languages, Naphlion, Greece, pages 9\u201319. Morgan Kaufmann, August 1991."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"V. Breazu-Tannen and R. Subrahmanyam. Logical and computational aspects of programming with Sets\/Bags\/Lists. In LNCS 510: Proceedings of 18th International Colloquium on Automata, Languages, and Programming, Madrid, Spain, July 1991, pages 60\u201375. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54233-7_125"},{"key":"7_CR11","series-title":"Series in Computer Science","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1990","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Series in Computer Science. Prentice Hall International, New York, 1990."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Types for data-oriented languages. In J. W. Schmidt, S. Ceri, and M. Missikoff, editors, LNCS 303: Advances in Database Technology-International Conference on Extending Database Technology, Venice, Italy, March 1988. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19074-0_44"},{"key":"7_CR13","unstructured":"E. F. Codd. Understanding relations. Bulletin of ACM SIGMOD, pages 23\u201328, 1975."},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"E. F. Codd","year":"1979","unstructured":"E. F. Codd. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems, 4(4):397\u2013434, December 1979.","journal-title":"ACM Transactions on Database Systems"},{"issue":"5","key":"7_CR15","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1016\/0306-4379(90)90029-O","volume":"15","author":"L. S. Colby","year":"1990","unstructured":"L. S. Colby. A recursive algebra for nested relations. Information Systems, 15(5):567\u2013582, 1990.","journal-title":"Information Systems"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1142\/S0218196792000256","volume":"2","author":"A. Day","year":"1992","unstructured":"A. Day, The lattice theory of functional dependencies and normal decompositions. Intern. J. of Algebra and Computation, 2:409\u2013431, 1992.","journal-title":"Intern. J. of Algebra and Computation"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0166-218X(92)90028-9","volume":"40","author":"J. Demetrovics","year":"1992","unstructured":"J. Demetrovics, L. Libkin and I. Muchnik. Functional dependencies in relational databases: a lattice point of view. Discrete Applied Mathematics, 40:155\u2013185, 1992.","journal-title":"Discrete Applied Mathematics"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"R. Fagin. Horn clauses and database dependencies. Journal of ACM, 29:952\u2013985, 1982.","journal-title":"Journal of ACM"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"E. Gunter and L. Libkin, OR-SML: A functional database programming language for disjunctive information and its applications. In D. Karagiannis, ed., LNCS 856: Proceedings of Conference on Database and Expert Systems Applications, Athens, 1994, Springer Verlag, 1994, pages 841\u2013850.","DOI":"10.1007\/3-540-58435-8_230"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"S. Grumbach and T. Milo. Towards tractable algebras for bags. Proceedings of the 12th Conference on Principles of Database Systems, Washington DC, 1993, pages 49\u201358.","DOI":"10.1145\/153850.153855"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0020-0190(77)90013-8","volume":"6","author":"J. Grant","year":"1977","unstructured":"J. Grant. Null values in relational databases. Information Processing Letters, 6:156\u2013157, 1977.","journal-title":"Information Processing Letters"},{"key":"7_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-54919-6","volume-title":"The Problem of Incomplete Information in Relational Databases","author":"G. Grahne","year":"1991","unstructured":"G. Grahne. The Problem of Incomplete Information in Relational Databases. Springer-Verlag, Berlin, 1991."},{"key":"7_CR23","series-title":"Springer Lecture Notes in Computer Science","first-page":"101","volume-title":"Mathematical Foundations of Programming Semantics","author":"C. Gunter","year":"1985","unstructured":"C. Gunter. Comparing categories of domains. In \u201cMathematical Foundations of Programming Semantics\u201d (A. Melton ed), Springer Lecture Notes in Computer Science, vol. 239, Springer, Berlin, 1985, pages 101\u2013121."},{"key":"7_CR24","unstructured":"C. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. MIT Press, 1992."},{"key":"7_CR25","unstructured":"G. Gottlob and R. Zicari. Closed world databases opened through null values. In Proceedings of Very Large Databases, pages 50\u201361, Cambridge, Massachusetts, 1988."},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/1634.1886","volume":"31","author":"T. Imielinski","year":"1984","unstructured":"T. Imielinski and W. Lipski. Incomplete information in relational databases. Journal of the ACM, 31:761\u2013791, October 1984.","journal-title":"Journal of the ACM"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"T. Imielinski, S. Naqvi, and K. Vadaparty. Incomplete objects \u2014 a data model for design and planning applications. In J. Clifford and R. King, editors, Proceedings of ACM-SIGMOD International Conference on Man agement of Data, Denver, Colorado, May 1991, pages 288\u2013297. ACM Press, 1991.","DOI":"10.1145\/115790.115838"},{"key":"7_CR28","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1007\/3-540-55015-1_28","volume-title":"LNCS 566: Deductive and Object Oriented Databases","author":"T. Imielinski","year":"1991","unstructured":"T. Imielinski, S. Naqvi, and K. Vadaparty. Querying design and planning databases. In C. Delobel, M. Kifer, and Y. Masunaga, editors, LNCS 566: Deductive and Object Oriented Databases, pages 524\u2013545, Berlin, 1991. Springer-Verlag."},{"key":"7_CR29","first-page":"235","volume-title":"LNCS 598: Proceedings of 1991 Conference on Mathematical Foundations of Programming Semantics","author":"A. Jung","year":"1992","unstructured":"A. Jung, L. Libkin, and H. Puhlmann. Decomposition of domains. In LNCS 598: Proceedings of 1991 Conference on Mathematical Foundations of Programming Semantics, pages 235\u2013258, Berlin, 1992. Springer-Verlag."},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"P. Kanellal\u00e4s. Elements of relational database theory. In Handbook of Theoretical Computer Science, Volume B, pages 1075\u20131156. North Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"L. Libkin. A relational algebra for complex objects based on partial information. In J. Demetrovics and B. Thalheim, editors, LNCS 495: Proceedings of Symposium on Mathematical Fundamentals of Database Systems, Rostock, 1991, pages 36\u201341. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_3"},{"key":"7_CR32","first-page":"175","volume":"48","author":"L. Libkin","year":"1992","unstructured":"L. Libkin. An elementary proof that upper and lower powerdomain constructions commute. Bulletin of the EATCS, 48:175\u2013177, 1992.","journal-title":"Bulletin of the EATCS"},{"key":"7_CR33","unstructured":"L. Libkin. Aspects of Partial Information in Databases. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1994."},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"L. Libkin. Approximation in databases. In G. Gottlob and M. Vardi, editors, LNCS 898: Proceedings of International Conference on Database Theory, Prague, 1995, pages 411\u2013424. Springer-Verlag, 1995. Full version to appear in Theoretical Computer Science.","DOI":"10.1007\/3-540-58907-4_31"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"L. Libkin. Normalizing incomplete databases. In Proceedings of 14th ACM Symposium on Principles of Database Systems, pages 219\u2013230, San Jose, CA, May 1995.","DOI":"10.1145\/212433.220217"},{"issue":"3","key":"7_CR36","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320083.320088","volume":"4","author":"W. Lipski","year":"1979","unstructured":"W. Lipski. On semantic issues connected with incomplete information databases. ACM Transactions on Database Systems, 4(3):262\u2013296, September 1979.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR37","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/322234.322239","volume":"28","author":"W. Lipski","year":"1981","unstructured":"W. Lipski. On databases with incomplete information. Journal of ACM, 28:41\u201370, 1981.","journal-title":"Journal of ACM"},{"key":"7_CR38","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(86)90022-8","volume":"46","author":"N. Lerat","year":"1986","unstructured":"N. Lerat and W. Lipski. Nonapplicable nulls. Theoretical Computer Science, 46:67\u201382, 1986.","journal-title":"Theoretical Computer Science"},{"key":"7_CR39","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1093\/comjnl\/33.1.19","volume":"33","author":"M. Levene","year":"1990","unstructured":"M. Levene and G. Loizou. The nested relation type model: An application of domain theory to databases. The Computer Journal, 33:19\u201330, 1990.","journal-title":"The Computer Journal"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"M. Levene and G. Loizou. Correction to \u201cNull values in nested relational databases\u201d by M. A. Roth, H. F. Korth, and A. Silberschatz. Acta Informatica, 28:603\u2013605, 1991.","DOI":"10.1007\/BF01463948"},{"key":"7_CR41","doi-asserted-by":"crossref","first-page":"303","DOI":"10.3233\/FI-1993-193-405","volume":"19","author":"M. Levene","year":"1993","unstructured":"M. Levene and G. Loizou. A fully precise null extended nested relational algebra. Fundamenta Informaticae, 19:303\u2013343, 1993.","journal-title":"Fundamenta Informaticae"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"L. Libkin and L. Wong. New techniques for studying set languages, bag languages, and aggregate functions. In Proceedings of 18th ACM Symposium on Principles of Database Systems, pages 155\u2013166, Minneapolis, Minnesota, May 1994. Full version to appear in Journal of Computer and System Sciences.","DOI":"10.1145\/182591.182609"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"L. Libkin and L. Wong. Some properties of query languages for bags. In C. Beeri, A. Ohori, and D. Shasha, editors, Proceedings of 4th International Workshop on Database Programming Languages, New York, August 1993, pages 97\u2013114. Springer-Verlag, January 1994.","DOI":"10.1007\/978-1-4471-3564-7_7"},{"key":"7_CR44","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0020-0190(94)90099-X","volume":"49","author":"L. Libkin","year":"1994","unstructured":"L. Libkin and L. Wong. Conservativity of nested relational calculi with internal generic functions. Information Processing Letters, 49:273\u2013280, 1994.","journal-title":"Information Processing Letters"},{"key":"7_CR45","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0020-0190(95)00154-5","volume":"56","author":"L. Libkin","year":"1995","unstructured":"L. Libkin and L. Wong. On representation and querying incomplete information in databases with bags. Information Processing Letters, 56:209\u2013214, 1995.","journal-title":"Information Processing Letters"},{"issue":"1","key":"7_CR46","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/jcss.1996.0010","volume":"52","author":"L. Libkin","year":"1996","unstructured":"L. Libkin and L. Wong. Semantic representations and query languages for or-sets. Journal of Computer and System Sciences, 52(1):125\u2013142, 1996.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"7_CR47","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(90)90012-7","volume":"76","author":"A. Ohori","year":"1990","unstructured":"A. Ohori. Semantics of types for database objects. Theoretical Computer Science, 76(1):53\u201391, 1990.","journal-title":"Theoretical Computer Science"},{"key":"7_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69956-6","volume-title":"The Structure of the Relational Data Model","author":"J. Paredaens","year":"1989","unstructured":"J. Paredaens, P. De Bra, M. Gyssens and D. Van Gucht, \u201cThe Structure of the Relational Data Model\u201d, Springer, Berlin, 1989."},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"G. D. Plotkin. A powerdomain construction. SIAM Journal of Computing, 5, September 1976.","DOI":"10.1137\/0205035"},{"key":"7_CR50","unstructured":"A. Poulovassilis and C. Small. A domain theoretic approach to integrating functional and logical database languages. In Proceedings of VLBD, pages 416\u2013428, 1993."},{"key":"7_CR51","unstructured":"R. Reiter. On closed world databases. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum Press, 1978."},{"issue":"7","key":"7_CR52","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/BF00288974","volume":"26","author":"M. A. Roth","year":"1989","unstructured":"M. A. Roth, H. F. Korth, and A. Silberschatz. Null values in nested rela, tional databases. Acta Informatica, 26(7):615\u2013642, 1989.","journal-title":"Acta Informatica"},{"issue":"1","key":"7_CR53","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. B. Smyth","year":"1978","unstructured":"M. B. Smyth. Power domains. Journal of Computer and System Sciences, 16(1):23\u201336, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"D. Suciu and J. Paredaens. Any algorithm in the complex object algebra needs exponential space to compute transitive closure. In Proceedings of 13th ACM Symposium on Principles of Database Systems, pages 201\u2013209, Minneapolis, Minnesota, May 1994.","DOI":"10.1145\/182591.182613"},{"issue":"2","key":"7_CR55","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H. J. Schek","year":"1986","unstructured":"H. J. Schek and M. H. Scholl. The relational model with relation-valued attributes. Information Systems, 11(2):137\u2013147, 1986.","journal-title":"Information Systems"},{"key":"7_CR56","doi-asserted-by":"crossref","unstructured":"D. Suciu. Fixpoints and bounded fixpoints for complex objects. In C. Beeri, A. Ohori, and D. Shasha, editors, Proceedings of 4th International Workshop on Database Programming Languages, New York, August 1993, pages 263\u2013281. Springer-Verlag, January 1994.","DOI":"10.1007\/978-1-4471-3564-7_15"},{"issue":"1\/2","key":"7_CR57","first-page":"11","volume":"25","author":"B. Thalheim","year":"1989","unstructured":"B. Thalheim. On semantic issues connected with keys in rela tional databases permitting null values. J. Inf. Process. and Cybernet., 25(1\/2):11\u201320, 1989.","journal-title":"J. Inf. Process. and Cybernet."},{"key":"7_CR58","doi-asserted-by":"crossref","unstructured":"B. Thalheim. \u201cDependencies in Relational Databases\u201d, Teubner-Texte zur Mathematik, Band 126, Stuttgart-Leipzig, 1991.","DOI":"10.1007\/978-3-663-12018-6"},{"key":"7_CR59","first-page":"269","volume-title":"Advances in Computing Research: The Theory of Databases","author":"S. J. Thomas","year":"1986","unstructured":"S. J. Thomas and P. C. Fischer. Nested relational structures. In P. C. Kanellakis and F. P. Preparata, editors, Advances in Computing Research: The Theory of Databases, pages 269\u2013307, London, England, 1986. JAI Press."},{"key":"7_CR60","doi-asserted-by":"crossref","unstructured":"M. Y. Vardi. On the integrity of databases with incomplete information. In Proceedings of 5th ACM Symposium on Principles of Database Systems, pages 252\u2013266, 1986.","DOI":"10.1145\/6012.15419"},{"key":"7_CR61","doi-asserted-by":"crossref","unstructured":"Y. Vassiliou. Null values in database management-a denotational semantics approach. In Proceedings of SIGMOD, 1979.","DOI":"10.1145\/582095.582123"},{"issue":"1","key":"7_CR62","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0022-0000(84)90080-1","volume":"28","author":"C. Zaniolo","year":"1984","unstructured":"C. Zaniolo. Database relation with null values. Journal of Computer and System Sciences, 28(1):142\u2013166, 1984.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T07:36:53Z","timestamp":1626853013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540641995","9783540697008"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/bfb0035009","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}