{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:53:48Z","timestamp":1725900828280},"publisher-location":"Berlin, Heidelberg","reference-count":62,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360077"},{"type":"electronic","value":"9783642360084"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36008-4_7","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T02:37:42Z","timestamp":1357094262000},"page":"149-173","source":"Crossref","is-referenced-by-count":10,"title":["Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity"],"prefix":"10.1007","author":[{"given":"Hendrik","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1145\/76359.76363","volume":"36","author":"S. Abiteboul","year":"1989","unstructured":"Abiteboul, S., Vianu, V.: A transaction-based approach to relational database specification. JACM\u00a036(4), 758\u2013789 (1989)","journal-title":"JACM"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Afrati, F., Kolaitis, P.: Repair checking in inconsistent databases: algorithms and complexity. In: 12th ICDT, pp. 31\u201341. ACM Press (2009)","DOI":"10.1145\/1514894.1514899"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: PODS 1999, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10472-007-9074-1","volume":"50","author":"O. Arieli","year":"2007","unstructured":"Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Ann. Math. Artif. Intell.\u00a050, 389\u2013415 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR6","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-642-05352-8_15","volume-title":"The Practice of Enterprise Modeling","author":"N. Arni-Bloch","year":"2009","unstructured":"Arni-Bloch, N., Ralyt\u00e9, J., L\u00e9onard, M.: Service\u2013Driven Information Systems Evolution: Handling Integrity Constraints Consistency. In: Persson, A., Stirna, J. (eds.) PoEM 2009. LNBIP, vol.\u00a039, pp. 191\u2013206. Springer, Heidelberg (2009)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bauer, H.: Ma\u00df- und Integrationstheorie, 2. Auflage. De Gruyter (1992)","DOI":"10.1515\/9783110871739"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-60112-0_6","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"P. Besnard","year":"1995","unstructured":"Besnard, P., Hunter, A.: Quasi-Classical Logic: Non-Trivializable Classical Reasoning from Inconsistent Information. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol.\u00a0946, pp. 44\u201351. Springer, Heidelberg (1995)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Bohanon, P., Fan, W., Flaster, M., Rastogi, R.: A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification. In: Proc. SIGMOD 2005, pp. 143\u2013154. ACM Press (2005)","DOI":"10.1145\/1066157.1066175"},{"key":"7_CR10","unstructured":"Ceri, S., Cochrane, R., Widom, J.: Practical Applications of Triggers and Constraints: Success and Lingering Issues. In: Proc. 26th VLDB, pp. 254\u2013262. Morgan Kaufmann (2000)"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U. Chakravarthy","year":"1990","unstructured":"Chakravarthy, U., Grant, J., Minker, J.: Logic-based Approach to Semantic Query Optimization. Transactions on Database Systems\u00a015(2), 162\u2013207 (1990)","journal-title":"Transactions on Database Systems"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11965893_1","volume-title":"Database Theory \u2013 ICDT 2007","author":"J. Chomicki","year":"2006","unstructured":"Chomicki, J.: Consistent Query Answering: Five Easy Pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol.\u00a04353, pp. 1\u201317. Springer, Heidelberg (2006)"},{"issue":"4","key":"7_CR13","first-page":"371","volume":"71","author":"H. Christiansen","year":"2006","unstructured":"Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamenta Informaticae\u00a071(4), 371\u2013417 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Clark, K.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"7_CR15","first-page":"117","volume":"4","author":"C. Curino","year":"2010","unstructured":"Curino, C., Moon, H., Deutsch, A., Zaniolo, C.: Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++. PVLDB\u00a04, 117\u2013128 (2010)","journal-title":"PVLDB"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1080\/01445349308837208","volume":"14","author":"J. Dawson","year":"1993","unstructured":"Dawson, J.: The compactness of first-order logic: From G\u00f6del to Lindstr\u00f6m. History and Philosophy of Logic\u00a014(1), 15\u201337 (1993)","journal-title":"History and Philosophy of Logic"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Decker, H.: The Range Form of Databases and Queries or: How to Avoid Floundering. In: Proc. 5th \u00d6GAI. Informatik-Fachberichte, vol.\u00a0208, pp. 114\u2013123. Springer (1989)","DOI":"10.1007\/978-3-642-74688-8_13"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-53507-1_94","volume-title":"ICDT \u201990","author":"H. Decker","year":"1990","unstructured":"Decker, H.: Drawing Updates From Derivations. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol.\u00a0470, pp. 437\u2013451. Springer, Heidelberg (1990)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-540-85654-2_11","volume-title":"Database and Expert Systems Applications","author":"H. Decker","year":"2008","unstructured":"Decker, H.: Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. In: Bhowmick, S.S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol.\u00a05181, pp. 89\u201396. Springer, Heidelberg (2008)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-642-23441-5_4","volume-title":"SDKB 2011","author":"H. Decker","year":"2011","unstructured":"Decker, H.: Answers That Have Integrity. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2010. LNCS, vol.\u00a06834, pp. 54\u201372. Springer, Heidelberg (2011)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-21934-4_24","volume-title":"Computational Science and Its Applications - ICCSA 2011","author":"H. Decker","year":"2011","unstructured":"Decker, H.: Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2011, Part V. LNCS, vol.\u00a06786, pp. 283\u2013292. Springer, Heidelberg (2011)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/978-3-642-23863-5_56","volume-title":"Knowlege-Based and Intelligent Information and Engineering Systems","author":"H. Decker","year":"2011","unstructured":"Decker, H.: Inconsistency-tolerant Integrity Checking based on Inconsistency Metrics. In: K\u00f6nig, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part II. LNCS, vol.\u00a06882, pp. 548\u2013558. Springer, Heidelberg (2011)"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-23737-9_28","volume-title":"Advances in Databases and Information Systems","author":"H. Decker","year":"2011","unstructured":"Decker, H.: Partial Repairs that Tolerate Inconsistency. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol.\u00a06909, pp. 389\u2013400. Springer, Heidelberg (2011)"},{"key":"7_CR24","unstructured":"Decker, H.: Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases. In: Roth-Berghofer, T., Tintarev, N., Leake, D. (eds.) Explanation-aware Computing, Proc. IJCAI 2011 Workshop ExaCt 2011, pp. 71\u201380 (2011), http:\/\/exact2011.workshop.hm\/index.php"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Decker, H., Martinenghi, D.: Classifying integrity checking methods with regard to inconsistency tolerance. In: Proc. PPDP 2008, pp. 195\u2013204. ACM Press (2008)","DOI":"10.1145\/1389449.1389474"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-04947-7_26","volume-title":"Advances in Conceptual Modeling - Challenging Perspectives","author":"H. Decker","year":"2009","unstructured":"Decker, H., Martinenghi, D.: Modeling, Measuring and Monitoring the Quality of Information. In: Heuser, C.A., Pernul, G. (eds.) ER 2009. LNCS, vol.\u00a05833, pp. 212\u2013221. Springer, Heidelberg (2009)"},{"issue":"2","key":"7_CR27","first-page":"218","volume":"23","author":"H. Decker","year":"2011","unstructured":"Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. IEEE TKDE\u00a023(2), 218\u2013234 (2011)","journal-title":"IEEE TKDE"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-16961-8_48","volume-title":"On the Move to Meaningful Internet Systems: OTM 2010 Workshops","author":"H. Decker","year":"2010","unstructured":"Decker, H., Mu\u00f1oz-Esco\u00ed, F.D.: Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010 Workshops. LNCS, vol.\u00a06428, pp. 297\u2013306. Springer, Heidelberg (2010)"},{"issue":"2","key":"7_CR29","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P. Dung","year":"2006","unstructured":"Dung, P., Kowalski, R., Toni, F.: Dialectic Proof Procedures for Assumption-based Admissible Argumentation. Artificial Intelligence\u00a0170(2), 114\u2013159 (2006)","journal-title":"Artificial Intelligence"},{"key":"7_CR30","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite Model Theory, 2nd edn. Springer (2006)"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1016\/S0306-4379(01)00044-8","volume":"26","author":"S. Embury","year":"2001","unstructured":"Embury, S., Brandt, S., Robinson, J., Sutherland, I., Bisby, F., Gray, A., Jones, A., White, R.: Adapting integrity enforcement techniques for data reconciliation. Information Systems\u00a026, 657\u2013689 (2001)","journal-title":"Information Systems"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Enderton, H.: A Mathematical Introduction to Logic, 2nd edn. Academic Press (2001)","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"issue":"2","key":"7_CR33","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1366102.1366107","volume":"33","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Fink, M., Greco, G., Lembo, D.: Repair localization for query answering from inconsistent databases. ACM TODS 33(2), article 10 (2008)","journal-title":"ACM TODS"},{"issue":"2-4","key":"7_CR34","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s10472-008-9088-3","volume":"51","author":"F. Furfaro","year":"2007","unstructured":"Furfaro, F., Greco, S., Molinaro, C.: A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell.\u00a051(2-4), 167\u2013193 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR35","unstructured":"Grant, J., Hunter, A.: Measuring the Good and the Bad in Inconsistent Information. In: Proc. 22nd IJCAI, pp. 2632\u20132637 (2011)"},{"issue":"6","key":"7_CR36","first-page":"1389","volume":"15","author":"G. Greco","year":"2003","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logical framework for querying and repairing inconsistent databases. IEEE TKDE\u00a015(6), 1389\u20131408 (2003)","journal-title":"IEEE TKDE"},{"issue":"1","key":"7_CR37","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"Guessoum, A., Lloyd, J.: Updating knowledge bases. New Generation Computing\u00a08(1), 71\u201389 (1990)","journal-title":"New Generation Computing"},{"issue":"1","key":"7_CR38","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"Guessoum, A., Lloyd, J.: Updating knowledge bases II. New Generation Computing\u00a010(1), 73\u2013100 (1991)","journal-title":"New Generation Computing"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: Proc. PODS 1994, pp. 45\u201355. ACM Press (1994)","DOI":"10.1145\/182591.182597"},{"key":"7_CR40","unstructured":"Hunter, A.: Measuring Inconsistency in Knowledge via Quasi-Classical Models. In: Proc. 18th AAAI &14th IAAI, pp. 68\u201373 (2002)"},{"key":"7_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-30597-2_7","volume-title":"Inconsistency Tolerance","author":"A. Hunter","year":"2005","unstructured":"Hunter, A., Konieczny, S.: Approaches to Measuring Inconsistent Information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol.\u00a03300, pp. 191\u2013236. Springer, Heidelberg (2005)"},{"key":"7_CR42","unstructured":"Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning (Proc. 11th KR), pp. 358\u2013366. AAAI Press (2008)"},{"key":"7_CR43","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1016\/j.artint.2010.06.001","volume":"174","author":"A. Hunter","year":"2010","unstructured":"Hunter, A., Konieczny, S.: On the measure of conflicts: Shapley Inconsistency Values. Artificial Intelligence\u00a0174, 1007\u20131026 (2010)","journal-title":"Artificial Intelligence"},{"key":"7_CR44","unstructured":"Kakas, A., Mancarella, P.: Database updates through abduction. In: Proc. 16th VLDB, pp. 650\u2013661. Morgan Kaufmann (1990)"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Kakas, A., Kowalski, R., Toni, F.: The role of Abduction in Logic Programming. In: Gabbay, D., Hogger, C., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press (1998)","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"7_CR46","unstructured":"Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: Proc. VLDB 1996, pp. 495\u2013505. Morgan Kaufmann (1996)"},{"issue":"2,3","key":"7_CR47","first-page":"153","volume":"3","author":"K. Lehrer","year":"1973","unstructured":"Lehrer, K.: Relevant Deduction and Minimally Inconsistent Sets. Journal of Philosophy\u00a03(2,3), 153\u2013165 (1973)","journal-title":"Journal of Philosophy"},{"issue":"7","key":"7_CR48","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1016\/j.ijar.2011.04.001","volume":"52","author":"K. Mu","year":"2011","unstructured":"Mu, K., Liu, W., Jin, Z., Bell, D.: A Syntax-based Approach to Measuring the Degree of Inconsistency for Belief Bases. J. Approx. Reasoning\u00a052(7), 978\u2013999 (2011)","journal-title":"J. Approx. Reasoning"},{"issue":"4","key":"7_CR49","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J., Sonenberg, L., Topor, R.: Integrity constraint checking in stratified databases. J. Logic Programming\u00a04(4), 331\u2013343 (1987)","journal-title":"J. Logic Programming"},{"issue":"1","key":"7_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00881841","volume":"12","author":"E. Lozinskii","year":"1994","unstructured":"Lozinskii, E.: Resolving contradictions: A plausible semantics for inconsistent systems. J. Automated Reasoning\u00a012(1), 1\u201331 (1994)","journal-title":"J. Automated Reasoning"},{"issue":"6","key":"7_CR51","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1093\/logcom\/exq053","volume":"21","author":"Y. Ma","year":"2011","unstructured":"Ma, Y., Qi, G., Hitzler, P.: Computing inconsistency measure based on paraconsistent semantics. J. Logic Computation\u00a021(6), 1257\u20131281 (2011)","journal-title":"J. Logic Computation"},{"key":"7_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/11546924_59","volume-title":"Database and Expert Systems Applications","author":"D. Martinenghi","year":"2005","unstructured":"Martinenghi, D., Christiansen, H.: Transaction Management with Integrity Checking. In: Andersen, K.V., Debenham, J., Wagner, R. (eds.) DEXA 2005. LNCS, vol.\u00a03588, pp. 606\u2013615. Springer, Heidelberg (2005)"},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Martinenghi, D., Christiansen, H., Decker, H.: Integrity Checking and Maintenance in Relational and Deductive Databases and Beyond. In: Ma, Z. (ed.) Intelligent Databases: Technologies and Applications, pp. 238\u2013285. IGI Global (2006)","DOI":"10.4018\/978-1-59904-120-9.ch010"},{"key":"7_CR54","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-75256-1_12","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"M.V. Martinez","year":"2007","unstructured":"Martinez, M.V., Pugliese, A., Simari, G.I., Subrahmanian, V.S., Prade, H.: How Dirty Is Your Relational Database? An Axiomatic Approach. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 103\u2013114. Springer, Heidelberg (2007)"},{"key":"7_CR55","unstructured":"Meyer, J., Wieringa, R. (eds.): Deontic Logic in Computer Science. Wiley (1994)"},{"key":"7_CR56","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":"7_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BFb0014175","volume-title":"Advances in Database Technology EDBT \u201996","author":"D. Plexousakis","year":"1996","unstructured":"Plexousakis, D., Mylopoulos, J.: Accommodating Integrity Constraints During Database Design. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol.\u00a01057, pp. 495\u2013513. Springer, Heidelberg (1996)"},{"issue":"4","key":"7_CR58","first-page":"3","volume":"23","author":"E. Rahm","year":"2000","unstructured":"Rahm, E., Do, H.: Data Cleaning: Problems and Current Approaches. Data Engineering Bulletin\u00a023(4), 3\u201313 (2000)","journal-title":"Data Engineering Bulletin"},{"key":"7_CR59","doi-asserted-by":"crossref","unstructured":"Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313\u2013362. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"key":"7_CR60","unstructured":"Thimm, M.: Measuring Inconsistency in Probabilistic Knowledge Bases. In: Proc. 25th UAI, pp. 530\u2013537. AUAI Press (2009)"},{"key":"7_CR61","doi-asserted-by":"crossref","unstructured":"Vardi, M.: On the integrity of databases with incomplete information. In: Proc. 5th PODS, pp. 252\u2013266. ACM Press (1986)","DOI":"10.1145\/6012.15419"},{"issue":"3","key":"7_CR62","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1145\/1093382.1093385","volume":"30","author":"J. Wijsen","year":"2005","unstructured":"Wijsen, J.: Database repairing using updates. ACM Trans. Database Syst.\u00a030(3), 722\u2013768 (2005)","journal-title":"ACM Trans. Database Syst."}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36008-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,4]],"date-time":"2022-02-04T23:39:06Z","timestamp":1644017946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36008-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360077","9783642360084"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36008-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}