Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
Identity, equality and query optimization
Lecture notes in computer science on Advances in object-oriented database systems
The O2 object manager: an overview
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Transformation of dynamic integrity constraints into transaction specifications
Theoretical Computer Science
Reducing the search space for conceptual schema transformation
Data & Knowledge Engineering
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Representing and using performance requirements during the development of information systems
EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
Experiences with EDO: an evolutionary database optimizer
Data & Knowledge Engineering
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Optimization of query evaluation algorithms
ACM Transactions on Database Systems (TODS)
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
Object-Relational DBMSs: Tracking the Next Great Wave
Object-Relational DBMSs: Tracking the Next Great Wave
On Modeling Cost Functions for Object-Oriented Databases
IEEE Transactions on Knowledge and Data Engineering
Integrity Maintenance in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas
ADBIS '95 Proceedings of the Second International Workshop on Advances in Databases and Information Systems
The Conceptual Database Design Optimizer CoDO - Concepts, Implementation, Application
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
An Abstract Object-Oriented Query Execution Language
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
High-performance implementation techniques for next-generation database systems
High-performance implementation techniques for next-generation database systems
A Flexible Cost Model for Abstract Object-Oriented Database Schemas
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Optimising abstract object-oriented database schemas
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
| Hi-index | 0.00 |
The process of designing an object-oriented database schema consists of several phases. During the phase of abstract logical formalisation one of many possible abstract object-oriented database schemas must be chosen. This choice can be driven by the costs of the ultimately implemented schema: How much space is needed? How long does it take to compute queries and updates including enforcement of semantic constraints? Because abstract logical formalisation is done independently of an actual database management system, we need an abstract database machine. Queries and updates are formulated as programs for this database machine. Such programs are composed of steps which are connected by channels for typed streams of value lists. In each step, a basic or compound operation is executed, accepting input streams and further parameters, delivering output streams for subsequent steps, and accessing the persistent database state. The abstract database machine is designed to meet two goals: to be expressive enough to implement queries and updates, as considered for schema design, and to be simple enough to allow cost estimations.