Automated Verification of SQL Queries Using Theories of Tables and Relations

This work presents extensions to SMT theories to represent and analyze SQL queries with join, projection, and selection operations, supporting reasoning under both bag and set semantics for database tables.