Association for Computing Machinery
In this paper, the authors describe a software architecture they have developed for a constructive containment checker of entity SQL (Structured Query Language) queries defined over extended ER schemas expressed in Microsoft's entity data model. Their application of interest is compilation of object-torelational 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 their knowledge, they have not been addressed all at once before. Moreover, when embarking on an implementation, they found no guidance in the literature on how to modularize the software or apply published algorithms to a commercially-supported language.