Proof of SQL