Computer
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A model of queries for object-oriented databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Vector models for data-parallel computing
Vector models for data-parallel computing
ILOG: declarative creation and manipulation of object identifiers
Proceedings of the sixteenth international conference on Very large databases
Queries and views in an object-oriented data model
Proceedings of the second international workshop on Database programming languages
An object-oriented query algebras
Proceedings of the second international workshop on Database programming languages
A query language for the O2 object-oriented databases
Proceedings of the second international workshop on Database programming languages
A formal approach to object-oriented databases
Data & Knowledge Engineering
ICDT '90 Proceedings of the third international conference on database theory on Database theory
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Data-parallel programming on MIMD computers
Data-parallel programming on MIMD computers
Parallel database systems: the future of high performance database systems
Communications of the ACM
An introduction to parallel algorithms
An introduction to parallel algorithms
Structural recursion as a query language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Transforming high-level data-parallel programs into vector operations
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
Queries in Object-Oriented Databases
Proceedings of the Fourth International Conference on Data Engineering
Object Views: Extending the Vision
Proceedings of the Sixth International Conference on Data Engineering
A General Model for Version Management in Databases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
A Unifying Framework for Version Control in a CAD Environment
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Multiview: A Methodology for Supporting Multiple Views in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
An Object Data Model with Roles
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Calculus for Exploiting Data Parallelism on Recursively Defined Data
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
Advanced Database Systems
NESL: A Nested Data-Parallel Language (Version 2.6)
NESL: A Nested Data-Parallel Language (Version 2.6)
Query-based debugging of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Parallel functional programming on recursively defined data via data-parallel recursion
Journal of Functional Programming
| Hi-index | 0.00 |
This paper presents an equational formulation of an object-oriented data model. In this model, a database is represented as a system of equations over a set of oid's, and a database query is a transformation of a system of equations into another system of equations. During the query processing, our model maintains an equivalence relation over oid's that relates oid's corresponding to the same "real-world entity." By this mechanism, the model achieves a declarative set-based query language and views for objects with identity. Moreover, the query primitives are designed so that queries including object traversal can be evaluated in a data-parallel fashion.