Abstract
An evolution languageis composed of an instance update language, a schema update language, and a mechanism to combine them. We present a formal evolution language for object-oriented database management systems. This language allows to write programs to update simultaneously both the schema and the instance. Static checking of these programs insures that the resulting database is consistent.
We propose an autonomous instance update language, based on an adequate specific query language and a pure instance update language. The main features of the query language are a formal type inference system including disjunctive types, and the decidability of the satisfiability problem, despite a negation operator. The pure instance update language allows objects migration, and objects and references creation and deletion; its semantics is declarative, and an algorithm to compute it is presented.
We propose an evolution mechanism for combining this instance update language with a classical schema update language, and use it to obtain an evolution language. Decidability of consistency is shown for a fragment of this language, by reduction to first-order logic with two variables.
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. Kanellakis, and E. Waller. Method schemas. In PODS, pages 16–27, 1990.
J. Andany, M. Leonard, and C. Palisser. Management of schema evolution in databases. In VLDB, 1991.
J. Barwise. Chapter: An introduction to first-order logic. In Handbook of Mathematical Logic, 1977.
J. Banerjee, W. Kim, H.-J. Kim, and H. F. Korth. Semantics and implementation of schema evolution in object-oriented databases. In SIGMOD, 1987.
[FMZ+95] F. Ferrandina, T. Meyer, R. Zicari, G. Ferran, and J. Madec. Schema and database evolution in the o2 object database system. In VLDB, pages 170–181, 1995.
J.B. Lagorce. Aspects of updates in databases. PhD thesis in preparation.
J.B. Lagorce, A. Stočkus, and E. Waller. Object-oriented databases evolution. Technical Report in preparation, Orsay.
J. C. Mitchell. Chapter: Type systems for programming languages. In Handbook of Theoretical Computer Science, 1990.
A. Mendelzon, T. Milo, and E. Waller. Object migration. In PODS, 1994.
M. Mortimer. On languages with two variables. In Zeitschr. f. mat. Logik und Grunlagen d. Math, Bd. 21, pages 135–140, 1975.
G.T. NGuyen and D. Rieu. Schema evolution in object-oriented database systems. In Data and Knowledge Engineering, 1989.
D. J. Penney and J. Stein. Class modification in the gemstone object-oriented dbms. In OOPSLA, 1987.
A. Stockus. Migration dans les bases de données orientées objet. DEA report, Orsay, 1995.
J. Su. Dynamic constraints and object migration. In VLDB, pages 233–242, 1991.
E. Waller. Schema updates and consistency. In DOOD, 1991.
S. Zdonik. Can objects change types, can types change objects? In Workshop on OODBS, 1987.
R. Zicari. A framework for schema updates in an object-oriented database system. In The O 2Book, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lagorce, JB., Stočkus, A., Waller, E. (1996). Object-oriented database evolution. In: Afrati, F., Kolaitis, P. (eds) Database Theory — ICDT '97. ICDT 1997. Lecture Notes in Computer Science, vol 1186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62222-5_58
Download citation
DOI: https://doi.org/10.1007/3-540-62222-5_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62222-2
Online ISBN: 978-3-540-49682-3
eBook Packages: Springer Book Archive