Reverse Query Processing
An AGENDA for testing relational database applications