12
Datalog
•Definition.  EDB
Extensional relations = are those in s
•Definition. IDB
Intensional relations = m new relation names R1, …, Rm
•
•Definition. A datalog rule is:

where R =intensional
           f = conjunctive query
R(x)  :- f