Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Correctness Procedures for Object-oriented Databases
| Content Provider | Semantic Scholar |
|---|---|
| Author | Cooperative, B. Benatallah |
| Copyright Year | 1998 |
| Abstract | One of the most diicult requirements of database support is to guarantee schema and instance update correctness. Engineering applications rely on this safeguard during product development. Thus it is essential that a DBMS dynamically support schema modiications by allowing on-line access to the schema, and providing automatic consistency checking of objects as well as self-adaptive dynamic linking of new methods. Our paper addresses these issues by providing a set of formalized procedures for deening and hence checking schema correctness. In that context, we propose a core model for schema correctness management in object-oriented databases. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.vt.edu/~athman/paper/adc98.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
