Verifying SQL queries using theories of tables and relations

DOI10.29007/RLT7MaRDI QIDQ7025175zbMATH OpenFDO

Authors Mudathir Mahgoub Yahia Mohamed, Andrew Reynolds, Cesare Tinelli, Clark Barrett

Publication date 19 February 2025

zbMATH Keywords

relationssetstablesSQLSMTbags

Mathematics Subject Classification ID

Database theory (68P15)

This page was built for publication: Verifying SQL queries using theories of tables and relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025175)