VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints

VeriEQL은 복잡한 SQL 쿼리의 경계 동등성을 검증하는 첫 번째 SMT 기반 접근 방식이며, 복잡한 SQL 쿼리의 경계 동등성을 증명하고 반박할 수 있습니다.