Truffle Demo
Truffle is an SQL static analyzer. It maintains a stateful schema from previously run SQL queries and is able to verify various constraints, including type-checking expressions and verifying foreign keys.
You can start reading about it here. You can view the source code here.
Loading simulator...