Abstract
The view update problem is considered in the context of deductive databases where the update of an intensional predicate is accomplished by modifying appropriately the underlying relations in the extensional database. Two classes of disjunctive databases are considered. The first class contains those disjunctive databases which allow only definite rules in the intensional database and disjunctive facts in the extensional database. The second class contains stratified disjunctive databases so that in addition to the first class, negation is allowed in the bodies of the rules, but the database must be stratified. Algorithms are given both for the insertion of an intensional predicate into and the deletion of an intensional predicate from the database. The algorithms use SLD resolution and the concept of minimal models of the extensional database. The algorithms are proved to be correct and best according to the criterion of causing minimal change to the database, where we give first priority to minimizing deletions.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Apt, K. R., Blair, H. A. and Walker, A., ‘Towards a theory of declarative knowledge’, inFoundations of Deductive Databases and Logic Programming, (ed. J. Minker), Morgan Kaufmann, pp. 89–148 (1987).
Fagin, R., Ullman, J. and Vardi, M., ‘On the semantics of updates in databases’, inProceedings of the Second ACM Symposium on the Principles of Database Systems pp. 352–365 (1983).
Fernandez, J. and Minker, J., ‘Bottom up evaluation of disjunctive deductive databases’, Submitted.
Guessoum, A. and Lloyd, J., ‘Updating knowledge bases’,New Generation Computing 8 71–89 (1990).
Guessoum, A. and Lloyd, J., ‘Updating knowledge bases II’,New Generation Computing 10 73–100 (1991).
Minker, J., ‘On indefinite databases and the closed world assumption’, inLecture Notes in Computer Sciences, Vol. 138, Springer Verlag, pp. 292–308 (1982).
Reiter, R., ‘On closed world data bases’, inLogic and Data Bases, (eds. H. Gallaire and J. Minker), Plenum, pp. 119–140 (1978).
Rossi, F. and Naqvi, S., ‘Contributions to the view update problem’, InProceeding of the Sixth International Conference on Logic Programming, pp. 398–415 (1989).
Author information
Authors and Affiliations
Additional information
Research supported by the National Science Foundation under grant numbers IRI-8916059, IRI-8921591, IRI-9200898, and IRI-9210220.
Rights and permissions
About this article
Cite this article
Grant, J., Horty, J., Lobo, J. et al. View updates in stratified disjunctive databases. J Autom Reasoning 11, 249–267 (1993). https://doi.org/10.1007/BF00881907
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00881907