Static and dynamic semantics of NoSQL languages.

Véronique Benzaken Giuseppe Castagna Kim Nguyen Jérôme Siméon

Published in: POPL (2013)

Keyphrases

highly expressive
database query languages
expressive power
relational databases
formal semantics
specification languages
formal language
data integration
big data
cross lingual
databases
data analysis
data management
schema mappings
operational semantics
language identification