R. Ferber: Informationssysteme 1.4.1.1

3.1.1: Logik des Booleschen Retrieval

Die Grundidee des Booleschen Retrieval ist es, Mengenoperationen auf Mengen von Dokumenten oder Objekten anzuwenden, die durch Attributwerte charakterisiert sind. Ein Attribut ist dabei eine Abbildung, die einem Dokument einen Wert zuordnet. Der Grundbaustein einer Booleschen Anfrage ist ein Paar, das aus einem Attribut und einem dazugehörigen Attributwert ( Attribut-Wert-Paar) besteht und auch elementare Boolesche Anfrage genannt wird. Ein Attribut-Wert-Paar steht für die Menge der Dokumente, bei denen das entsprechende Attribut den angegebenen Wert annimmt, die also die elementare Anfrage erfüllen. Elementare Anfragen können durch die Operatoren AND, OR und NOT verknüpft werden.

Formal lässt sich das so formulieren: Bezeichne D eine Menge von Dokumenten und t:D->T , t(d)=t_i ein Attribut, so ist

D_{t,t_i}=t^-1({t_i})={dD | t(d)= t_i}

die Menge der Dokumente, bei denen das Attribut t den Wert t_i annimmt, die also durch den Attributwert t_i charakterisiert sind. Diese Menge wird als Ergebnismenge der elementaren Anfrage, die nur aus (t,t₁) besteht, zurückgeliefert. Sind in einer Anfrage zwei Attribut-Wert-Paare durch einen Booleschen Operator verknüpft, wird damit die entsprechende Verknüpfung der Dokumentmengen bezeichnet: (t,t₁) AND (s,s₁) bezeichnet den Durchschnitt D_t,t₁D_s,s₁ , der Ausdruck (t,t₁) OR (s,s₁) die Vereinigung D_t,t₁D_s,s₁ und der unäre Operator NOT (t,t₁) das Komplement D\D_t,t₁ . Letzterer wird i. a. nur in Verbindung mit dem AND Operator eingesetzt, um bestimmte Dokumente aus einer Ergebnismenge auszuschließen. Da bei diesen Operationen wieder Mengen entstehen, können die Operatoren AND, OR und NOT auch auf diese Mengen angewendet werden. Durch geeignete Klammerung können so beliebig tief geschachtelte Ausdrücke gebildet werden, mit denen komplexe Mengen beschrieben werden können.