Verifying SQL queries using theories of tables and relations.

Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett

Browse the full LPAR paper archive.