www-ai.cs.tu-dortmund.de/PublicPublicationFiles/lindner_94b.pdf
ls8_report_12.dvi
lt(X3,X1) & ne(X2,X3) --> C(I).
krk2_m6(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X2,Y1) & P3(I,X3,Y1) &
lt(X1,X2) & lt(X1,X3) & ne(X2,X3) --> C(I).
krk2_m7(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X1,Y2) & P3(I,X1,Y3) & [...] lt(Y3,Y1) & ne(Y2,Y3) --> C(I).
krk2_m8(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X1,Y2) & P3(I,X1,Y3) &
lt(Y1,Y2) & lt(Y1,Y3) & ne(Y2,Y3) --> C(I).
krk2_m9(P1,P2,P3,C): P1(I,X1,Y1) & P2(I,X2,Y2) & P3(I,X2,Y3) & [...] C):P(X1,X3) & P(Y1,Y3) --> C(X1,Y1,X2,Y2,X3,Y3)
und zwei Datenbankrelationen r1 (zweistellig) und r2 (sechsstellig). Sei nun m1 vollin-
stanziiert:
r1(X1,X3) & r1(Y1,Y3)! r2(X1,Y1,X2,Y2,X3,Y3)
Die Variablen …