{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:05:24Z","timestamp":1742403924982,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_68","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1017-1032","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Reasoning about Duplicate Elimination with Description Logic"],"prefix":"10.1007","author":[{"given":"Vitaliy L.","family":"Khizder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Toman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"68_CR1","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"issue":"5","key":"68_CR2","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1109\/69.469829","volume":"7","author":"A. Borgida","year":"1995","unstructured":"Alexander Borgida. Description logics in data management. IEEE Transactions on Knowledge and Data Engineering, 7(5):671\u2013682, 1995.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"68_CR3","first-page":"277","volume":"1","author":"A. Borgida","year":"1994","unstructured":"Alexander Borgida and Peter F. Patel-Schneider. A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. of AI Research, 1:277\u2013308, 1994.","journal-title":"J. of AI Research"},{"key":"68_CR4","doi-asserted-by":"crossref","unstructured":"Alexander Borgida and Grant Weddell. Adding uniqueness constraints to description logics (preliminary report). In International Conference on Deductive and Object-Oriented Databases, pages 85\u2013102, 1997.","DOI":"10.1007\/3-540-63792-3_10"},{"key":"68_CR5","unstructured":"Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Answering Queries Using Views in Description Logics. In 6th International Workshop on Knowledge Representation meets Databases (KRDB\u201999), pages 6\u201310, 1999."},{"key":"68_CR6","doi-asserted-by":"crossref","unstructured":"Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. Description logics for conceptual data modelling. In Jan Chomicki and Gunter Saake, editors, Logics for Databases and Information Systems, chapter 8. Kluwer, 1998.","DOI":"10.1007\/978-1-4615-5643-5_8"},{"key":"68_CR7","doi-asserted-by":"crossref","unstructured":"Rick G. G. Cattell. ODMG-93: A Standard for Object-Oriented DBMSs. In A CM SIGMOD International Conference on Management of Data, page 480, 1994.","DOI":"10.1145\/191843.191937"},{"key":"68_CR8","unstructured":"Rick G. G. Cattell, Douglas Barry, Dirk Bartels, Mark Berler, Jeff Eastman, Sophie Gamerman, David Jordan, Adam Springer, Henry Strickland, and Drew Wade. The Object Database Standard: ODMG 2.0. Morgan Kaufman, 1997."},{"key":"68_CR9","doi-asserted-by":"crossref","unstructured":"Ashok K. Chandra and Philip M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In ACM Symposium on Theory of Computing, pages 77\u201390, 1977.","DOI":"10.1145\/800105.803397"},{"key":"68_CR10","doi-asserted-by":"crossref","unstructured":"Surajit Chaudhuri and Moshe Y. Vardi. Optimization of real conjunctive queries. In ACM Symposium on Principles of Database Systems, pages 59\u201370, 1993.","DOI":"10.1145\/153850.153856"},{"key":"68_CR11","unstructured":"Umeshwar Dayal. Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers. In 13th International Conference on Very Large Data Bases, pages 197\u2013208, 1987."},{"key":"68_CR12","doi-asserted-by":"crossref","unstructured":"Parke Godfrey, John Grant, Jarek Gryz, and Jack Minker. Integrity constraints: Semantics and applications. In Jan Chomicki and Gunter Saake, editors, Logics for Databases and Information Systems, chapter 9. Kluwer, 1998.","DOI":"10.1007\/978-1-4615-5643-5_9"},{"key":"68_CR13","unstructured":"ISO. Database Language SQL. ISO\/IEC 9075:1992, International Organization for Standardization, 1992."},{"key":"68_CR14","unstructured":"Vitaliy L. Khizder. Uniqueness Constraints in Object-Relational Databases and Description Logics. PhD thesis, University of Waterloo, 1999."},{"key":"68_CR15","doi-asserted-by":"crossref","unstructured":"Vitaliy L. Khizder, David Toman, and Grant Weddell. On Decidability and Complexity of Description Logics with Uniquwness Constraints. Technical report, Dept. of Computer Science, University of Waterloo, 2000. (submitted).","DOI":"10.1007\/3-540-44503-X_4"},{"key":"68_CR16","unstructured":"Alon Y. Levy, Inderpal Singh Mumick, and Yehoshua Sagiv. Query Optimization by Predicate Move-Around. In 20th International Conference on Very Large Data Bases, pages 96\u2013107, 1994."},{"key":"68_CR17","unstructured":"J. Melton and A. R. Simon. Understanding the new SQL: A Complete Guide. Morgan Kaufmann Publishers, 1993."},{"key":"68_CR18","unstructured":"Inderpal Singh Mumick, Hamid Pirahesh, and Raghu Ramakrishnan. The Magic of Duplicates and Aggregates. In 16th International Conference on Very Large Data Bases, pages 264\u2013277, 1990."},{"key":"68_CR19","doi-asserted-by":"crossref","unstructured":"Glenn N. Paulley and Per-\u00c5ke Larson. Exploiting uniqueness in query optimization. In 10th International Conference on Data Engineering, pages 68\u201379, 1994.","DOI":"10.1109\/ICDE.1994.283003"},{"key":"68_CR20","doi-asserted-by":"crossref","unstructured":"Hamid Pirahesh, Joseph M. Hellerstein, and Waqar Hasan. Extensible\/Rule Based Query Rewrite Optimization in Starburst. In ACM SIGMOD International Conference on Management of Data, pages 39\u201348, 1992.","DOI":"10.1145\/141484.130294"},{"key":"68_CR21","doi-asserted-by":"crossref","unstructured":"Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, and Thomas G. Price. Access Path Selection in a Relational Database Management System. In ACM SIGMOD International Conference on Management of Data, pages 23\u201334, 1979.","DOI":"10.1145\/582095.582099"},{"key":"68_CR22","doi-asserted-by":"crossref","unstructured":"Praveen Seshadri, Hamid Pirahesh, and T. Y. Cliff Leung. Complex Query Decorrelation. In 12th International Conference on Data Engineering, pages 450\u2013458, 1996.","DOI":"10.1109\/ICDE.1996.492194"},{"issue":"3","key":"68_CR23","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1109\/69.334857","volume":"6","author":"M. F. Bommel van","year":"1994","unstructured":"Martin F. van Bommel and Grant Weddell. Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Transactions on Knowledge and Data Engineering, 6(3):455\u2013469, 1994.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"68_CR24","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/128765.128767","volume":"17","author":"G. Weddell","year":"1992","unstructured":"Grant Weddell. Reasoning about Functional Dependencies Generalized for Semantic Data Models. ACM Transactions on Database Systems, 17(1):32\u201364, 1992.","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:04:53Z","timestamp":1737061493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_68"}},"subtitle":["Preliminary Report"],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_68","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}