Question
Consider the Datalog program P: T (x) e(x), T(x) a(x,y)^T(y)^b(x,z)^T(z). (a) Describe, in your own words, the kind of structures that the query hT,Pi recog-
Consider the Datalog program P:
T (x) e(x), T(x) a(x,y)^T(y)^b(x,z)^T(z).
-
(a) Describe, in your own words, the kind of structures that the query hT,Pi recog- nises.
-
(b) Compute the semi-naive evaluation of P for the database D with the following
facts:
e(1) e(2) e(6) a(3, 1) a(4, 3) a(5, 3) a(7, 5) b(3, 2) b(5, 3) b(7, 6) Specify for each newly derived fact which of the rule(s) will produce it at the given
point in the derivation.
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started
Advances In Databases And Information Systems Second East European Symposium Adbis 98 Poznan Poland September 1998 Proceedings Lncs 1475
Authors: Witold Litwin ,Tadeusz Morzy ,Gottfried Vossen
1st Edition
3540649247, 978-3540649243
