On the abductive or deductive nature of database schema validation and update processing problems

Theory and Practice of Logic Programming

Volumn 3, Issue 3, 2003, Pages 287-327

  Teniente, Ernest ^a   Urpí, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Abduction; Database updating; Database validation; Deduction

Indexed keywords

ABDUCTION; DATABASE UPDATING;

CONDITION MONITORING; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROBLEM SOLVING; QUERY LANGUAGES;

DATABASE SYSTEMS;

EID: 0042293426     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068402001631     Document Type: Article

References (45)

1. Abiteboul, S. (1988) Updates, a new frontier. In: Gyssens, M., Paredaens, J. and Gucht, D. V. (eds.), ICDT'88, 2nd International Conference on Database Theory: Lecture Notes in Computer Science 326, pp. 1-18. Bruges, Belgium. Springer-Verlag.
2. Abiteboul, S., Hull, R. and Vianu, V. (1995) Foundations of Databases. Addison-Wesley.
3. Adrion, W. R., Branstad, M. A. and Cherniavsky, J. C. (1982) Verification, validation, and testing of computer software. ACM Computing Surveys, 14(2), 159-192.
4. Baralis, E., Ceri, S. and Paraboschi, S. (1998) Compile-time and runtime analysis of active behaviors. Transactions of Knowledge and Data Engineering, 10(3), 353-370.
5. Bry, F. (1990) Intensional updates: Abduction via deduction. In: Warren, D. H. D. and Szeredi, P. (eds.), Proceedings Seventh International Conference on Logic Programming, pp. 561-575. Jerusalem, Israel. The MIT Press.
6. Bry, F. and Manthey, R. (1986) Checking consistency of database constraints: a logical basis. In: Chu, W. W., Gardarin, G., Ohsuga, S. and Kambayashi, Y. (eds.), Twelfth International Conference on Very Large Data Bases, pp. 13-20. Kyoto, Japan. Morgan Kaufmann.
7. Bry, F., Decker, H. and Manthey, R. (1988) A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. In: Schmidt, M. M. J. W. and Ceri, S. (eds.), Proceedings International Conference on Extending Database Technology (EDBT '88): Lecture Notes in Computer Science 303, pp. 488-505. Venice, Italy. Springer-Verlag.
8. Bry, F., Eisinger, N., Schütz, H. and Torge, S. (1998) Sic: Satisfiability checking for integrity constraints. In: Fraternali, P., Geske, U., Ruiza, C. and Seipel, D. (eds.), 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98), pp. 25-36.
9. Ceri, S., Fraternali, P., Paraboschi, S. and Tanca, L. (1994) Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3), 367-422.
10. Console, L., Sapino, M. L. and Dupré, D. T. (1995) The role of abduction in database view updating. Journal Intelligent Information Systems, 4(3), 261-280.
11. Decker, H. (1996) An extension of SLD by abduction and integrity maintenance for view updating in deductive databases. In: Maher, M. (ed.), Proceedings Joint International Conference and Symposium on Logic Programming, pp. 157-169. MIT Press.
12. Decker, H., Teniente, E. and Urpí, T. (1996) How to tackle schema validation by view updating, Proceedings of the International Conference on Extending Database Technology (EDBT'96): Lecture Notes in Computer Science 1057, pp. 535-549. Avignon, France. Springer-Verlag.
13. Denecker, M. and De Schreye, D. D. (1998) SLDNFA: An abductive procedure for abductive logic programs. Journal of Logic Programming, 34(2), 111-167.
14. García, C., Celma, M., Mota, L. and Decker, H. (1994) Comparing and synthesizing integrity checking methods for deductive databases. In: Elmagarmid, A. K. and Neuhold, E. (eds.), Proceedings 10th International Conference on Data Engineering, pp. 214-222. IEEE Press.
15. Grant, J. and Minker, J. (1992) The impact of logic programming on databases. Communications of the ACM, 35(3), 66-81.
16. Guessoum, A. and Lloyd, J. W. (1990) Updating knowledge bases. New Generation Computing, 71-89.
17. Gupta, A. and Mumick, I. S. (1995) Maintenance of materialized views: Problems, techniques and applications. IEEE Quarterly Bulletin on Data Engineering, Special Issue on Materialized Views and Data Warehousing, 18(2), 3-18.
18. Hanson, E. N., Chaabouni, M., Kim, C. and Wang, Y. (1990) A predicate matching algorithm for database rule systems. In: Garcia-Molina, H. and Jagadish, H. V. (eds.), Proceedings ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ. (SIGMOD Record (ACM Special Interest Group on Management of Data), 19(2) 271-280.)
19. Inoue, K. and Sakama, C. (1998) Specifying transactions for extended abduction. In: Cohn, A. G., Schubert, L. and Shapiro, S. C. (eds.), Proceedings 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), pp. 394-405. Morgan Kaufmann.
20. Inoue, K. and Sakama, C. (1999) Computing extended abduction through transaction programs. Annals of Mathematics and Artificial Intelligence, 25(3-4), 339-367.
21. Inoue, K., Koshimura, M. and Hasegawa, R. (1992) Embedding negation as failure into a model generation theorem prover. In: Kapur, D. (ed.), Proceedings 11th International Conference on Automated Deduction (CADE-11): Lecture Notes in Artificial Intelligence 607, pp. 400-415. Saratoga Springs, NY. Springer-Verlag.
22. Kakas, A. C. and Mancarella, P. (1990) Database updates through abduction. In: McLeod, D., Sacks-Davis, R. and Schek, H.-J. (eds.), 16th International Conference on Very Large Data Bases, pp. 650-661. Brisbane, Australia. Morgan Kaufmann.
23. Küchenhoff, V. (1991) On the efficient computation of the difference between consecutive database states. In: Delobel, C., Kifer, M. and Masunaga, Y. (eds.), Proceedings Deductive and Object-Oriented Databases (DOOD'91): Lecture Notes in Computer Science 566, pp. 478-502. Berlin, Germany. Springer-Verlag.
24. Lee, S. Y. and Ling, T. W. (1996) Further improvements on integrity constraint checking for stratifiable deductive databases. In: Vijayaraman, T. M., Buchmann, A. P., Mohan, C. and Sarda, N. L. (eds.), VLDB'96, Proceedings 22th International Conference on Very Large Data Bases, pp. 495-505. Mumbai (Bombay), India. Morgan Kaufmann.
25. Levy, A. Y. and Sagiv, Y. (1995) Semantic query optimization in Datalog programs. Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 163-173. San Jose, CA.
26. Lloyd, J. W. (1987) Foundations of Logic Programming, Second Edition. Springer-Verlag.
27. Lloyd, J. W. and Topor, R. W. (1984) Making PROLOG more expressive. Journal of Logic Programming, 1(3), 225-40.
28. Lobo, J. and Trajcevski, G. (1997) Minimal and consistent evolution in knowledge bases, Journal of Applied Non-Classical Logics, 7(1-2), 117-146.
29. Mayol, E. and Teniente, E. (1999) A survey of current methods for integrity constraint maintenance and view updating. First International Workshop on Evolution and Change in Data Management ECDM99, pp. 62-73.
30. Moerkotte, G. and Lockemann, P. C. (1991) Reactive consistency control in deductive databases. ACM Transactions on Database Systems, 16(4), 670-702.
31. Olivé, A. (1991) Integrity constraints checking in deductive databases. In: Lohman, G. M., Sernadas, A. and Camps, R. (eds.), 17th International Conference on Very Large Data Bases, pp. 513-523. Barcelona, Catalonia. Morgan Kaufmann.
32. Qian, X. and Widerhold, G. (1991) Incremental recomputation of active relational expressions. Transactions on Knowledge and Data Engineering, 3(3), 337-341.
33. Rosenthal, A., Chakravarthy, S., Blaustein, B. T. and Blakeley, J. A. (1989) Situation monitoring for active databases. In: Apers, M. G. and Wiederhold, G. (eds.), Very Large Data Bases: Proceedings 15th International Conference on Very Large Data Bases, pp. 455-464. Amsterdam, The Netherlands. Morgan Kaufmann.
34. Roussopoulos, N. (1998) Materialized views and data warehouses. SIGMOD Record (ACM Special Interest Group on Management of Data), 27(1), 21-26.
35. Sadri, F. and Kowalski, R. A. (1988) A theorem proving approach to database integrity. In: Minker, J. (ed.), Foundations of Deductive Databases and Logic Programming, pp. 313-362. Morgan Kaufmann.
36. Schewe, K. D. and Thalheim, B. (1994) Achieving consistency in active databases. Proceedings 4th International Workshop on Research Issues in Data Engineering - Active Database Systems, pp. 71-76.
37. Staudt, M. and Jarke, M. (1996) Incremental maintenance of externally materialized views. In: Vijayaraman, T. M., Buchmann, A. P., Mohan, C. and Sarda, N. L. (eds.), Proceedings 22nd International Conference on Very Large Data Bases, Mumbai (Bombay), pp. 75-86. India. Morgan Kaufmann.
38. Teniente, E. (2000) Deductive databases. In: Piattini, M. and Diaz, O. (eds,), Advanced Database Technology and Design, pp. 91-136. Artech House.
39. Teniente, E. and Olivé, A. (1995) Updating knowledge bases while maintaining their consistency. The VLDB Journal, 4(2), 193-241.
40. Teniente, E. and Urpí, T. (1995) A common framework for classifying and specifying deductive database updating problems. In: Yu, P. S. and Chen, A. L. P. (eds.), Proceedings 11th International Conference on Data Engineering, pp. 173-183. IEEE Press.
41. Ullman, J. D. (1989) Principles of Database and Knowledge-base Systems. Computer Science Press.
42. Urpí, T. and Olivé, A. (1992) A method for change computation in deductive databases. In: Yuan, L.-Y. (ed.), 18th International Conference on Very Large Data Bases, pp. 225-237. Vancouver, Canada. Morgan Kaufmann.
43. Urpí, T. and Olivé, A. (1994) Semantic change computation optimization in active databases. Proceedings 4th International Workshop on Research Issues in Data Engineering - Active Database Systems, pp. 19-27.
44. Widom, J. and Ceri, S. (1996) Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann.
45. Wüthrich, B. (1993) On updates and inconsistency repairing in knowledge bases. International Conference on Data Engineering, pp. 608-615. IEEE Press.