16
Adding negation
•
Semipositive datalog:
•
Allow negation only on the EDBs
•
•
If we allow negation on IDBs, what is the
semantics ?