Relations in GUHA Style Data Mining

The formalism of GUHA style data mining is confronted with the approach of relational structures of Orlowska and others. A computational complexity result on tautologies with implicational quantifiers is presented.