IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
On the complexity of queries in the logical data model
Lecture notes in computer science on ICDT '88
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Readings in object-oriented database systems
A graph-oriented object model for database end-user interfaces
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Generic Computation and its complexity
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
The expressive power structured values in pure OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Semi-determinism (extended abstract)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of database queries with intermediate types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Programming primitives for database languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Power of Methods With Parallel Semantics
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Language for Generic Graph-Transformations
WG '91 Proceedings of the 17th International Workshop
On the completeness of object-creating database transformation languages
Journal of the ACM (JACM)
Object identity as a query language primitive
Journal of the ACM (JACM)
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
The expressiveness of various object-oriented languages is investigated with respect to their ability to create new objects. We focus on database method schemas (dms), a model capturing the data manipulation capabilities of a large class of deterministic methods in object-oriented databases. The results clarify the impact of various language constructs on object creation. Several new constructs based on expanded notions of deep equality are introduced. In particular, we provide a tractable construct which yields a language complete with respect to object creation. The new construct is also relevant to query complexity. For example, it allows expressing in polynomial time some queries, like counting, requiring exponential space in dms alone.