Theorem - FrequentPattern-Funktion durch konditionierte Datenbasis

• Bewiesen durch:
  • Menge ist häufig in Datenbasis gdw Menge ist häufig in konditionierte Datenbasis
• Involvierte Definitionen:
  • Transaktionsdatensatz
  • Konditionierte Datenbasis
  • FrequentPattern-Funktion
• Veranstaltung: EML
• Referenz: @thimm2024 (Abschnitt 3.3.3)

⠀

Theorem: FrequentPattern-Funktion durch konditionierte Datenbasis

Sei eine Menge beliebiger Elemente.
Sei ein Transaktionsdatensatz über .
Sei die Liste der häufigen Items, absteigend nach Häufigkeit sortiert (also das häufigste Item zuerst).

Dann gilt nach der Charakterisierung der FrequentPattern-Funktion: