The Logic Properties of Association Rules and its Application

In this paper it firstly attends to the theoretical foundations of data mining technologies, especially the association rules discovering. Several classes of association rules are defined such as transitive quantifiers, double transitive quantifiers and founded-equivalent transitive quantifiers, e.t. and discussed these properties of some 4ft quantifiers. Then based on the procedure 4ft-Miner some experiments was turn out and the flexible result was excellent. In the later give their relationship among them and the future works about this problem.