{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T06:10:52Z","timestamp":1775369452131,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540417682","type":"print"},{"value":"9783540452416","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_15","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:24:00Z","timestamp":1188296640000},"page":"214-228","source":"Crossref","is-referenced-by-count":2,"title":["Soundcheck for SQL"],"prefix":"10.1007","author":[{"given":"Hendrik","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"M. Celma, C. Garcia, L. Mota, H. Decker: Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. Proc. ICDE\u201994, IEEE Press, 1994.","DOI":"10.1109\/ICDE.1994.283033"},{"key":"15_CR2","unstructured":"R. Cochrane, H. Pirahesh, N. Mattos: Integrating Triggers and Declarative Constraints in SQL Database Systems. Proc. 22nd VLDB, 1996."},{"key":"15_CR3","unstructured":"H. Decker: Integrity Enforcement on Deductive Databases. Expert Database Systems (ed.: L. Kerschberg). Benjamin Cummings, 1987."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"H. Decker: The Range Form of Databases and Queries, or: How to Avoid Floundering. Proc. 5. \u00d6GAI. Springer Informatik-Fachberichte 208, 1989.","DOI":"10.1007\/978-3-642-74688-8_13"},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Drawing Updates from Derivations","author":"H. Decker","year":"1990","unstructured":"H. Decker: Drawing Updates from Derivations. Proc. 3rd ICDT. Springer LNCS 470, 1990."},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055502","volume-title":"Transactions and Change in Logic Databases","author":"H. Decker","year":"1998","unstructured":"H. Decker: Some Notes on Knowledge Assimilation in Deductive Databases. Transactions and Change in Logic Databases (ed.: B. Freitag, H. Decker, M. Kifer, A. Voronkov). Springer LNCS 1472, 1998."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"R. Demolombe, A. Illarramendi: Heuristics for Syntactial Optimization of Relational Queries. Information Processing Letters, Vol. 32, 1989.","DOI":"10.1016\/0020-0190(89)90024-0"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"C. Elkan: Independence of Logic Database Queries and Updates. Proc. 9th PODS. ACM Press, 1990","DOI":"10.1145\/298514.298557"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"A. Gupta, Y. Sagiv, J. Ullman, J. Widom: Constraint Checking with Partial Information. Proc. 13th PODS. ACM Press, 1994.","DOI":"10.1145\/182591.182597"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"M. Leuschel, D. De Schreye: Creating specialised integrity checks through partial evaluation of meta-interpreters. J. Logic Programming, Vol. 36, 1998.","DOI":"10.1016\/S0743-1066(97)10012-7"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"K. Liu, T. Ong: A Modelling Approach for Handling Business Rules and Exceptions. The Computer Journal, Vol. 42, 1999.","DOI":"10.1093\/comjnl\/42.3.221"},{"key":"15_CR12","unstructured":"A. Levy, Y. Sagiv: Queries Independent of Updates. Proc. 19th VLDB, 1993."},{"key":"15_CR13","unstructured":"O. Martin, J.F. Perrin: A Generic Business Rule Validation System for ORACLE Applications, 1997, European Oracle User Group Conf., http:\/\/asdbwww.cern.ch\/asdb\/tools\/eoug 4.htm ."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"J.-M. Nicolas: Logic for Improving Integrity Checking in Relational Databases. Acta Informatica, Vol. 18, 1982.","DOI":"10.1007\/BF00263192"},{"key":"15_CR15","unstructured":"F. Sadri, R. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming (ed.: J. Minker). Morgan Kaufmann, 1988."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"K. Ross, D. Srivastava, S. Sudarshan: Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time. Proc. SIGMOD\u201996. ACM Press, 1996.","DOI":"10.1145\/233269.233361"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, R. Topor: Safety and Translation of Relational Calculus Queries. ACM TODS, Vol. 16, 1991.","DOI":"10.1145\/114325.103712"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:08:25Z","timestamp":1556802505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}