Affiliation:
1. I.N.R.I.A., Chesnay, France
2. Brown Univ., Providence, RI
Abstract
We demonstrate the power of object identities (oids) as a database query language primitive. We develop an object-based data model, whose structural part generalizes most of the known complex-object data models: cyclicity is allowed in both its schemas and instances. Our main contribution is the operational part of the data model, the query language IQL, which uses oids for three critical purposes: (1) to represent data-structures with sharing and cycles, (2) to manipulate sets, and (3) to express any computable database query. IQL can be type checked, can be evaluated bottom-up, and naturally generalizes most popular rule-based languages. The model can also be extended to incorporate type inheritance, without changes to IQL. Finally, we investigate an analogous value-based data model, whose structural part is founded on regular infinte trees and whose operational part is IQL.
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference65 articles.
1. IN MEMORIUM PARIS C. KANELLAKIS. ACM Comput. Surv. 28 1 (Mar.) 5-15. 10.1145/234313.234318 IN MEMORIUM PARIS C. KANELLAKIS. ACM Comput. Surv. 28 1 (Mar.) 5-15. 10.1145/234313.234318
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Datalog Unchained;Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2021-06-20
2. Computationally Complete Relational Query Languages;Encyclopedia of Database Systems;2018
3. J-Logic;Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2017-05-09
4. Probabilistic Keys;IEEE Transactions on Knowledge and Data Engineering;2017-03-01
5. Computationally Complete Relational Query Languages;Encyclopedia of Database Systems;2017