Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Object-Oriented Database as a Dynamic System with Implicit State
| |
|
Object-Oriented Database as a Dynamic System with Implicit State
Kazem Lellahi6  and Alexandre Zamulin7
| (6) |
LIPN, UPRESA 7030 C.N.R.S Université de Paris 13, Institut Galilée, 99, Av. J.B. Clément, 93430 Villetaneuse, France |
| (7) |
A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, 630090, Russia |
Abstract
A formalization of object-oriented database concepts in the context of algebraic specifications with implicit state is proposed.
An object database schema is represented as a dynamic system and an object database instance as a state algebra. The paper
also provides a formalization of binding modes and a rigorous treatment of null value.
Keywords object modeling - object-oriented database - dynamic system - implicit state - state update
The work of the second author is supported in part by Russian Foundation for Basic Research under Grant 01-01-00787.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|