View update translation via deduction and annotation

  • Anthony Tomasic
Dynamic Aspects Of Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 326)


First steps are taken in examining the view update problem in deductive databases. The class of recursive definite deductive databases is examined. A view update is defined as a statement of factual logical consequence of the deductive database. A translation is a minimal update on the facts of a deductive database such that the view update holds. The number of translations for a view update is exponential in the size of the database. Algorithms for view updates are presented and proven correct. They are based on SLD-resolution and are independent of the computation rule. Finally, as an example of a method for reducing the number of possible translations of a view update, rule annotations are introduced. A small number of unique annotations (proportional to the size of the database) is shown to produce unique translations of view updates.


Deductive Database Unit Clause Correct Translation Unique Annotation View Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    F. Bancilhon, N. Spyratos. Update Semantics of Relational Views. ACM TODS 6(4):557–575, 1981.Google Scholar
  2. [2]
    C. R. Carlson, A. K. Arora. The Updatability of Relational Views Based on Functional Dependencies. In Proceedings COMPSAC 79, pages 415–420. 1979. Reprinted in Tutorial: Database Management in the 1980's, J. A. Larson, H. A. Freeman (editors), IEEE Computer Society Press, 1981.Google Scholar
  3. [3]
    S. S. Cosmadakis, C. H. Papadimitriou. Updates of Relational Views. Journal of the ACM 31(4):742–760, 1984.Google Scholar
  4. [4]
    C. J. Date. Relational Database: Selected Writings. Addison-Wesley, Reading, Massachusetts, 1986.Google Scholar
  5. [5]
    J. E. Davidson. Interpreting Natural Languiage Database Updates. PhD thesis, Stanford University, 1984.Google Scholar
  6. [6]
    U. Dayal, P. A. Bernstein. On the Correct Translation of Update Operations on Relational Views. ACM TODS 8(3):381–416, 1982.Google Scholar
  7. [7]
    H. Decker. Integrity Enforcement on Deductive Databases. In Proceedings of the First International Conference on Expert Database Systems. Charleston, South Carolina, 1986.Google Scholar
  8. [8]
    R. Fagin, G. M. Kuper, J. D. Ullman, M. Y. Vardi. Updating Logical Databases. In Advances in Computing Research, pages 1–18. JAI Press, 1986.Google Scholar
  9. [9]
    A. L. Furtado, M. A. Casanova. Updating Relational Views. In W. Kim, D. S. Reiner, D. S. Batory (editors), Query Processing in Database System, pages 127–142. Springer-Verlag, Berlin, 1985.Google Scholar
  10. [10]
    A. L. Furtado, K. C. Sevcik, C. S. Dos Santos. Permitting Updates through Views of Data Bases. Information Systems 4:269–283, 1979.Google Scholar
  11. [11]
    S. J. Hegner. Specification and Implementation of Programs for Updating Incomplete Information Databases. In PODS'87, pages 146–158. 1987. (Preliminary Report).Google Scholar
  12. [12]
    B. E. Jacobs. Application of database logic to the view update problem. Technical Report TR 960, University of Maryland, College Park, 1980.Google Scholar
  13. [13]
    A. M. Keller. Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. In PODS '85, pages 154–163. 1985.Google Scholar
  14. [14]
    A. M. Keller. Choosing a View Update Translator by Dialog at View Definition Time. In Proceedings of VLDB, pages 467–474. Kyoto, 1986.Google Scholar
  15. [15]
    A. M. Keller, J. D. Ullman. On Complementary and Independent Mappings on Databases. In Proceedings of VLDB, pages 143–148. 1984.Google Scholar
  16. [16]
    J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1984.Google Scholar
  17. [17]
    S. Manchanda, D. S. Warren. Towards a Logical Theory of Database View Updates. In J. Minker (editor), Workshop on Foundations of Deductive Databases and Logic Programming, pages 27–52. Washington, D.C., 1986. (preprint).Google Scholar
  18. [18]
    Y. Masunaga. A Relational Database View Update Translation Mechanism. In Proceedings of VLDB, pages 309–320. Singapore, 1984.Google Scholar
  19. [19]
    C. B. Medeiros, F. Wm. Tompa. Understanding the Implications of View Update Policies. Algorithmica 1:337–360, 1986.Google Scholar
  20. [20]
    L. Naish. MU-PROLOG 3.1db Reference Manual Department of Computer Science, University of Melbourne, 1984.Google Scholar
  21. [21]
    L. Naish. Heterogeneous SLD Resolution. Journal of Logic Programming 4:297–303, 1984.MathSciNetGoogle Scholar
  22. [22]
    J.-M. Nicolas, K. Yazdanian. An Outline of BDGEN: a Deductive DBMS. In R. E. A. Mason (editor), Proceedings of IFIP 83, pages 711–717. 1983.Google Scholar
  23. [23]
    B. Ross. View Updates on Deductive Databases. Honours Report, Department of Computer Science, University of Melbourne, 1985.Google Scholar
  24. [24]
    S. Todd. Automatic Constraint Maintenance and Updating Defined Relations. In B. Gilchrist (editor), Proceedings of IFIP 77, pages 145–148. 1977.Google Scholar
  25. [25]
    L. Vieille. Recursive Query Processing: The Power of Logic. Technical Report TR-KB-17, ECRC, 1987. Submitted to Theoretical Computer Science.Google Scholar
  26. [26]
    A. Weber. Updating Propositional Formulas. In Proceedings of the First International Conference on Expert Database Systems, pages 373–386. Charlston, South-Carolina, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Anthony Tomasic
    • 1
  1. 1.European Computer-Industry Research CentreMunich 81West Germany

Personalised recommendations