Updating intensional predicates in deductive databases

Data and Knowledge Engineering

Volumn 26, Issue 1, 1998, Pages 37-70

  Laurent, D ^a,c   Phan Luong, V ^a,b   Spyratos, N ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^b AIX MARSEILLE UNIVERSITY   (France)

^c UNIVERSITÉ DE TOURS   (France)

Author keywords

Deductive database; Update semantics; Well founded semantics

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA STORAGE EQUIPMENT; LOGIC PROGRAMMING; OPTIMIZATION;

DEDUCTIVE DATABASE SYSTEMS;

DATABASE SYSTEMS;

EID: 0041125958     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(97)00028-1     Document Type: Article

References (35)

1. S. Abiteboul, Updates, a new frontier, in Second International Conference on Data Base Theory, ICDT (LNCS 326, Springer-Verlag, 1988).
2. S. Abiteboul, V. Vianu, Transactions and integrity constraints, ACM SIGACT-SIGMOD-SIGART, Symp. on Principles of Database System (1985).
3. S. Abiteboul, V. Vianu, A transaction-based approach to relational database specification, J. of the ACM, 36 (1989).
4. K.R. Apt, H. Blair, A. Walker, Towards a theory of declarative knowledge, in J. Minker (ed.), Foundations of deductive databases and logic programming (Morgan Kaufmann, 1988).
5. P. Atzeni, R. Torlone, Updating databases in the weak instance model, ACM SIGACT-SIGMOD-SIGART, Symp. on Principles of Database Systems (1989).
6. P. Atzeni, R. Torlone, Solving ambiguities in updating deductive databases, MFDBS'91 Int. Conf., Rostock (LNCS 495, Springer-Verlag 1991).
7. F. Bancilhon, R. Ramakrishnan, An amateurs introduction to recursive query processing strategies., in Readings in Database Systems (Morgan-Kaufmann, 1988).
8. F. Bancilhon, N. Spyratos, Update semantics of relational views, ACM Transactions on Database Systems 6(4) (1981).
9. N. Bidoit, Bases de données déductives: Négation et logique des défauts, Ph.D. Dissertation (Université de Paris-Sud, Orsay, 1989) in French.
10. N. Bidoit, Negation in rule-based database languages: A survey, Theoretical Computer Science 78 (1991).
11. N. Bidoit, Bases de Données Déductives, Présentation de Datalog (Armand Colin, 1992) in French.
12. N. Bidoit, C. Froidevaux, Negation by default and unstratifiable logic programs, Theoretical Computer Science, 78 (1991).
13. N. Bidoit, P. Legay, Well: An evaluation procedure for all logic programs, ICDT Intl. Conf. on Database Theory (LNCS 470, Springer-Verlag 1990).
14. F. Bry, H. Decker, R. Manthey, A uniform approach to constraint satisfaction and constraint specification in deductive databases, EDBT Int. Conf. (LNCS 303, Springer-Verlag, 1988).
15. F. Bry, Intensional updates: Abduction via deduction, Intl. Symposium on Logic Programming (1990).
16. S. Ceri, G. Gottlob, L. Tanca, Logic programming and databases, Surveys in Computer Science (Springer-Verlag, 1990).
17. e Journées Bases de Données Avancées, Genève (1989) in French.
18. K. Eshghi, R.A. Kowalski, Abduction compared with negation by failure, Intl. Symposium on Logic Programming (1989).
19. R. Fagin, J.D. Ullman, M. Vardi, On the semantics of updates in databases, in Proc. of ACM PODS, Atlanta (1983).
20. G. Grahne, A.O. Mendelzon, P.Z. Revesz, Knowledgebase transformations, in Proc. of ACM PODS, San Diego (1992).
21. M. Halfeld Ferrari Alves, D. Laurent, N. Spyratos, Update rules in datalog programs, LPNMR, Logic Programming and Nonmonotonic Reasoning, Lexington, KY (LNAI 928, Springer-Verlag, 1995).
22. A.C. Kakas, P. Mancarella, Database updates through abduction, 16th Intl. Conf. on Very Large Databases VLDB, Brisbane, Australia (1990).
23. D. Laurent, N. Spyratos, Updating in universal scheme interfaces, IEEE Transactions on Knowledge and Data Engineering 6(2) (1994).
24. D. Laurent, Ch. Vrain, Learning query rules for optimizing databases with update rules, International workshop on Logic in Databases, LID'96, San Miniato, Italy (LNCS 1154, Springer-Verlag, 1996).
25. D. Laurent, V. Phan Luong, N. Spyratos, Deleted tuples are useful when updating through universal scheme interfaces, IEEE International Conference on Data Engineering, Phoenix, AZ (1992).
26. D. Laurent, V. Phan Luong, N. Spyratos, Database updating revisited, DOOD Intl. Conf. on Deductive and Object-Oriented Databases (LNCS 760, Springer-Verlag, 1993).
27. Ch. Lécluse, N. Spyratos, Implementing queries and updates on universal scheme interfaces, VLDB Int. Conf. Los Angeles (1988).
28. D. Maier, J.D. Ullman, M.Y. Vardi, On the foundations of universal relation model, ACM Transactions on Database Systems 9(2) (1984).
29. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980).
30. R. Reiter, On formalizing database updates: preliminary report, EDBT Int. Conf. (LNCS 580, Springer-Verlag, 1992).
31. R. Torlone, P. Atzeni, Updating deductive databases with functional dependencies, DOOD Intl. Conf. on Deductive and Object-Oriented Databases (LNCS 566, Springer-Verlag, 1991).
32. J.D. Ullman, Principles of Databases and Knowledge Base Systems, Vol. I (Computer Science Press, 1989).
33. A. Van Gelder, K.A. Ross, J.S. Schlipf, The well-founded semantics for general logic programs, J. of the ACM 38(3) (1991).
34. C. Vrain, D. Laurent, Apprentissage de régles et bases de données déductives, 11e Journées Bases de Données Avancées (BDA), August 95, Nancy, France, in French.
35. M. Winslett, A model-based approach to updating databases with incomplete information, ACM Transactions on Database Systems 13(2) (1988).