Verifying SQL queries using theories of tables and relations.

Mudathir Mohamed Andrew Reynolds Cesare Tinelli Clark W. Barrett

Published in: LPAR (2024)

Keyphrases

sql queries
relational databases
stored in a relational database
relational operators
relational database systems
database
databases
database schema
xml documents
database objects
sql statements
relational algebra expressions
data mining algorithms
data analysis
object oriented
database technology