Definition 15: Selektor, Komplex, Abdeckung
Sei D
eine Menge von konsistenten Beispielen
mit Attributen Ai:D->Ri
,
i=1,...,n. Eine Disjunktion von elementaren Bedingungen an ein einzelnes
Attribut wird Selektor
genannt. Selektoren lassen sich also in der Form
(Ai=r1)
 (Ai=r2)
...(Ai=rk)
=(Ai {
r1,...,rk})
=A-1i(
{r1,...,rk}
)
|
schreiben. Eine Konjunktion von Selektoren heißt
Komplex. Ein Komplex ist
also eine spezielle konjunktive Normalform.
Der Bedingungsteil einer AQ-Regel besteht aus einer
Disjunktion von Komplexen, die
Abdeckung
(cover) genannt wird.
|
