put WHERE clause in CNF and apply indexes to more queries