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ó
2013
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)
Conference lecture
English
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació; Àrees temàtiques de la UPC::Informàtica::Enginyeria del software; Query processing; Models Database systems; Programari -- Enginyeria
http://dl.acm.org/citation.cfm?doid=2463676.2463711
Restricted access - publisher's policy
E-prints [73026]