Skip to main content
SpringerLink
Log in

View update translation via deduction and annotation

  • Dynamic Aspects Of Databases
  • Conference paper
  • First Online:
ICDT '88 (ICDT 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 326))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Bancilhon, N. Spyratos. Update Semantics of Relational Views. ACM TODS 6(4):557–575, 1981.

    Google Scholar 

  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. S. S. Cosmadakis, C. H. Papadimitriou. Updates of Relational Views. Journal of the ACM 31(4):742–760, 1984.

    Google Scholar 

  4. C. J. Date. Relational Database: Selected Writings. Addison-Wesley, Reading, Massachusetts, 1986.

    Google Scholar 

  5. J. E. Davidson. Interpreting Natural Languiage Database Updates. PhD thesis, Stanford University, 1984.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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. A. M. Keller, J. D. Ullman. On Complementary and Independent Mappings on Databases. In Proceedings of VLDB, pages 143–148. 1984.

    Google Scholar 

  16. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1984.

    Google Scholar 

  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. Y. Masunaga. A Relational Database View Update Translation Mechanism. In Proceedings of VLDB, pages 309–320. Singapore, 1984.

    Google Scholar 

  19. C. B. Medeiros, F. Wm. Tompa. Understanding the Implications of View Update Policies. Algorithmica 1:337–360, 1986.

    Google Scholar 

  20. L. Naish. MU-PROLOG 3.1db Reference Manual Department of Computer Science, University of Melbourne, 1984.

    Google Scholar 

  21. L. Naish. Heterogeneous SLD Resolution. Journal of Logic Programming 4:297–303, 1984.

    MathSciNet  Google Scholar 

  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. B. Ross. View Updates on Deductive Databases. Honours Report, Department of Computer Science, University of Melbourne, 1985.

    Google Scholar 

  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. L. Vieille. Recursive Query Processing: The Power of Logic. Technical Report TR-KB-17, ECRC, 1987. Submitted to Theoretical Computer Science.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. European Computer-Industry Research Centre, Arabellastr. 17, D-8000, Munich 81, West Germany

    Anthony Tomasic

Authors
  1. Anthony Tomasic
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marc Gyssens Jan Paredaens Dirk Van Gucht

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tomasic, A. (1988). View update translation via deduction and annotation. In: Gyssens, M., Paredaens, J., Van Gucht, D. (eds) ICDT '88. ICDT 1988. Lecture Notes in Computer Science, vol 326. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50171-1_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-50171-1_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50171-8

  • Online ISBN: 978-3-540-45943-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation