https://github.com/georgia-tech-db/spes

Tool for checking whether two SQL queries are equivalent
https://github.com/georgia-tech-db/spes

Last synced: about 2 months ago
JSON representation

Tool for checking whether two SQL queries are equivalent

• Host: GitHub
• URL: https://github.com/georgia-tech-db/spes
• Owner: georgia-tech-db
• License: apache-2.0
• Created: 2020-12-31T22:34:54.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2023-05-09T08:26:42.000Z (over 1 year ago)
• Last Synced: 2024-04-24T11:13:51.772Z (8 months ago)
• Language: Java
• Homepage:
• Size: 62.5 KB
• Stars: 31
• Watchers: 3
• Forks: 15
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# SQL Query Equivalence

A tool for checking equivalence of SQL queries.

# z3 update

needs to build on z3 4.6 version:

github link: https://github.com/Z3Prover/z3/releases

# test case

1. check SimpleTest in test/java/SimpleQuery/Tests.