Query containment in entity SQL

Other authors

Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació

Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació

Publication date

2013

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.


Peer Reviewed


Postprint (published version)

Document Type

Conference lecture

Language

English

Related items

http://dl.acm.org/citation.cfm?doid=2463676.2463711

Recommended citation

This citation was generated automatically.

Rights

Restricted access - publisher's policy

This item appears in the following Collection(s)

E-prints [73026]