Static and dynamic semantics of NoSQL languages
Véronique BenzakenGiuseppe CastagnaKim NguyenJérôme SiméonPublished in: CoRR (2013)
Keyphrases
- highly expressive
- relational databases
- databases
- specification languages
- expressive power
- database query languages
- language independent
- big data
- formal semantics
- logic programming
- formal languages
- knowledge representation languages
- semantic web languages
- relational query languages
- database languages
- constraint language
- aggregate functions
- language identification
- formal language
- model theoretic
- grammatical inference
- text summarization
- xml databases
- query translation
- sql queries
- data integration
- cloud computing
- description logics