Definition 14: Normalformen
Sei
Ai:D->Ri
, i {1,...,n}
, eine Menge von Attributen auf
einer Dokumentenmenge D
. Eine Regel liegt in konjunktiver
Normalform
vor, wenn sie als Konjunktion von Disjunktionen
von elementaren Bedingungen geschrieben ist, d.h. die
Form
|
 |
X1,...,Xm
{
(k,r)
| k
{1,...,n}
,rRk}
|
|
(
|
|
 |
| (k,r)Xl |
|
(Ak=r) |
) |
hat.
Sie liegt in disjunktiver
Normalform
vor, wenn sie als Disjunktion von Konjunktionen
von elementaren Bedingungen geschrieben ist:
|
|
| X1,...,Xm{
(k,r)
| k{1,...,n},r
Rk} |
|
(
|
|
|
| (k,r)Xl |
|
(Ak=r) |
) |
Dabei gilt die Notation
bzw.
wie bei Summenzeichen.
|
...