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.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
S. Abiteboul and V. Vianu. A transaction language complete for database update and specification. In ACM PODS, 1987.
S. Abiteboul and V. Vianu. Procedural and declarative update languages. In ACM PODS, pages 240–250, 1988.
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.
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.
F. Bancilhon. Object-oriented database systems. In Proc. ACM PODS, pages 152–162, 1988.
W. Chen. Declarative specification and evaluation of database updates. Technical report, Department of Computer Science and Engineering, Southern Methodist University, July 1991.
E.F. Codd. A relational model of data for large shared data banks. CACM, 13(6):377–387, June 1970.
R. Fagin, J. Ullman, and M.Y. Vardi. On the semantics of updates in databases. In ACM PODS, pages 352–365, 1983.
D. Harel. First-Order Dynamic Logic. Springer-Verlag, 1979. Lecture Notes in Computer Science, 68.
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.
H.F. Korth and A. Silberschatz. Database System Concepts. McGraw-Hill, Inc., second edition, 1991.
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.
S. Naqvi and R. Krishnamurthy. Database updates in logic programming. In Proceedings of ACM Symposium on Principles of Database Systems, pages 251–262, 1988.
R. Reiter. A sound and sometimes complete query evaluation algorithm for relational databases with null values. JACM, 33(2), 1986.
S. Sengupta and A.J. Bernstein. Concurrency control optimization in a Prolog database. International Journal of Parallel Programming, 1991. in press.
D.S. Warren. Database updates in pure Prolog. In Proc. FGCS, pages 244–253, 1984.
M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.
Author information
Authors and Affiliations
Editor information
Rights 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