4.3.1.1: Normalformen

Sei A_i:D->R_i ,  i{1,...,n} , eine Menge von Attributen auf einer Dokumentenmenge D . Eine Regel ist in konjunktiver Normalform, wenn sie als Konjunktion von Disjunktionen von elementaren Bedingungen geschrieben ist, d. h. die Form

hat.

Sie ist in disjunktiver Normalform, wenn sie als Disjunktion von Konjunktionen von elementaren Bedingungen geschrieben ist:

Dabei gilt die Notation _i=1^ND_i=D₁...D_N bzw. _i{1,...,N}D_i=D₁...D_N wie bei Summenzeichen etc.