Automated Reasoning of Database Queries