Axiomatization of frequent sets

T. Calders, J. Paredaens

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)


In data mining association rules are very popular. Most of the algorithms in the literature for finding association rules start by searching for frequent itemsets. The itemset mining algorithms typically interleave brute force counting of frequencies with a meta-phase for pruning parts of the search space. The knowledge acquired in the counting phases can be represented by frequent set expressions. A frequent set expression is a pair containing an itemset and a frequency indicating that the frequency of that itemset is greater than or equal to the given fre-quency. A system of frequent sets is a collection of such expressions. We give an axiomatization for these systems. This axiomatization characterizes complete systems. A system is complete when it explicitly contains all information that it logically implies. Every system of frequent sets has a unique completion. The completion of a system actually represents the knowledge that maximally can be derived in the meta-phase.
Original languageEnglish
Title of host publicationDatabase Theory - ICDT 2001 (Proceedings 8th International Conference, London, UK, January 4-6, 2001)
EditorsJ. Van den Bussche, V. Vianu
Place of PublicationBerlin
ISBN (Print)3-540-41456-8
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Axiomatization of frequent sets'. Together they form a unique fingerprint.

Cite this