Theorem - Menge ist häufig in Datenbasis gdw Menge ist häufig in konditionierte Datenbasis

• Involvierte Definitionen:
  • Transaktionsdatensatz
  • Konditionierte Datenbasis
  • FP-Baum
  • FPTree-Algorithmus
• Veranstaltung: EML
• Referenz: @thimm2024 (Abschnitt 3.3.3)

⠀

Theorem: Menge ist häufig in Datenbasis Menge ist häufig in konditionierte Datenbasis

Sei eine Itemmenge.
Sei ein Transaktionsdatensatz über .
Sei ein FP-Baum zu .
Sei eine absteigend sortierte Liste von Elementen mit .

Sei und ein FP-Knoten aus .
Sei .

Dann gilt:

mit ist eine -häufige Menge in

ist eine -häufige Menge in .