Tuple-generating dependency ($\forall \bar{x}(\varphi (\bar{x})\to \exists \bar{y}\psi (\bar{x},\bar{y}))$)

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.