Abstract
We develop a formal model to capture the evolution of method schemas, and obtain basic results on such evolutions. We use our model to obtain an algorithm for incremental consistency checking. The algorithm is optimal in the sense that it avoids any redundant checking.
This research was supported in part by the Projet de Recherches Coordonnées BD3.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul, P. Kanellakis. Object Identity as a Query Language Primitive. Proc. ACM SIGMOD, 159–173, 1989.
S. Abiteboul, P. Kanellakis, E. Waller. Method Schemas. Proc. ACM PODS, 1990.
F. Bancilhon. Object-Oriented Database Systems. Proc. ACM PODS, 152–162, 1988.
F. Bancilhon et al., The Design and Implementation of O2, an Object-Oriented Database System. Proc. OODBS2 Workshop, 1988.
J. Banerjee et al., Data Model Issues for Object-Oriented Applications. ACM TOIS, 5:1:3–26, 1987.
J. Banerjee, W. Kim, H-J. Kim, H.F. Korth. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. Proc. ACM SIGMOD, 1987.
C. Beeri. Formal Models for Object-Oriented Databases. Proc. DOOD, 370–395, 1989.
A. Borgida, Type Systems for Querying Class Hierarchies with Non-strict Inheritance. Proc. ACM PODS, 394–400, 1989.
F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, R. Zicari. Integrating Object-Oriented Data Modelling with a Rule-Based Programming Paradigm. Proc. ACM SIGMOD, 225–236, 1990.
L. Cardelli. A Semantics of Multiple Inheritance. LNCS 173, 1984.
J. Heering, P. Klint, J. Rekers. Incremental Generators of Parsers. Proc. ACM Prog. Language Design and Implementation, 1989.
R. Hull, J. Su. On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions. Proc. ACM SIGMOD, 147–158, 1989.
R. Hull, K. Tanaka, M. Yoshikawa. Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees and Reachability. Proc. Foundations of Data Organization and Algorithms, Paris, June 1989.
M. Kifer, G. Lausen. F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme. Proc. ACM SIGMOD, 134–146, 1989.
D. Maier, A. Otis, A. Purdy. Development of an Object-Oriented DBMS. Bulletin of IEEE on Database Engineering, 1985.
A. Ohori, P. Buneman. Static Type Inference for Parametric Classes. Proc. ACM OOPSLA, 1989.
A. Skarra, S. Zdonik. Type Evolution in an Object-Oriented Database. Research Directions in Object-Oriented Programming, 393–416, Eds. B. Shriver and P. Wegner, MIT Press, 1987.
E. Waller. Dynamics Aspects of Object-Oriented Databases. PhD thesis, in preparation.
M. Yannakakis. Graph-theoretic Methods in Database Theory. Proc. ACM PODS, 1990.
R. Zicari. A Framework for O2 Schema Updates. in The O2 Book, F. Bancilhon, C. Delobel, P. Kannelakis, Eds, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Waller, E. (1991). Schema updates and consistency. 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_9
Download citation
DOI: https://doi.org/10.1007/3-540-55015-1_9
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