Text this: Full predicate coverage for testing SQL database queries.