Definition 21: Template
Sei wieder
A={A1,...,An}
,
Ai:D->{0,1}
eine Menge von Attributen.
Seien
W1,...,Wk+1 A
Teilmengen der Attribute.
Ein Ausdruck
W1,...,Wk Wk+1
heißt (einfaches)
Template.
Eine assoziative Regel
B1,...,BkBk+1
wird von diesem Template erfasst, wenn,
gegebenenfalls nach geeigneter Umordnung, für
i=1,...,k+1
gilt
Bi Wi
.
Die
Wi
können durch Terme der Form
Wi+
und
Wi*
ersetzt werden, wobei
Wi+
bedeutet, dass ein oder mehrere Attribute aus
Wi
auftreten, und
Wi*
, dass Attribute aus
Wi
auftreten können, aber nicht
müssen. In diesem Fall spricht man auch von einem Template mit
Wildcards.
|
