Verifying SQL Queries using Theories of Tables and Relations.

Mudathir Mohamed Andrew Reynolds Cesare Tinelli Clark W. Barrett

Published in: CoRR (2024)

Keyphrases

sql queries
relational databases
stored in a relational database
relational operators
relational database systems
databases
database schema
relational algebra expressions
database
relational queries
data mining algorithms
xml documents
database systems
data mining
data storage
data streams
fuzzy relations