[RuleML-all] RuleML 0.91 Naf Datalog and Integrity

[David Dossot]

Despite what I said below, I still can not implement an integrity constraint
in Naf Datalog 0.91. When I thought using an explicit body would help me, I
in fact misunderstood the Entails document model.

    Entails: ( oid?, (body | Rulebase), (head | Rulebase) )

What limits me is what I can use in a Rulebase (or head) to express the
integrity query. head is not enough, as it can only contain an Atom and
Rulebase is also not fitted as its content model:

    Rulebase: ( oid?, ( formula | Atom | Implies | Equivalent | Forall )* )

does not allow Query. I could use an Implies, from which I would ignore its
head, but this is clunky.

Thanks for your help,
David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.ruleml.org/pipermail/ruleml-all/attachments/20080329/6284ee52/attachment.htm