Patent ID: 8200655

Claim:
A computer-implemented method performed by a processor, the method comprising: testing a database management system of a database by: generating in the database at least one data record based on a database query to the database management system, so that upon execution of the database query by the database management system the at least one data record is involved in processing the database query; wherein said generating comprises: identifying a set of constraints in the database query; determining a satisfaction problem of a data record that is characterized in satisfying at least a portion of the set of constraints; solving the satisfaction problem using a satisfaction problem solver, thereby determining the data record, wherein the satisfaction solver is selected from a group consisting of: a Constraint Satisfaction Problem (CSP) solver, a Boolean satisfiability problem (SAT) solver, a theorem prover, and a linear programming solver; and updating the database to include the data record; performing the database query by the database management system, wherein operation of the database management system is affected by the database retaining the at least one data record; and whereby the database management system is tested with respect to the database query.