{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:26Z","timestamp":1725664346051},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607946"},{"type":"electronic","value":"9783540494560"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60794-3_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:59:34Z","timestamp":1330289974000},"page":"132-147","source":"Crossref","is-referenced-by-count":3,"title":["Ambiguity for referential integrity is undecidable"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Reinert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/202106.202107","volume":"20","author":"A. Aiken","year":"1995","unstructured":"A. Aiken, J. M. Hellerstein, and J. Widom. Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM TODS, 20(1):3\u201341, March 1995.","journal-title":"ACM TODS"},{"issue":"2","key":"8_CR2","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/141484.130296","volume":"20","author":"A. Aiken","year":"1992","unstructured":"A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. ACM SIGMOD Record, 20(2):59\u201368, June 1992.","journal-title":"ACM SIGMOD Record"},{"issue":"3","key":"8_CR3","first-page":"671","volume":"14","author":"A.K. Chandra","year":"1985","unstructured":"A.K. Chandra and M. Y. Vardi. The Implication Problem for Functional and Inclusion Dependencies is Undecidable. ACM SIAM, 14(3):671\u2013677, 1985.","journal-title":"ACM SIAM"},{"issue":"6","key":"8_CR4","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. F. Codd","year":"1970","unstructured":"E. F. Codd. A Relational Model of Data for Large Shared Databases. Communication of the ACM, 13(6):377\u2013387, 1970.","journal-title":"Communication of the ACM"},{"key":"8_CR5","unstructured":"C. J. Date. Referential Integrity. In Proceedings of the VLDB'81, pages 9\u201335. IEEE, March 1981."},{"key":"8_CR6","volume-title":"A Guide to THE SQL STANDARD","author":"C. J. Date","year":"1988","unstructured":"C. J. Date. A Guide to THE SQL STANDARD. Addision-Wesley, New York, 1988."},{"key":"8_CR7","volume-title":"Relational Databases: Selected Writings 1985\u20131989","author":"C. J. Date","year":"1990","unstructured":"C. J. Date. Relational Databases: Selected Writings 1985\u20131989. Addision-Wesley, New York, 1990."},{"key":"8_CR8","volume-title":"IBM Research Report RJ-1820(26414)","author":"K. P. Eswaran","year":"1976","unstructured":"K. P. Eswaran. Specification, Implementation and Interactions of a Trigger Subsystem in a Integrated Database System. IBM Research Report RJ-1820(26414), IBM Almaden Research Center, IBM Research Laboratory, San Jose, California 95193, 1976."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"M. M. Hammer and D. J. McLeod. Semantic Integrity in a Relational Data Base System. In Proceedings of the VLDB'75, pages 25\u201347, 1975.","DOI":"10.1145\/1282480.1282483"},{"key":"8_CR10","volume-title":"Research Report","author":"T. H\u00e4rder","year":"1993","unstructured":"T. H\u00e4rder and J. Reinert. Access Path Support for Referential Integrity in SQL2. Research Report, Fachbereich Informatik, Universit\u00e4t Kaiserslautern, Postfach 3049, D-W 6750 Kaiserslautern, Germany, 1993."},{"key":"8_CR11","volume-title":"Information Technology \u2014 Database Languages \u2014 SQL2","author":"ISO\/IEC JTC1\/SC21","year":"1992","unstructured":"ISO\/IEC JTC1\/SC21. Information Technology \u2014 Database Languages \u2014 SQL2. ANSI, American National Standards Institute, 1430 Broadway, New York, NY 10018, July 1992."},{"key":"8_CR12","volume-title":"ISO\/ANSI working draft Database Languages \u2014 SQL3","author":"ISO\/IEC JTC1\/SC21\/WG3","year":"1993","unstructured":"ISO\/IEC JTC1\/SC21\/WG3. ISO\/ANSI working draft Database Languages \u2014 SQL3. ANSI, American National Standards Institute, 1430 Broadway, New York, NY 10018, February 1993."},{"key":"8_CR13","unstructured":"V. M. Markowitz. Referential Integrity Revisited: An Object-Oriented Perspective. In Proceedings of the VLDB'90, Australia, pages 9\u201335, 1990."},{"key":"8_CR14","unstructured":"V. M. Markowitz. Safe Referential Integrity Structures. In Proceedings of the VLDB'91, Barcelona, Spain, 1991."},{"issue":"4","key":"8_CR15","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0306-4379(94)90019-1","volume":"19","author":"V. M. Markowitz","year":"1994","unstructured":"V. M. Markowitz. Safe Referential Integrity and Null Constraints in Relational Databases. Information Systems, 19(4):359\u2013378, 1994.","journal-title":"Information Systems"},{"key":"8_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-84278-8","volume-title":"Inkonsitenzen in deduktiven Datenbanken","author":"G. Moerkotte","year":"1990","unstructured":"G. Moerkotte. Inkonsitenzen in deduktiven Datenbanken. Springer-Verlag, Heidelberg, 1990. in German."},{"key":"8_CR17","unstructured":"J. Reinert. Ensuring Referential Integrity in SQL2 and SQL3. Research Report, University of Kaiserslautern, 1992."},{"key":"8_CR18","volume-title":"IBM Research Report 6880","author":"J. Widom","year":"1989","unstructured":"J. Widom and S. J. Finkelstein. Syntax and Semantics for Set-Oriented Production Rules in Relational Database Systems. IBM Research Report 6880, IBM Almaden Research Center, IBM Research Laboratory, San Jose, California 95193, 1989."},{"issue":"2","key":"8_CR19","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/93605.98735","volume":"19","author":"J. Widom","year":"1990","unstructured":"J. Widom and S. J. Finkelstein. Set-Oriented Production Rules in Relational Database Systems. ACM SIGMOD Record, 19(2):259\u2013270, June 1990.","journal-title":"ACM SIGMOD Record"},{"key":"8_CR20","series-title":"LNCS 416","first-page":"407","volume-title":"Proceedings of the EDBT 92","author":"Y. Zhou","year":"1990","unstructured":"Y. Zhou and M. Hsu. A Theory for Rule Triggering Systems. In Proceedings of the EDBT 92, LNCS 416, pages 407\u2013421. Springer-Verlag, Berlin, March 1990."}],"container-title":["Lecture Notes in Computer Science","Constraint Databases and Application"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60794-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:46Z","timestamp":1619573266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60794-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607946","9783540494560"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-60794-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}