On conjunctive queries containing inequalities
Relational completeness of data base sublanguages