Skip to main content
SpringerLink
Log in

Declarative specification and evaluation of database updates

  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1991)

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

Included in the following conference series:

Abstract

An update specifies not only assumptions that are required for the current database, but also assertions that will hold in a new database. Queries are special cases of updates that contain assertions about only the current database. Inspired by connectives and quantifiers in queries, we develop an update calculus that extends relational calculus with assertions about a new database and a new connective, namely sequential composition. An update algebra is also presented that associates with each tuple in an update relation a transaction — a canonical form of updates. We show that update calculus and algebra are equivalent, and both support expressive set-based and nondeterministic updates. Finally, we introduce a formal notion of answers of updates with respect to a database, and develop a sound and complete algorithm for update evaluation.

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. S. Abiteboul, P. Buneman, C. Delobel, R. Hull, P. Kanellakis, and V. Vianu. New hope on data models and types. SIGMOD RECORD, 19(4), December 1990.

    Google Scholar 

  2. S. Abiteboul and V. Vianu. A transaction language complete for database update and specification. In ACM PODS, 1987.

    Google Scholar 

  3. S. Abiteboul and V. Vianu. Procedural and declarative update languages. In ACM PODS, pages 240–250, 1988.

    Google Scholar 

  4. S. Abiteboul and V. Vianu. Non-determinism in logic-based languages. Technical Report CS89-159, Computer Science and Engineering, University of California, San Diego, October 1989.

    Google Scholar 

  5. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The object-oriented database system manifesto. In Proc. DOOD'89, pages 40–57, December, 1989.

    Google Scholar 

  6. F. Bancilhon. Object-oriented database systems. In Proc. ACM PODS, pages 152–162, 1988.

    Google Scholar 

  7. W. Chen. Declarative specification and evaluation of database updates. Technical report, Department of Computer Science and Engineering, Southern Methodist University, July 1991.

    Google Scholar 

  8. E.F. Codd. A relational model of data for large shared data banks. CACM, 13(6):377–387, June 1970.

    Google Scholar 

  9. R. Fagin, J. Ullman, and M.Y. Vardi. On the semantics of updates in databases. In ACM PODS, pages 352–365, 1983.

    Google Scholar 

  10. D. Harel. First-Order Dynamic Logic. Springer-Verlag, 1979. Lecture Notes in Computer Science, 68.

    Google Scholar 

  11. H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In J.A. Allen, R. Fikes, and E. Sandewell, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, 1991.

    Google Scholar 

  12. H.F. Korth and A. Silberschatz. Database System Concepts. McGraw-Hill, Inc., second edition, 1991.

    Google Scholar 

  13. S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Logic Programming and Deductive Databases. Morgan Kaufmann Publishers, Los Altos, CA, 1988.

    Google Scholar 

  14. S. Naqvi and R. Krishnamurthy. Database updates in logic programming. In Proceedings of ACM Symposium on Principles of Database Systems, pages 251–262, 1988.

    Google Scholar 

  15. R. Reiter. A sound and sometimes complete query evaluation algorithm for relational databases with null values. JACM, 33(2), 1986.

    Google Scholar 

  16. S. Sengupta and A.J. Bernstein. Concurrency control optimization in a Prolog database. International Journal of Parallel Programming, 1991. in press.

    Google Scholar 

  17. D.S. Warren. Database updates in pure Prolog. In Proc. FGCS, pages 244–253, 1984.

    Google Scholar 

  18. M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science & Engineering, Southern Methodist University, 75275-0122, Dallas, Texas

    Weidong Chen

Authors
  1. Weidong Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

C. Delobel M. Kifer Y. Masunaga

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, W. (1991). Declarative specification and evaluation of database updates. In: Delobel, C., Kifer, M., Masunaga, Y. (eds) Deductive and Object-Oriented Databases. DOOD 1991. Lecture Notes in Computer Science, vol 566. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55015-1_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-55015-1_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55015-0

  • Online ISBN: 978-3-540-46646-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation