ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/Da-Halfter.pdf
diplom5000.dvi
10 | 1 1 1 1
Query Failures : 1 1 1 1 | 22 22 22 22
Query Errors : 0 0 0 0 | 0 0 0 0
|
Rule Success : 4 4 0 0 | 0 0 0 0
Rule Failures : 0 0 0 0 | 23 23 23 23
|
Leave Success : 1 1 10 4 | 1 1 1 1
Leave [...] (Negiertes Blattprädikat)
SELECT DISTINCT t1.un FROM role t1
WHERE
t1.ur="Hein"
AND t1.ro="Programmer"
AND NOT EXISTS (
SELECT * FROM unitin n1
WHERE
n1.ch=t1.un
AND n1.fa="Crypto");
9.3.3 Komperatoren
Ein [...] “ − r“);
Subtype(t1, t2) |= typein(t1, t2); (A.13)
Subtype(t1, t2) |= typein(t1, T ) ∧ Subtype(T, t2); (A.14)
Subunit(u1, u2) |= unitin(u1, u2); (A.15)
Subunit(u1, u2) |= unitin(u1, U) ∧ Subunit(U, u2); …