ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/Da-Halfter.pdf
diplom5000.dvi
Beispiel:
3.2. DATALOG 13
vk(“A“, “B“); (3.1)
vk(“B“, “C“); (3.2)
vk(“C“, “D“); (3.3)
vk(“C“, “E“); (3.4)
vk(“F “, “G“); (3.5)
V or(x, z) |= vk(x, z); (3.6)
V or(x, z) |= V or(x, Y ) ∧ vk(Y, z); (3.7)
Wobei [...] SELECT DISTINCT t1.un, t3.ro FROM unitof t1, unitin t2, role t3
WHERE
t1.ob="file_id_1"
AND t2.ch=t1.un
AND t2.fa="Netzwerk"
AND t3.ur="Hein"
AND t3.un=t1.un;
’t1.un’ bzw. ’t3.ro’ liefern die möglichen [...] 2“, s, o, “ + a“)
GrantS3(“S3“, s, o, “ − a“) |= GrantS1(“S1“, s, o, “ − a“) (B.2)
∧ GrantS2(“S2“, s, o, “ − a“)
GrantS3(“S3“, s, o, “ + a“) |= GrantS1(“S1“, s, o, “ + a“) (B.3)
∧ ¬GrantS2(“S2“, s, o, …
