www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_96h.pdf
ls8-report-20.dvi
rules C
1
; C
2
; : : : ; C
i
; C
i+1
2 P
0
I
C
1
= (Q
1
A
1
), such that C
1
1
= (
Q
1
A
1
) with
A
1
=
A
t
and
Q
1
2 T
1
P
0
I
(P
E
)
(C
2
= Q
2
Q
1
A
2
), such that C
2
2
= (
Q
2
Q
1
A
2
) [...] s5,1,10)
abcq (t1,90,s5,1,10)
1p (t1,s5,1,15),
a(t1,90,s5,1,8) b(t1,90,s5,8,10) c(t1,90,s5,10,15)
p (t1,s5,1,15)2
Figure 16: Derivation tree for p
1
(t1; s5; 1; 15)
mapping for the component programs and [...] given an EDB-instance.
57
q (t1,90,s5,1,8)a
abq (t1,90,s5,1,10)
q (t1,90,s5,1,15)abc
abcdq (t1,90,s5,1,17)
3p (t1,s5,1,17)
a(t1,90,s5,1,8) b(t1,90,s5,8,10) c(t1,90,s5,10,15) d(t1,90,s5,15,17)
Figure 17: Derivation …