Datalog:s ˝ Datalog:i
•Every stratified datalog program can be expressed as an inflationary datalog program
•
•The “winning game”
query can be expressed in inflationary
datalog but not in stratified datalog
[ show the query in class ]
[
inexpressibility: Kolaitis’91, in Information and Control]