Nicolas Bruno Surajit Chaudhuri Dilys Thomas Generating Queries with Cardinality Constraints for DBMS Testing. 1721-1725 2006 18 IEEE Trans. Knowl. Data Eng. 12 http://doi.ieeecomputersociety.org/10.1109/TKDE.2006.190 db/journals/tkde/tkde18.html#BrunoCT06