{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:03Z","timestamp":1725471183805},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462910"},{"type":"electronic","value":"9783540462927"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11890393_15","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T15:28:19Z","timestamp":1160407699000},"page":"139-148","source":"Crossref","is-referenced-by-count":1,"title":["Checking Violation Tolerance of Approaches to Database Integrity"],"prefix":"10.1007","author":[{"given":"Hendrik","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Martinenghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1147376.1147391","volume":"35","author":"L. Bertossi","year":"2006","unstructured":"Bertossi, L.: Consistent Query Answering in Databases. ACM SIGMOD Record\u00a035(2), 68\u201377 (2006)","journal-title":"ACM SIGMOD Record"},{"key":"15_CR2","volume-title":"Computer Science Classics","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.: Symbolic Logic and Mechanical Theorem Proving. In: Computer Science Classics. Academic Press, London (1973)"},{"key":"15_CR3","first-page":"371","volume-title":"Fundamenta Informaticae","author":"H. Christiansen","year":"2006","unstructured":"Christiansen, H., Martinenghi, D.: On Simplification of Database Integrity Constraints. In: Pettorossi, A., Proietti, M. (eds.) Fundamenta Informaticae, vol.\u00a071(4), pp. 371\u2013417. IOS Press, Amsterdam (2006) See also [13]"},{"key":"15_CR4","unstructured":"Decker, H.: Integrity Enforcement on Deductive Databases. In: Kerschberg, L. (ed.) Expert Database Systems, EDS 1986, pp. 381\u2013395. Benjamin\/Cummings (1987)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-36596-6_4","volume-title":"Semantics in Databases","author":"H. Decker","year":"2003","unstructured":"Decker, H.: Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases. LNCS, vol.\u00a02582, pp. 63\u201381. Springer, Heidelberg (2003)"},{"key":"15_CR6","unstructured":"Decker, H.: A Case for Paraconsistent Logic as Foundation of Future Information Systems. In: Proc. CAiSE 2005 Workshops, vol.\u00a02, pp. 451\u2013461. FEUP edi coes (2005)"},{"key":"15_CR7","first-page":"813","volume-title":"DEXA Workshop LAAIC 2005","author":"H. Decker","year":"2005","unstructured":"Decker, H.: Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. In: DEXA Workshop LAAIC 2005, pp. 813\u2013817. IEEE Computer Society, Los Alamitos (2005)"},{"key":"15_CR8","unstructured":"Decker, H., Villadsen, J., Waragai, T. (eds.): Paraconsistent Computational Logic. In: Proc. ICLP Workshop at FLoC 2002, Dat. Skrifter, Roskilde Univ., vol.\u00a095 (2002)"},{"issue":"6","key":"15_CR9","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1992","unstructured":"Kakas, A., Kowalski, R.A., Toni, F.: Abductive Logic Programming. J. Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"J. Logic and Computation"},{"key":"15_CR10","volume-title":"Logic for Problem Solving","author":"R.A. Kowalski","year":"1979","unstructured":"Kowalski, R.A.: Logic for Problem Solving. Elsevier, Amsterdam (1979)"},{"key":"15_CR11","first-page":"61","volume-title":"Proc. 13th VLDB","author":"R.A. Kowalski","year":"1987","unstructured":"Kowalski, R.A., Sadri, F., Soper, P.: Integrity Checking in Deductive Databases. In: Proc. 13th VLDB, pp. 61\u201369. Morgan Kaufmann, San Francisco (1987)"},{"issue":"4","key":"15_CR12","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W., Sonenberg, L., Topor, R.W.: Integrity constraint checking in stratified databases. Journal of Logic Programming\u00a04(4), 331\u2013343 (1987)","journal-title":"Journal of Logic Programming"},{"key":"15_CR13","unstructured":"Martinenghi, D.: Advanced Techniques for Efficient Data Integrity Checking. Ph.D thesis, Roskilde University, Denmark, in Datalogiske Skrifter, vol.\u00a0105 (2005), \n                    \n                      http:\/\/www.ruc.dk\/dat\/forskning\/skrifter\/DS105.pdf"},{"key":"15_CR14","unstructured":"Martinenghi, D., Chtistiansen, H., Decker, H.: Integrity Checking and Maintenance in Relational and Deductive Databases, and beyond. In: Ma, Z. (ed.) Intelligent Databases: Technologies and Applications. Idea Group Publishing (to appear, 2006)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00263192","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica\u00a018, 227\u2013253 (1982)","journal-title":"Acta Informatica"},{"key":"15_CR16","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/B978-0-934613-40-8.50013-0","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"F. Sadri","year":"1988","unstructured":"Sadri, F., Kowalski, R.A.: A Theorem-Proving Approach to Database Integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313\u2013362. Morgan Kaufmann, San Francisco (1988)"},{"key":"15_CR17","volume-title":"Active Database Systems","author":"J. Widom","year":"1996","unstructured":"Widom, J., Ceri, S.: Active Database Systems. Morgan Kaufmann, San Francisco (1996)"}],"container-title":["Lecture Notes in Computer Science","Advances in Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11890393_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:31:34Z","timestamp":1619508694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11890393_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462910","9783540462927"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11890393_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}