4.3.2.1: Selektor, Komplex, Abdeckung

Eine Disjunktion von elementaren Bedingungen an ein einzelnes Attribut wird Selektor genannt. Selektoren lassen sich also in der Form

(A_i=r₁)(A_i=r₂)...(A_i=r_k)=(A_i{r₁,...,r_k})
=A^-1_i({r₁,...,r_k})

schreiben. Eine Konjunktion von Selektoren heißt Komplex. Ein Komplex ist also eine spezielle konjunktive Normalform. Der Bedingungsteil einer Regel besteht aus einer Disjunktion von Komplexen, die Abdeckung ( Cover) genannt wird.