Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited