Updated Verified Database Queries