Schema evolution and versioning: A logical and computational characterisation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2065, Issue , 2001, Pages 85-99

  Franconi, Enrico ^a   Grandi, Fabio ^b   Mandreoli, Federica ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; DATA DESCRIPTION; MODELING LANGUAGES; SEMANTICS;

DESCRIPTION LOGIC; FORMALISATION; GENERAL MODEL; GLOBAL DATABASE; REASONING TASKS; SCHEMA CHANGES; SCHEMA EVOLUTION; VERSIONING;

OBJECT-ORIENTED DATABASES;

EID: 84958982675     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48196-6_5     Document Type: Conference Paper

References (27)

1. S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798-842, 1998. A first version appeared in SIGMOD'89.
2. A. Artale and E. Franconi. Schema integration of temporal databases. Technical report, University of Manchester, 1999.
3. A. Artale and E. Franconi. Temporal ER modeling with description logics. In Proc. of Int'l Conference on Conceptual Modeling (ER). Springer-Verlag, November 1999.
4. J. Banerjee, W. Kim, H.-J. Kim, and H. F. Korth. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. In Proc. of ACM Int'l Conf. on Management of Data SIGMOD, May 1987.
5. S. Bergamaschi and B. Nebel. Automatic Building and Validation of Multiple Inheritance Complex Object Database Schemata. International Journal of Applied Intelligence, 4(2):185-204, 1994.
6. P. Brffeche. Advanced Principles of Changing Schema of Object Databases. In Proc. of Int'l Conf. on Advanced Information Systems Engineering (CAiSE), May 1996.
7. D. Calvanese, G. De Giacomo, M. Lenzerini, and D. Nardi. Reasoning in expressive description logics. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier, 2000. To appear.
8. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 229-263. Kluwer, 1998.
9. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. Journal of Artificial Intelligence Research, 11:199-240, 1999.
10. T.-P. Chang and R. Hull. Using witness generators to support bi-directional update between object-based databases. In Proc. of ACM Int'l Symposium on Principles of Database Systems (PODS), 1995.
11. C. De Castro, F. Grandi, and M. R. Scalas. Schema Versioning for Multitemporal Relational Databases. Information Systems, 22(5):249-290, 1997.
12. F. Ferrandina, T. Meyer, R. Zicari, G. Ferran, and J. Madec. Schema and Database Evolution in the O2 Object Database System. In Proc. of Int'l Conf. on Very Large Databases (VLDB), September 1995.
13. E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of Int'l Conf. on Rules and Objects in Databases (DOOD) as a stream of the First Int'l Conf. on Computational Logic (CL 2000). Springer-Verlag, July 2000.
14. F. Grandi and F. Mandreoli. ODMG Language Extensions for Generalized Schema Versioning Support. In Proc. of ECDM'99 Workshop (in conj. with ER Int'l Conf.), November 1999.
15. F. Grandi, F. Mandreoli, and M. R. Scalas. A Generalized Modeling Framework for Schema Versioning Support. In Proc. of Australasian Database Conf. (ADC), January 2000.
16. H. Gregersen and C. S. Jensen. Temporal Entity-Relationship Models-A Survey. IEEE Transaction on Knowledge and Data Engineering, 11(3):464-497, 1999.
17. I. Horrocks. FaCT and iFaCT. In Proc. of Int'l Workshop on Description Logics (DL), 1999.
18. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of Int'l Conf. on Logic for Programming and Automated Reasoning (LPAR), 1999.
19. R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Proc. of Int'l Conf. on Very Large Databases (VLDB'90), 1990.
20. R. Hull and M. Yoshikawa. On the equivalence of database restructuring involving object identifiers. In Proc. of ACM Int'l Symposium on Principles of Database Systems (PODS), 1991.
21. C. S. Jensen, J. Clifford, S. K. Gadia, P. Hayes, and S. Jajodia et al. The Consensus Glossary of Temporal Database Concepts-February 1998 Version. In O. Etzion, S. Jajodia, and S. Sripada, editors, Temporal Databases-Research and Practice, pages 367-405. Springer-Verlag, 1998.
22. S.-E. Lautemann. A Propagation Mechanism for Populated Schema Versions. In Proc. of Int'l Conf. on Data Engineering (ICDE), April 1997.
23. S. Monk and I. Sommerville. A Model for Versioning of Classes in Object-Oriented Databases. In Proc. of British Nat'l Conf. on Databases (BNCOD), July 1992.
24. D. J. Penney and J. Stein. Class Modification in the GemStone object-oriented DBMS. In Proc. of Int'l Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), December 1987.
25. R. J. Peters and M. T. Özsu. An Axiomatic Model of Dynamic Schema Evolution in Objectbase Systems. ACM Transaction on Database Systems, 22(1):75-114, 1997.
26. J. F. Roddick. A Survey of Schema Versioning Issues for Database Systems. Information and Software Technology, 37(7):383-393, 1996.
27. J. F. Roddick and R. T. Snodgrass. Schema Versioning. In The TSQL2 Temporal Query Language. Kluwer, 1995.