A Formal Semantics of SQL Queries, Its Validation, and Applications.

Paolo Guagliardo Leonid Libkin

Published in: Proc. VLDB Endow. (2017)

Keyphrases

formal semantics
sql queries
relational databases
relational database systems
logical language
xml queries
first order logic
database schema
theorem prover
modeling language
xml documents
databases
query processing
data mining algorithms
xml schema