Computational Law
Law
without
Lawyers
 

Exercise 3.3 - Closure


What is C(Ω,Δ) where Ω is {r(X,Z) :- p(X,Z), r(X,Z) :- r(X,Y) & r(Y,Z)} and Δ is the dataset shown below?