The project aims to create a set of test databases which might satisfy a given query Q.So given a query Q the s/w generates result R and input databases D such that Q(D) = R.The software has applications in functional verification of query processors