Verifying SQL queries using theories of tables and relations.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
cvc5: A Versatile and Industrial-Strength SMT Solver.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022