{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:27:26Z","timestamp":1762100846831,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T00:00:00Z","timestamp":1216080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,15]]},"DOI":"10.1145\/1389449.1389474","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"195-204","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Classifying integrity checking methods with regard to inconsistency tolerance"],"prefix":"10.1145","author":[{"given":"Hendrik","family":"Decker","sequence":"first","affiliation":[{"name":"Instituto Tecnol\u00f3gico de Inform\u00e1tica, Valencia, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Martinenghi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/303976.303983"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/12518"},{"key":"e_1_3_2_1_3_1","unstructured":"L. Bertossi A. Hunter and T. Schaub. Inconsistency Tolerance. LNCS L. Bertossi A. Hunter and T. Schaub. Inconsistency Tolerance. LNCS"},{"key":"e_1_3_2_1_4_1","volume-title":"1st EDBT, LNCS","author":"Bry F.","year":"1988","unstructured":"F. Bry , H. Decker and R. Manthey . A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. Advances in Database Technology - Proc . 1st EDBT, LNCS vol. 303 , 488--505. Springer , 1988 . F. Bry, H. Decker and R. Manthey. A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. Advances in Database Technology - Proc. 1st EDBT, LNCS vol. 303, 488--505. Springer, 1988."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/645479.655110"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/78922.78924"},{"issue":"4","key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"371","DOI":"10.3233\/FUN-2006-71402","article-title":"On simplification of database integrity constraints","volume":"71","author":"Christiansen H.","year":"2006","unstructured":"H. Christiansen and D. Martinenghi . On simplification of database integrity constraints . Fundam. Inform. 71 ( 4 ): 371 -- 417 , 2006 . H. Christiansen and D. Martinenghi. On simplification of database integrity constraints. Fundam. Inform. 71(4):371--417, 2006.","journal-title":"Fundam. Inform."},{"key":"e_1_3_2_1_8_1","volume-title":"Keulen. Proc. 2nd Workshop on Uncertainty in Databases, CTIT WP06-01","author":"de Keijzer A.","year":"2006","unstructured":"A. de Keijzer and M. van Keulen. Proc. 2nd Workshop on Uncertainty in Databases, CTIT WP06-01 , 2006 . A. de Keijzer and M. van Keulen. Proc. 2nd Workshop on Uncertainty in Databases, CTIT WP06-01, 2006."},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. 1st EDS, 381","author":"Decker H.","year":"1987","unstructured":"H. Decker . Integrity enforcement on deductive databases . Proc. 1st EDS, 381 .395. Benjamin\/Cummings , 1987 . H. Decker. Integrity enforcement on deductive databases. Proc. 1st EDS, 381.395. Benjamin\/Cummings, 1987."},{"key":"e_1_3_2_1_10_1","volume-title":"Inconsistency-tolerant knowledge assimilation. Proc. ICSOFT'07, 198--205","author":"Decker H.","year":"2007","unstructured":"H. Decker . Inconsistency-tolerant knowledge assimilation. Proc. ICSOFT'07, 198--205 , INSTICC Press , 2007 . H. Decker. Inconsistency-tolerant knowledge assimilation. Proc. ICSOFT'07, 198--205, INSTICC Press, 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11916277_20"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.07.002"},{"key":"e_1_3_2_1_13_1","volume-title":"Database Systems: The Complete Book","author":"Garcia-Molina H.","year":"2002","unstructured":"H. Garcia-Molina , J. Ullman and J. Widom . Database Systems: The Complete Book . Prentice-Hall , 2002 . H. Garcia-Molina, J. Ullman and J. Widom. Database Systems: The Complete Book. Prentice-Hall, 2002."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-006-2974-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/182591.182597"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/299315.301512"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/296327.296328"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55015-1_26"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. 22nd VLDB, 495--505","author":"Lee S.Y.","year":"1996","unstructured":"S.Y. Lee and T. Ling . Further improvements on integrity constraint checking for stratifiable deductive databases . Proc. 22nd VLDB, 495--505 . Morgan Kaufmann , 1996 . S.Y. Lee and T. Ling. Further improvements on integrity constraint checking for stratifiable deductive databases. Proc. 22nd VLDB, 495--505. Morgan Kaufmann, 1996."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90009-4"},{"key":"e_1_3_2_1_21_1","volume-title":"Z. Ma (ed)","author":"Martinenghi D.","year":"2006","unstructured":"D. Martinenghi , H. Christiansen and H. Decker . Integrity checking and maintenance in relational and deductive databases and beyond . In Z. Ma (ed) , Intelligent Databases : Technologies and Applications, 238--285. Idea Group , 2006 . D. Martinenghi, H. Christiansen and H. Decker. Integrity checking and maintenance in relational and deductive databases and beyond. In Z. Ma (ed), Intelligent Databases: Technologies and Applications, 238--285. Idea Group, 2006."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263192"},{"key":"e_1_3_2_1_23_1","volume-title":"Database Management Systems","author":"Ramakrishnan R.","year":"2003","unstructured":"R. Ramakrishnan and J. Gehrke . Database Management Systems , 3 rd edition. McGraw-Hill , 2003 . R. Ramakrishnan and J. Gehrke. Database Management Systems, 3rd edition. McGraw-Hill, 2003.","edition":"3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90049-9"},{"key":"e_1_3_2_1_25_1","volume-title":"Morgan Kaufmann","author":"Sadri F.","year":"1988","unstructured":"F. Sadri and R. A. Kowalski . A theorem-proving approach to database integrity. In J. Minker (ed), Foundations of Deductive Databases and Logic Programming, 313--362 . Morgan Kaufmann , 1988 . F. Sadri and R. A. Kowalski. A theorem-proving approach to database integrity. In J. Minker (ed), Foundations of Deductive Databases and Logic Programming, 313--362. Morgan Kaufmann, 1988."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/500080.500091"},{"key":"e_1_3_2_1_27_1","volume-title":"What happened to theory anyway? http:\/\/infolab.stanford.edu\/~ullman\/pub\/sigmod06.ppt","author":"Ullman J. D.","year":"2006","unstructured":"J. D. Ullman . What happened to theory anyway? http:\/\/infolab.stanford.edu\/~ullman\/pub\/sigmod06.ppt , 2006 . J. D. Ullman. What happened to theory anyway? http:\/\/infolab.stanford.edu\/~ullman\/pub\/sigmod06.ppt, 2006."}],"event":{"name":"PPDP08: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Valencia Spain","acronym":"PPDP08"},"container-title":["Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389474","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389449.1389474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:38Z","timestamp":1750255058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,15]]},"references-count":27,"alternative-id":["10.1145\/1389449.1389474","10.1145\/1389449"],"URL":"https:\/\/doi.org\/10.1145\/1389449.1389474","relation":{},"subject":[],"published":{"date-parts":[[2008,7,15]]},"assertion":[{"value":"2008-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}