A formal approach to object-oriented databases
Data & Knowledge Engineering
O2, an object-oriented data model
Building an object-oriented database system
Modern database systems: the object model, interoperability, and beyond
Modern database systems: the object model, interoperability, and beyond
Towards an algebraic semantics for the object paradigm
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
Towards an effective calculus for object query languages
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Exploring Java
Evolving algebras 1993: Lipari guide
Specification and validation methods
Query unnesting in object-oriented databases
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Designing OQL: allowing objects to be queried
Information Systems
From static to dynamic abstract data-types: an institution transformation
Theoretical Computer Science
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
A Theory of Objects
Models and Lanuages of Object-Oriented Databases
Models and Lanuages of Object-Oriented Databases
Dynamic Systems with Implicit State
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
CASL: A Guided Tour of Its Design
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Dynamical Behavior of Object Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Modeling Data and Objects: An Algebraic View Point
Theoretical Aspects of Computer Science, Advanced Lectures [First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000]
An Algebraic Query Language for Object-Oriented Data Models
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
Object-Oriented Data Model for Data Warehouse
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
An Object Algebra for the ODMG Standard
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
Algebraic semantics of XML schema
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
| Hi-index | 0.00 |
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.