Abstract
A recently introduced notion of inconsistency tolerance for integrity checking is revisited. Two conditions that facilitate verification or falsification of inconsistency tolerance are discussed. Based on a definition of updates that do not cause integrity violation but may be executed in the presence of inconsistency, this notion is then extended to several knowledge assimilation tasks: integrity maintenance, view updating and repairing of integrity violation. Many knowledge assimilation approaches turn out to be inconsistency-tolerant without needing any knowledge about the status of integrity of the underlying database.
Supported partially by FEDER and the Spanish MEC grant TIN2006-14738-C02-01.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. 18th PODS, pp. 68–79. ACM Press, New York (1999)
Bertossi, L., Hunter, A., Schaub, T.: Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)
Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundam. Inform. 71(4), 371–417 (2006)
Decker, H.: Integrity enforcement on deductive databases. In: Proc. 1st EDS, pp. 381–395. Benjamin/Cummings (1987)
Decker, H.: Drawing updates from derivations. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol. 470, pp. 437–451. Springer, Heidelberg (1990)
Decker, H.: Some notes on knowledge assimilation in deductive databases. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol. 1472, pp. 249–286. Springer, Heidelberg (1998)
Decker, H., Martinenghi, D.: Checking violation tolerance of approaches to database integrity. In: Yakhno, T., Neuhold, E.J. (eds.) ADVIS 2006. LNCS, vol. 4243, pp. 139–148. Springer, Heidelberg (2006)
Decker, H., Martinenghi, D.: A relaxed approach to integrity and inconsistency in databases. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 287–301. Springer, Heidelberg (2006)
Decker, H., Martinenghi, D.: Getting rid of straitjackets for flexible integrity checking. In: Proc. DEXA 2007 Workshop FlexDBIST, pp. 360–364. IEEE Computer Soceity, Los Alamitos (2007)
Decker, H., Teniente, E., Urpí, T.: How to Tackle Schema Validation by View Updating. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol. 1057, pp. 535–549. Springer, Heidelberg (1996)
Dung, P.M., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based admissible argumentation. Artif. Intell. 170(2), 114–159 (2006)
Guessoum, A., Lloyd, J.: Updating knowledge bases. New Generation Computing 8(1), 71–89 (1990)
Guessoum, A., Lloyd, J.: Updating knowledge bases II. New Generation Computing 10(1), 73–100 (1991)
Gupta, A., Sagiv, Y., Ullman, J., Widom, J.: Constraint checking with partial information. In: Proc. 13th PODS, pp. 45–55. ACM Press, New York (1994)
Kakas, A., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)
Kakas, A., Mancarella, P.: Database updates through abduction. In: Proc. 16th VLDB, pp. 650–661. Morgan Kaufmann, San Francisco (1990)
Kakas, A., Mancarella, P.: Knowledge assimilation and abduction. In: Martins, J.P., Reinfrank, M. (eds.) ECAI-WS 1990. LNCS, vol. 515, pp. 54–70. Springer, Heidelberg (1991)
Kowalski, R.A.: Logic for Problem Solving. Elsevier, Amsterdam (1979)
Lee, S.Y., Ling, T.W.: Further improvements on integrity constraint checking for stratifiable deductive databases. In: Proc. 22nd VLDB, pp. 495–505. Morgan Kaufmann, San Francisco (1996)
Lloyd, J.W., Sonenberg, L., Topor, R.W.: Integrity constraint checking in stratified databases. JLP 4(4), 331–343 (1987)
Lopatenko, A., Bertossi, L.: Complexity of consistent query answering in databases under cardinality-based and incremental repair semantics. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 179–193. Springer, Heidelberg (2007)
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–285. Idea Group (2006)
Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A., Yokota, H.: A knowledge assimilation method for logic databases. New Generation Comput. 2(4), 385–404 (1984)
Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)
Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 313–362. Morgan Kaufmann, San Francisco (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Decker, H. (2008). Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation. In: Filipe, J., Shishkov, B., Helfert, M., Maciaszek, L.A. (eds) Software and Data Technologies. ICSOFT ENASE 2007 2007. Communications in Computer and Information Science, vol 22. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88655-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-88655-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88654-9
Online ISBN: 978-3-540-88655-6
eBook Packages: Computer ScienceComputer Science (R0)