Abstract
This paper deals with the definition of update language facilities for the purely object-oriented subset of the Logidata+ model. Several update operators are introduced, which correspond to basic manipulations of complex data entities with object identity. These operators can be used in rules bodies for specifying complex update transactions. The resulting language is first informally presented by using several examples. Then, the syntax and the semantics are formally given. Finally, an abstract interpreter is proposed, and its correctness is discussed.
This work was partially supported by Consiglio Nazionale delle Ricerche, within “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, LRC Logidata+”. Part of this work was performed while the first author was with CRAI.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul. Towards a deductive object-oriented database language. Data and Knowledge Engineering, 5:263–287, 1990.
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.
S. Abiteboul and G. Grahne. Update semantics for incomplete databases. In Eleventh International Conf. on Very Large Data Bases, Stockolm, 1985.
S. Abiteboul and S. Grumbach. A rule-based language with functions and sets. ACM Trans. on Database Syst., 16(1):1–30, March 1991.
S. Abiteboul and R. Hull. IFO: a formal semantics database model. ACM Trans. on Database Syst., 12(4):297–314, December 1987.
S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD International Conf. on Management of Data, pages 159–173, 1989.
S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Comp. and System Sc., 43(1):62–124, August 1991.
S. Abiteboul and V. Vianu. Procedural and declarative database update languages. In Seventh ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 240–250, 1988.
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. SIGMOD Record 19(2).
P. Atzeni and R. Torlone. Updating relational databases through weak instance interfaces. ACM Trans. on Database Syst., 17(4):718–746, December 1992.
F. Bancilhon, D. Maier, Y. Sagiv, and J.D. Ullman. Magic sets and other strange ways to implement logic programs. In Fifth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, 1986.
F. Bancilhon and R. Ramakrishnan. An amateur's introduction to recursive query processing strategies. In ACM SIGMOD International Conf. on Management of Data, pages 16–52, 1986.
F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Trans. on Database Syst., 6(4):557–575, 1981.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object oriented data modelling with a rule-based programming paradigm. In ACM SIGMOD International Conf. on Management of Data, pages 225–236, 1990.
W. Chen and D.S. Warren. C-logic for complex objects. In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 369–378, 1989.
C. de Maindreville and E. Simon. Modelling non-deterministic queries and updates in deductive databases. In Fourteenth International Conf. on Very Large Data Bases, Los Angeles, pages 395–406, 1988.
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.
R.B. Hull and C.K. Yap. The format model: a theory of database organization. Journal of the ACM, 31(3):518–537, July 1984.
G.M. Kuper and M.Y. Vardi. A new approach to database logic. In Third ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 14–15, 1984.
S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394, Morgan Kauffman, Los Altos, 1988.
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–62, 1988.
L. Palopoli. Testing logic programs for local stratification. Theoretical Computer Science, 103(2):205–234, 1992.
D. Saccà and C. Zaniolo. The generalized counting method of recursive queries for database. Theoretical Computer Science, 62(3):187–220, 1987.
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.
C. Zaniolo. Database relations with null values. Journal of Comp. and System Sc., 28(1):142–166, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Palopoli, L., Torlone, R. (1993). Management of extended update operations. In: Atzeni, P. (eds) LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science, vol 701. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021890
Download citation
DOI: https://doi.org/10.1007/BFb0021890
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56974-9
Online ISBN: 978-3-540-47844-7
eBook Packages: Springer Book Archive