A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
Lecture notes in computer sciencePublished 1 January 2000Open access
Enrico Franconi, Fábio Grandi, Federica Mandreoli
Citations61
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
It is shown how a general object-oriented model for schema versioning and evolution can be formalized; how the semantics of schema change operations can be defined; how interesting reasoning tasks can be supported, based on an encoding in description logics.
Abstract
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented model for schema versioning and evolution can be formalized; how the semantics of schema change operations can be defined; how interesting reasoning tasks can be supported, based on an encoding in description logics.
Keywords
Computer Science
Semantics and implementation of schema evolution in object-oriented databases
666 Citations1987Jay Banerjee, Won Kim +2 more
A framework for supporting schema evolution is established, the semantics of schema evolution are defined, and the implementation of the implementation is discussed.
Lecture notes in computer sciencePractical Reasoning for Expressive Description Logics
534 Citations1999Ian Horrocks, Ulrike Sattler +1 more
An algorithm is presented that decides satisfiability of the DL ACC extended with transitive eind inverse roles, role hierarchies, and quaJifying number restrictions, and early experiments indicate that this algorithm is well-suited for implementation.
ACM SIGMOD RecordA consensus glossary of temporal database concepts
493 Citations1994Curtis Dyreson, Fábio Grandi +17 more
The glossary meets a need for creating a higher degree of consensus on the definition and naming of temporal database concepts by providing definitions of a wide range of concepts specific to and widely used within temporal databases.
Lecture notes in computer scienceThe consensus glossary of temporal database concepts — February 1998 version
329 Citations1998Christian S. Jensen, Curtis Dyreson +24 more
This document1 contains definitions of a wide range of concepts specific to and widely used within temporal databases, as well as discussions of the adopted names.
Information and Software TechnologyA survey of schema versioning issues for database systems
304 Citations1995John F. Roddick
The modelling, architectural and query language issues relating to the support of evolving schemata in database systems and the future directions of schema versioning research are discussed.
Description Logics for Conceptual Data Modeling
219 Citations1998Diego Calvanese, Maurizio Lenzerini +1 more
Class modification in the GemStone object-oriented DBMS
207 Citations1987D. Jason Penney, Jacob Stein
After defining a set of invariants for GemStone databases, several issues that impact class modification are discussed, including concurrency and authorization, and lead to difficult choices.
IEEE Transactions on Knowledge and Data EngineeringTemporal entity-relationship models-a survey
198 Citations1999Heidi Gregersen, Christian S. Jensen
This paper surveys all temporally enhanced ER models known to the authors and provides a comprehensive overview of temporal ER modeling and meets a need for consolidating and providing easy access to the research in temporal ER modeled.
International Journal of Cooperative Information SystemsREPRESENTING AND USING INTERSCHEMA KNOWLEDGE IN COOPERATIVE INFORMATION SYSTEMS
180 Citations1993Tiziana Catarci, Maurizio Lenzerini
A structured representation language is set up for expressing semantic interdependencies between classes belonging to different database schemas, and a method is presented for reasoning over such.
ILOG: declarative creation and manipulation of object identifiers
154 Citations1990Richard Hull, Masatoshi Yoshikawa
Schema and Database Evolution in the O2 Object Database System
109 Citations1995Fabrizio Ferrandina, Thorsten Meyer +3 more
The algorithm implemented in the new forthcoming release of the 02 object database for automatically bringing the database to a consistent state after a schema update has been performed is described.
Description LogicsFaCT and iFaCT.
109 Citations1999Ian Horrocks
iFaCT is an extension of FaCT that supports reasoning with inverse roles and the resulting logic is particularly interesting as it no longer has the finite model property.
Journal of Artificial Intelligence ResearchUnifying Class-Based Representation Formalisms
98 Citations1999D. Calvanese, M. Lenzerini +1 more
It is argued that, by virtue of the high expressive power and of the associated reasoning capabilities on both unrestricted and finite models, the proposed logic provides a common core for class-based representation formalisms.
Data & Knowledge EngineeringSchema evolution in object-oriented database systems
94 Citations1989Gia Toan Nguyen, Dominique Rieu
An overview of current research efforts directed towards evolving data definitions in object-oriented database systems is given and a proposal is described that enables Sherpa to fully support the propagation of changes and the dynamic classification of the instances whose class definitions are modified.
Information SystemsSCHEMA VERSIONING FOR MULTITEMPORAL RELATIONAL DATABASES
84 Citations1997Cristina De Castro, Fábio Grandi +1 more
It is shown how the temporal language TSQL2, originally designed to support basic functionalities of transaction-time schema versioning, can accordingly be extended.
ACM Transactions on Database SystemsAn axiomatic model of dynamic schema evolution in objectbase systems
82 Citations1997Randel J. Peters, M. TAMER ÖZSU
A sound and complete axiomatic model for DSE in OBSs is proposed that supports the fundamental concepts of object-oriented computing such as subtyping and property inheritance and serves as a common, formal underlying foundation for describing DSE of existing systems, which makes comparison of these systems much easier.
Journal of the ACMObject identity as a query language primitive
67 Citations1998Serge Abiteboul, Paris C. Kanellakis
An object-based data model, whose structural part generalizes most of the known complex-object data models: cyclicity is allowed in both its schemas and instances is developed.
Lecture notes in computer scienceA Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
61 Citations2000Enrico Franconi, Fábio Grandi +1 more
It is shown how a general object-oriented model for schema versioning and evolution can be formalized; how the semantics of schema change operations can be defined; how interesting reasoning tasks can be supported, based on an encoding in description logics.
Lecture notes in computer scienceA model for versioning of classes in object-oriented databases
45 Citations1992Simon Monk, Ian Sommerville
This paper describes work carried out on a model for the versioning of class definitions in an Object-oriented database by defining update and backdate functions on attributes of the previous and current version of a class definintion so instances of any version of the class can be converted to instance of any other version.
Lecture notes in computer scienceTemporal ER Modeling with Description Logics
38 Citations1999Alessandro Artale, Enrico Franconi
A logical formalisation of the various properties that characterise and extend different temporal ER models which are found in literature is given, based on Description Logics, which have been proved useful for a logical reconstruction of the most popular conceptual data modelling formalisms.
Lecture notes in computer scienceAdvanced primitives for changing schemas of object databases
31 Citations1996Philippe Brèche
This paper addresses new facilities for updating a schema filling the gap between object design and object programming.
Applied IntelligenceAcquisition and validation of complex object database schemata supporting multiple inheritance
29 Citations1994Sonia Bergamaschi, Bernhard Nebel
An intelligent tool for the acquisition of object-oriented schemata supporting multiple inheritance is presented, which preserves taxonomy coherence and performs taxonomic inferences and an algorithm to detect incoherence detection is presented.
A propagation mechanism for populated schema versions
26 Citations2002Sven-Eric Lautemann
This paper uses the versioning approach to schema evolution to support schema updates as a complex design task and the presented propagation mechanism is based on conversion functions that map objects between different types and can be used toSupport schema evolution and schema integration.
A generalized modeling framework for schema versioning support
15 Citations2002Fábio Grandi, Federica Mandreoli +1 more
This work proposes a general model which integrates the two approaches by supporting both design and temporal schema versions by providing a complete set of schema change primitives for fully-fledged version manipulation whose semantics is described in the paper.
Lecture notes in computer scienceODMG Language Extensions for Generalized Schema Versioning Support
8 Citations1999Fábio Grandi, Federica Mandreoli
Lecture notes in computer scienceObject-oriented database evolution
6 Citations1996Jean-Bernard Lagorce, Arūnas Stočkus +1 more
A composite evolution approach which integrates the evolution of the various types of entities in an object-oriented database into one model and provides maintainers with a coherent and comprehensible view of the system and at the same time maintains change histories at a fine granularity is described.