Abstract
The view update problem is concerned with indirectly modifying those tuples that satisfy a view (or derived table) by an appropriate update against the corresponding base tables. The notion of a deduction tree is defined, and the relationship between such trees and the view update problem for indefinite deductive databases is considered. It is shown that a traversal of an appropriate deduction tree yields sufficient information to perform view updates at the propositional level. To obtain a similar result at the first order level, it is necessary (for theoretical and computational reasons) to impose some weak stratification and definiteness constraints on the database.
Similar content being viewed by others
References
Abiteboul, S. and Grahne, G.: Update semantics for incomplete databases, in Proc 11th VLDB, 1985, pp. 1–12.
Abiteboul, S.: Updates, a new frontier, in Proc. ICDT ’88, Bruges, Springer LNCS vol. 326, Springer, Berlin, 1988, pp. 1–18.
Abiteboul, S., Cluet, S. and Milo, T.: Querying and updating the file, in Proc. 19th VLDB, 1993, pp. 73–84.
Atzeni, P. and Torlone, R.: Solving ambiguities in updating deductive databases, in Mathematical Foundations of Database Systems, Lecture Notes in Computer Science, Vol. 495, Springer, Berlin, 1991, pp. 104–118.
Atzeni, P. and Torlone, R.: Updating intensional predicates in datalog, Data and Knowledge Engineering 8(1992), 1–17.
Bancilhon, F. and Spyratos, N.: Update semantics of relational views, ACM Transactions on Database Systems 6(1981), 557–575.
Bry, F.: Intensional updates: abduction via deduction, in Proc. 7th Int. Conf. on Logic Programming, 1990, pp. 561–578.
Dayal, U. and Bernstein, P.: On the correct translation of update operations on relational view, ACM Transactions on Database Systems 8(1982), 382–416.
Decker, H.: Drawing updates from derivations, in S. Abiteboul and P. C. Kanellakis (eds), Proc. 3rd Int. Conf. on Database Theory, Paris, Lecture Notes in Computer Science, Vol. 470, Springer, Berlin, 1990, pp. 437–451.
Fagin, R., Ullman, J. and Vardi, M.: On the semantics of updates in databases, in Proc. 2nd ACM Symposium on the Principles of Database Systems, 1983, pp. 352–365.
Gallaire, H., Minker, J. and Nicolas, J. M.: Logic and databases: A deductive approach, ACM Computing Surveys 16(1984), 153–185.
Gottlob, G., Paolini, P. and Zicari, R.: Properties and update semantics of consistent views, ACM Transations of Database Systems 13(1988), 486–524.
Grant, J. and Minker, J.: Answering queries in indefinite databases and the null value problem, Advances in Computing Research 3(1986), 247–267.
Grant, J., Horty, J., Lobo, J. and Minker, J.: View updates in stratified disjunctive databases, J. Automated Reasoning 11(1993), 249–267.
Henschen, L. J. and Park, H.: Compiling the GCWA in indefinite databases, in J. Minker (ed.), Foundations of Deductive Databases, Morgan Kaufmann, Washington, 1988, pp. 395–438.
Johnson, C. A.: Top down deduction in indefinite deductive databases, in F. Bry (ed.), Proc. 1993 Journées Bases de Donnùes Avancùes, Toulouse, INRIA, France, pp. 119–138.
Johnson, C. A.: Conjunctive answers, view updates and perfect models, in preparation.
Kakas, A. and Mancarella, P.: Database updates through abduction, in Proc. 16th VLDB, 1990, pp. 650–661.
Keller, A.: Choosing a view update translator by dialog at view definition time, in Proc. 12th VLDB, 1986, pp. 467–474.
Keller, A., Barsalou, T., Siambela, N. and Wiederhold, G.: Updating relational databases through object-based views, in Proc. ACM SIGMOD ’91, 1991, pp. 248–257.
Kramer, M., Lausen, G. and Saake, G.: Updates in a rule-based language for objects, in Proc. 18th VLDB, Vancouver, 1992, pp. 251–262.
Lobo, J., Minker, J. and Rajasekar, A.: Foundations of Disjunctive Logic Programming, MIT Press, Cambridge, Massachusetts, 1992.
Manchanda, S. and Warren, D.: A logic based language for database udpates, in J. Minker (ed.), Foundations of Deductive Databases, Morgan Kaufmann, Washington, 1988, pp. 363–394.
Rajasekar, A.: Semantics for Disjunctive Logic Programs, PhD thesis, University of Maryland, 1989.
Rossi, F. and Naqvi, S.: Contributions to the view update problem, in Proc. 6th Int. Conf. on Logic Programming, 1989, pp. 398–415.
Scholl, M., Laasch, C. and Tresch, M.: Updatable views in object oriented database systems, in Proc. 2nd Int. Conf. on Deductive and Object Oriented Databases, Munich, Lecture Notes in Computer Science, Vol. 566, Springer, Berlin, 1991, pp. 189–207.
Tomasic, A.: View update annotation in definite deductive databases, in Proc. ICDT ’88, 1988, pp. 338–352.
Winslett, M.: Updating Logical Databases, Cambridge Tracts in Theoretical Computer Science, Vol. 9, Cambridge University Press, 1990.
Yahya, A. and Henschen, L. J.: Deduction in non-Horn databases, J. Automated Reasoning 1 (1985), 141–160.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Johnson, C.A. Deduction Trees and the View Update Problem in Indefinite Deductive Databases. Journal of Automated Reasoning 19, 31–85 (1997). https://doi.org/10.1023/A:1005779507994
Issue Date:
DOI: https://doi.org/10.1023/A:1005779507994