Itemset frequency satisfiability : complexity and axiomatization

T. Calders

    Research output: Contribution to journalArticleAcademicpeer-review

    16 Citations (Scopus)
    1 Downloads (Pure)


    Computing frequent itemsets is one of the most prominent problems in data mining. We study the following related problem, called FREQSAT, in depth: given some itemset-interval pairs, does there exist a database such that for every pair the frequency of the itemset falls into the interval? This problem is shown to be -complete. The problem is then further extended to include arbitrary Boolean expressions over items and conditional frequency expressions in the form of association rules. We also show that, unless equals , the related function problem–find the best interval for an itemset under some frequency constraints–cannot be approximated efficiently. Furthermore, it is shown that FREQSAT is recursively axiomatizable, but that there cannot exist an axiomatization of finite arity.
    Original languageEnglish
    Pages (from-to)84-111
    JournalTheoretical Computer Science
    Issue number1-2
    Publication statusPublished - 2008


    Dive into the research topics of 'Itemset frequency satisfiability : complexity and axiomatization'. Together they form a unique fingerprint.

    Cite this