Formalizing data mining with association rules

A formal framework for data mining with association rules is introduced. The goal is to help to better understand to data mining process and to introduce a platform for automation of this process. Association rules are understood as general relations of two general Boolean attributes and logical calculus of association rules is used. Important items of domain knowledge are formalized and used in the data mining process.