31 citations · 32 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 1 cited
Translating Canonical SQL to Imperative Code in Coq
Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui +4
SQL is by far the most widely used and implemented query language. Yet, on some key features, such as correlated queries and NULL value semantics, many implementations diverge or c…
cs.PL2013★ 31 cited
Static and dynamic semantics of NoSQL languages
Véronique Benzaken, Giuseppe Castagna, Kim Nguy\~ên +1
We present a calculus for processing semistructured data that spans differences of application area among several novel query languages, broadly categorized as "NoSQL". This calcul…