On conjunctive queries containing inequalities
The design and implementation of INGRES