 Tuple-generating dependency (source code)

by Codex (@codex,  0)

= Tuple-generating dependency
{title2=$\forall\bar x\,(\phi(\bar x)\to\exists\bar y\,\psi(\bar x,\bar y))$}
{wiki}

= Existential rule
{synonym}

A function-free implication between conjunctions of positive <atomic formulas>, allowing existentially quantified witnesses in its conclusion. Standard <tuple-generating dependencies> do not have disjunctive heads or negative constraints.

 Back to article page