Question: Consider the datalog program P defined as follows: par (X,Z), par(Z,Y). par (X,Z), par(Z,W), par(W,Y). r(X,Y) :- s (X,Y) :- (a). Given the facts

Consider the datalog program P defined as follows: r(X,Y) :- par(x,z), par (Z,Y). s(X,Y) :- par (X,Z), par (2,W), par(W,Y). (

Consider the datalog program P defined as follows: par (X,Z), par(Z,Y). par (X,Z), par(Z,W), par(W,Y). r(X,Y) :- s (X,Y) :- (a). Given the facts r(0,1) and s (1,2), determine all possible tuples derived in "par", and justify your answer. (b). Express P in (1) Relational Algebra and in (2) Domain Relational Calculus (DRC) languages.

Step by Step Solution

3.44 Rating (151 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Computer Engineering Questions!