Questions tagged [datalog]

The tag has no usage guidance.

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2
votes
0answers
41 views

Datalog maintaining views incrementally with negation

Given a single IDB rule $$R(x) \ \mathop{:\!\!-} \ A(x), \lnot B(x)$$ Where $A$ and $B$ are EDB predicates, how would I go about calculating changes to $R$ as tuples are added to $B$? As I ...
1
vote
0answers
68 views

Datalog Program Equivalence with Fixed Universe Size

It is well known that to compute equivalence of two Datalog programs (or equivalently of two first order formulas with the least fixed point operator) wrt all possible inputs and universes, is ...