An equational object-oriented data model and its data-parallel query language
- 1 October 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 31 (10) , 1-17
- https://doi.org/10.1145/236338.236339
Abstract
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.This publication has 12 references indexed in Scilit:
- Polymorphism and type inference in database programmingACM Transactions on Database Systems, 1996
- A polymorphic record calculus and its compilationACM Transactions on Programming Languages and Systems, 1995
- Principles of programming with complex objects and collection typesTheoretical Computer Science, 1995
- Transforming high-level data-parallel programs into vector operationsPublished by Association for Computing Machinery (ACM) ,1993
- Parallel database systemsCommunications of the ACM, 1992
- Objects and viewsPublished by Association for Computing Machinery (ACM) ,1991
- A formal approach to object-oriented databasesData & Knowledge Engineering, 1990
- A semantics of multiple inheritanceInformation and Computation, 1988
- O2, an object-oriented data modelPublished by Association for Computing Machinery (ACM) ,1988
- Programming for ParallelismComputer, 1987