12
Datalog
•
Definition
.
EDB
Extensional relations = are those in
s
•
Definition
. IDB
Intensional relations = m new relation names R
1
, …, R
m
•
•
Definition
. A datalog rule is:
where R =intensional
f
= conjunctive query
R(
x
)
:-
f