Advertisement

Updating Datalog databases

  • Paolo Atzeni
  • Riccardo Torlone
Extending Functionality
Part of the Lecture Notes in Computer Science book series (LNCS, volume 504)

Abstract

In a Datalog database, updates to intensionally defined relations give rise to problems similar to those related to view updates: it is often difficult to specify their semantics in an unambiguous way in terms of updates to base relations. This paper offers two contributions to the solution of this problem: i) the formalization of a declarative, model-theoretic semantics of insertions (and, dually, of deletions), with potential, minimal, and deterministic results; ii) an operational, proof-theoretic approach, that turns out to be equivalent to the declarative one.

Keywords

Logic Programming Potential Result Horn Clause Ground Atom Computation Rule 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abi88]
    S. Abiteboul. Updates, a new frontier. In ICDT'88 (Second International Conference on Data Base Theory), Bruges, Lecture Notes in Computer Science 326, pages 1–18, Springer-Verlag, 1988.Google Scholar
  2. [AT89]
    P. Atzeni and R. Torlone. Updating databases in the weak instance model. In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 101–109, 1989.Google Scholar
  3. [AT90]
    P. Atzeni and R. Torlone. Efficient updates to independent schemes in the weak instance model. In ACM SIGMOD International Conf. on Management of Data, pages 84–93, 1990.Google Scholar
  4. [BS81]
    F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Trans. on Database Syst., 6(4):557–575, 1981.Google Scholar
  5. [C*75]
    D.D. Chamberlin et al. Views, authorization, and locking in a relational databse system. In AFIPS National Computer Conference, pages 145–148, 1975.Google Scholar
  6. [CGT89]
    S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Data Bases. Springer-Verlag, 1989.Google Scholar
  7. [DB82]
    U. Dayal and P.A. Bernstein. On the correct translation of update relations on relational views. ACM Trans. on Database Syst., 8(3):381–416, September 1982.Google Scholar
  8. [Dec90]
    H. Decker. Drawing updates from derivations. In ICDT'90 (Third International Conference on Data Base Theory), Paris, Lecture Notes in Computer Science 470, pages 437–451, Springer-Verlag, 1990.Google Scholar
  9. [FKUV86]
    R. Fagin, G.M. Kuper, J.D. Ullman, and M.Y. Vardi. Updating logical databases. In P.C. Kanellakis and F.P. Preparata, editors, Advances in Computing Research, Vol. 3, pages 1–18, JAI Press, 1986.Google Scholar
  10. [FSD79]
    A. Furtado, K. Sevcik, and C.S. Dos Santos. Permitting updates through views of databases. Information Systems, 4(4), 1979.Google Scholar
  11. [FUV83]
    R. Fagin, J.D. Ullman, and M.Y. Vardi. On the semantics of updates in databases. In Second ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 352–365, 1983.Google Scholar
  12. [GPZ88]
    G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Trans. on Database Syst., 13(4):486–524, December 1988.Google Scholar
  13. [Kel85]
    A.M. Keller. Algorithms for translating view updates to database updates for views involving selections, projections, and joins. In Fourth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 154–163, 1985.Google Scholar
  14. [Llo87]
    J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.Google Scholar
  15. [MW88]
    S. Manchanda and D.S. Warren. A logic-based language for database up-dates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394, Morgan Kauffman, Los Altos, 1988.Google Scholar
  16. [NK88]
    S.A. Naqvi and R. Krishnamurthy. Database updates in logic programming. In Seventh ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 251–262, 1988.Google Scholar
  17. [RN89]
    F. Rossi and S.A. Naqvi. Contributions to the view update problem. In 6th International Conference on Logic Programming, pages 398–415, 1989.Google Scholar
  18. [Tod77]
    S. Todd. Automatic constraint maintenance and updating defined relations. In IFIP Congress, pages 145–148, 1977.Google Scholar
  19. [Tom88]
    A. Tomasic. View update translation via deduction and annotation. In ICDT'88 (Second International Conference on Data Base Theory), Bruges, Lecture Notes in Computer Science 326, pages 338–352, Springer-Verlag, 1988.Google Scholar
  20. [Ull88]
    J.D. Ullman. Principles of Database and Knowledge Base Systems. Volume 1, Computer Science Press, Potomac, Maryland, 1988.Google Scholar
  21. [Wil86]
    M.W. Wilkins. A model-theoretic approach to updating logical databases. In Fifth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 224–234, 1986.Google Scholar
  22. [Win88]
    M. Winslett. A framework for the comparison of update semantics. In Seventh ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 315–324, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Paolo Atzeni
    • 1
  • Riccardo Torlone
    • 2
  1. 1.Dip. di Informatica e SistemisticaUniversità di Roma “La Sapienza”RomaItaly
  2. 2.IASI-CNRRomaItaly

Personalised recommendations