2026-04-05T10:41:03Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/202682026-01-30T05:10:40Zcom_2072_1033col_2072_452950

00925njm 22002777a 4500 dc Rull Fort, Guillem author Bernstein, Philip A. author Garcia dos Santos, Ivo author Katsis, Yannis author Melnik, Sergey author Teniente López, Ernest author 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) À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 Query containment in entity SQL