4.6.2: Template

Sei wieder A={A₁,...,A_n} , A_i:D->{0,1} eine Menge von Attributen. Seien W₁,...,W_k+1A Teilmengen der Attribute. Ein Ausdruck W₁,...,W_kW_k+1 heißt (einfaches) Template. Eine assoziative Regel B₁,...,B_kB_k+1 wird von dem Template erfaßt, wenn, gegebenenfalls nach geeigneter Umordnung, für i=1,...,k+1 gilt B_iW_i .

Die W_i können durch Terme der Form W_i+ und W_i* ersetzt werden, wobei W_i+ bedeutet, dass ein oder mehrere Attribute aus W_i auftreten, und W_i* , dass Attribute aus W_i auftreten können aber nicht müssen. In diesem Fall spricht man auch von einem Template mit Wildcards.