{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T16:10:24Z","timestamp":1736611824727,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482819"},{"type":"electronic","value":"9783540482826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11916277_20","type":"book-chapter","created":{"date-parts":[[2006,10,17]],"date-time":"2006-10-17T18:32:59Z","timestamp":1161109979000},"page":"287-301","source":"Crossref","is-referenced-by-count":11,"title":["A Relaxed Approach to Integrity and Inconsistency in Databases"],"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":[{"key":"20_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases (1995)"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/303976.303983","volume-title":"Proceedings of PODS","author":"M. Arenas","year":"1999","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of PODS, pp. 68\u201379. ACM Press, New York (1999)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E., Chomicki, J.: Query answering in inconsistent databases. In: Logics for Emerging Applications of Databases, pp. 43\u201383 (2003)","DOI":"10.1007\/978-3-642-18690-5_2"},{"key":"20_CR4","first-page":"566","volume-title":"Proceedings of VLDB 1990","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Widom, J.: Deriving production rules for constraint maintainance. In: Proceedings of VLDB 1990, pp. 566\u2013577. Morgan Kaufmann, San Francisco (1990)"},{"key":"20_CR5","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"Chang, C.L., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/11591191_49","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"H. Christiansen","year":"2005","unstructured":"Christiansen, H., Martinenghi, D.: Incremental integrity checking: Limitations and possibilities. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, vol.\u00a03835, pp. 712\u2013727. Springer, Heidelberg (2005)"},{"issue":"4","key":"20_CR7","doi-asserted-by":"crossref","first-page":"371","DOI":"10.3233\/FUN-2006-71402","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":"20_CR8","unstructured":"Decker, H.: Integrity enforcement on deductive databases. In: Proceedings of EDS 1986, pp. 381\u2013395. Benjamin\/Cummings (1987)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Decker, H.: Translating advanced integrity checking technology to SQL. In: Database integrity: Challenges and solutions, pp. 203\u2013249. Idea Group (2002)","DOI":"10.4018\/978-1-930708-38-9.ch007"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/344788.344808","volume":"29","author":"G. Dong","year":"2000","unstructured":"Dong, G., Su, J.: Incremental Maintenance of Recursive Views Using Relational Calculus\/SQL. SIGMOD Record\u00a029(1), 44\u201351 (2000)","journal-title":"SIGMOD Record"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems (in press)","DOI":"10.1007\/s10844-006-2974-4"},{"key":"20_CR12","first-page":"1","volume-title":"Knowledge Engineering Vol II, Applications","author":"J. Grant","year":"1990","unstructured":"Grant, J., Minker, J.: Integrity constraints in knowledge based systems. In: Knowledge Engineering Vol II, Applications, pp. 1\u201325. McGraw-Hill, New York (1990)"},{"volume-title":"Materialized views: Techniques, implementations, and applications","year":"1999","key":"20_CR13","unstructured":"Gupta, A., Mumick, I.S. (eds.): Materialized views: Techniques, implementations, and applications. MIT Press, Cambridge (1999)"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/182591.182597","volume-title":"Proceedings of PODS 1994","author":"A. Gupta","year":"1994","unstructured":"Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint checking with partial information. In: Proceedings of PODS 1994, pp. 45\u201355. ACM Press, New York (1994)"},{"key":"20_CR15","first-page":"145","volume-title":"Advances In Database Theory","author":"L. Henschen","year":"1984","unstructured":"Henschen, L., McCune, W., Naqvi, S.: Compiling constraint-checking programs from first-order formulas. In: Advances In Database Theory, vol.\u00a02, pp. 145\u2013169. Plenum Press, New York (1984)"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/318898.318914","volume-title":"Proceedings of SIGMOD 1985","author":"A. Hsu","year":"1985","unstructured":"Hsu, A., Imielinski, T.: Integrity checking for multiple updates. In: Navathe, S.B. (ed.) Proceedings of SIGMOD 1985, pp. 152\u2013168. ACM Press, New York (1985)"},{"key":"20_CR17","first-page":"61","volume-title":"Proceedings of VLDB 1987","author":"R.A. Kowalski","year":"1987","unstructured":"Kowalski, R.A., Sadri, F., Soper, P.: Integrity checking in deductive databases. In: Proceedings of VLDB 1987, pp. 61\u201369. Morgan Kaufmann, San Francisco (1987)"},{"key":"20_CR18","first-page":"495","volume-title":"VLDB 1996","author":"S.Y. Lee","year":"1996","unstructured":"Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: VLDB 1996, pp. 495\u2013505. Morgan Kaufmann, San Francisco (1996)"},{"issue":"2","key":"20_CR19","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0743-1066(97)10012-7","volume":"36","author":"M. Leuschel","year":"1998","unstructured":"Leuschel, M., de Schreye, D.: Creating specialised integrity checks through partial evaluation of meta-interpreters. JLP\u00a036(2), 149\u2013193 (1998)","journal-title":"JLP"},{"issue":"4","key":"20_CR20","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. JLP\u00a04(4), 331\u2013343 (1987)","journal-title":"JLP"},{"key":"20_CR21","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, ch.\u00a0X, page to appear. Idea Group Publishing (2006)","DOI":"10.4018\/978-1-59904-120-9.ch010"},{"key":"20_CR22","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":"20_CR23","first-page":"513","volume-title":"Proceedings of VLDB 1991","author":"A. Oliv\u00e9","year":"1991","unstructured":"Oliv\u00e9, A.: Integrity constraints checking in deductive databases. In: Proceedings of VLDB 1991, pp. 513\u2013523. Morgan Kaufmann, San Francisco (1991)"},{"key":"20_CR24","first-page":"338","volume-title":"ICDE 1988","author":"X. Qian","year":"1988","unstructured":"Qian, X.: An effective method for integrity constraint simplification. In: ICDE 1988, pp. 338\u2013345. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"20_CR25","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 theorem-proving approach to database integrity. In: Foundations of Deductive Databases and Logic Programming, pp. 313\u2013362. Kaufmann, Los Altos (1988)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11916277_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T15:41:59Z","timestamp":1736610119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11916277_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482819","9783540482826"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11916277_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}