Query containment in entity SQL

Authors:
Guillem Rull;Philip A. Bernstein;Ivo Garcia dos Santos;Yannis Katsis;Sergey Melnik;Ernest Teniente
Affiliations:
Universitat Politècnica de Catalunya, Barcelona, Spain;Microsoft Research, Redmond, WA, USA;European Microsoft Innovation Center, Aachen, Germany;University of California, San Diego, La Jolla, CA, USA;Google, Kirkland, WA, USA;Universitat Politècnica de Catalunya, Barcelona, Spain
Venue:
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Year:
2013

Citing 12
Cited 0

On conjunctive queries containing inequalities

Journal of the ACM (JACM)
Containment and minimization of positive conjunctive queries in OODB's

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Equivalences Among Relational Expressions with the Union and Difference Operators

Journal of the ACM (JACM)
Implication and Referential Constraints: A New Formal Reasoning

IEEE Transactions on Knowledge and Data Engineering
Containment of Conjunctive Queries with Safe Negation

ICDT '03 Proceedings of the 9th International Conference on Database Theory
Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Checking query containment with the CQC method

Data & Knowledge Engineering
Anatomy of the ADO.NET entity framework

Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Compiling mappings to bridge applications and databases

ACM Transactions on Database Systems (TODS)
Semantic query optimization in the presence of types

Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment of conjunctive queries over databases with null values

ICDT'07 Proceedings of the 11th international conference on Database Theory
Containment of conjunctive queries over conceptual schemata

DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a software architecture we have developed for a constructive containment checker of Entity SQL queries defined over extended ER schemas expressed in Microsoft's Entity Data Model. Our application of interest is compilation of object-to-relational mappings for Microsoft's ADO.NET Entity Framework, which has been shipping since 2007. The supported language includes several features which have been individually addressed in the past but, to the best of our knowledge, they have not been addressed all at once before. Moreover, when embarking on an implementation, we found no guidance in the literature on how to modularize the software or apply published algorithms to a commercially-supported language. This paper reports on our experience in addressing these real-world challenges.