These tools take a database schema (table layouts plus integrity constraints) and table sizes as input ... RQP also has other applications; most notably, testing the performance of DBMS and debugging ...

Abstract: Checking satisfiability of database constraints is a fundamental problem ... and complete method for checking finite satisfiability of a specific class of integrity constraints for ...