Published March 7, 2024
| Version v5
Software
Open
Artifact Evaluation VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Authors/Creators
Description
Oopsla24 artifact evaluation for the paper of VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Files
README.pdf
Files
(3.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3c098640f2df3ab49ec88a09d0ae0aef
|
430.6 kB | Preview Download |
|
md5:8869ce8f900bd11d7a2f85a12032b18b
|
2.9 MB | Preview Download |
Additional details
Dates
- Updated
-
2024-03-06