Type-Safe Relaxing of Schema Consistency Rules for Flexible Modelling in OODBMS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1995

Type-Safe Relaxing of Schema Consistency Rules for Flexible Modelling in OODBMS

Eric Amiel
  • Function : Author
Eric Dujardin
  • Function : Author
Eric Simon
  • Function : Author

Abstract

Object-oriented databases enforce behavioral schema consistency rules to guarantee type safety, i.e., that no run-time type error can occur. When the schema must evolve, some schema updates may violate these rules. In order to maintain behavioral schema consistency, traditional solutions require significant changes to the types, the type hierarchy and the code of existing methods. Such operations are very expensive in a database context. To ease schema evolution, we propose to support exceptions to the behavioral consistency rules without sacrificing type safety. The basic idea is to detect unsafe statements in a method code at compile-time and check them at run-time. The run-time check is performed by a specific clause that is automatically inserted around unsafe statements. This check clause warns the programmer of the safety problem and lets him provide exception-handling code. Schema updates can therefore be performed with only minor changes to the code of method
Fichier principal
Vignette du fichier
RR-2638.pdf (260.45 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00074052 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074052 , version 1

Cite

Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon. Type-Safe Relaxing of Schema Consistency Rules for Flexible Modelling in OODBMS. [Research Report] RR-2638, INRIA. 1995. ⟨inria-00074052⟩
83 View
365 Download

Share

Gmail Facebook X LinkedIn More