Inconsistency-tolerant knowledge assimilation

ICSOFT 2007 - 2nd International Conference on Software and Data Technologies, Proceedings

Volumn PL, Issue DPS/KE//-, 2007, Pages 198-205

  Decker, Hendrik ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Databases; Inconsistency tolerance; Integrity maintenance; Knowledge assimilation; Repair; View updating

Indexed keywords

DATABASES; INCONSISTENCY TOLERANCE; INTEGRITY MAINTENANCE; KNOWLEDGE ASSIMILATION; VIEW UPDATING;

COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; QUALITY ASSURANCE;

REPAIR;

EID: 57549107898     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Arenas, M., Bertossi, and Chomicki, J. (1999). Consistent Query Answers in Inconsistent Databases. Proc. 18th PODS, 68-79. ACM Press.
2. Bertossi, L., Hunter, A. and Schaub, T. (2005). Inconsistency Tolerance. Springer LNCS vol. 3300.
3. Christiansen, H. and Martinenghi, D. (2006). On Simplification of Database Integrity Constraints. Fundam. Inform. 71(4):371-417.
4. Decker, H. (1987). Integrity enforcement on deductive databases. Proc. EDS'86, 381-395. Ben-jamin/Cummings.
5. Decker , H. (1990). Drawing Updates From Derivations. Proc. 3rd ICDT, 437-451. Springer LNCS vol. 470.
6. Decker, H. (1998). Some Notes on Knowledge Assimilation in Deductive Databases. Transactions and Change in Logic Databases, 249-286. Springer LNCS vol. 1472.
7. Decker, H. and Martinenghi, D. (2006a). Checking Violation Tolerance of Approaches to Database Integrity. Proc. 4thADVIS, 139-148. Springer LNCS vol. 4243.
8. Decker, H. and Martinenghi, D. (2006b). A Relaxed Approach to Integrity and Inconsistency in Databases. Proc. 13th LPAR, 287-301. Springer LNCS vol. 4246.
9. Decker, H. and Martinenghi, D. (2007). Getting Rid of Straitjackets for Flexible Integrity Checking. To appear in Proc. DEXA'07 Workshop FlexDBIST-07.
10. Decker, H., Teniente, E. and Urpi, T. (1996). How to Tackle Schema Validation by View Updating. Proc. 5th EDBT, 535-549. Springer LNCS vol. 1057.
11. Dung, P. M., Kowalski, R. A. and Toni, F. (2006). Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2): 114-159.
12. Guessoum, A. and Lloyd, J. (1990a) Updating Knowledge Bases. New Generation Comput. 8(l):71-89.
13. Guessoum, A. and Lloyd, J. (1990b) Updating Knowledge Bases II. New Generation Comput. 10(l):73-100.
14. Gupta, A., Sagiv, Y., Ullman, J. and Widom, J (1994). Constraint checking with partial information. Proc. 13th PODS, 45-55. ACM Press.
15. Kakas, A. and Mancarella, P. (1990a). Database Updates through Abduction. Proc. 16th VLDB, 650-661, Morgan Kaufmann.
16. Kakas, A. and Mancarella, P. (1990b). Knowledge Assimilation and Abduction. Truth Maintenance Systems, 54-70. Springer LNCS vol. 515.
17. Kakas, A., Kowalski, R. A. and Toni, F. (1998). The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming, 235-324. Oxford University Press.
18. Kowalski, R. A. (1979). Logic for Problem Solving. North-Holland, 1979.
19. Lee, S. Y. and Ling, T. W. (1996) Further improvements on integrity constraint checking for stratifiable deductive databases. Proc. 22nd VLDB, 495-505. Morgan Kaufmann.
20. Lloyd, J., Sonenberg, L. and Topor, R. (1987). Integrity constraint checking in stratified databases. J. Logic Progr. 4(4):331-343.
21. Lopatenko, A. and Bertossi, L. (2007). Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics. Proc. llthlCDT, 179-193. Springer LNCS vol. 4353.
22. Martinenghi, D., Christiansen, H. and Decker, H. (2006). Integrity Checking and Maintenance in Relational and Deductive Databases and Beyond. In Zongmin Ma (ed): Intelligent Databases: Technologies and Applications, 238-285. Idea Group, 2006.
23. Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A. and Yokota, H. (1984). A Knowledge Assimilation Method for Logic Databases. New Generation Comput. 2(4):385-404.
24. Nicolas, J. M. (1982). Logic for improving integrity checking in relational data bases. Ada Informatica 18:227-253.
25. Sadri, F. and Kowalski, R. A. (1988) A theorem-proving approach to database integrity. Foundations of Deductive Databases and Logic Programming, 313-362. Morgan Kaufmann.