tuple_generating_dependency_multi_head (447B)
1 # Tuple generating dependency multi head 2 3 A [tuple_generating_dependency] with multiple [atoms] in the [head] of the [TGDs] 4 5 Studied in [gottlob2020multi] 6 7 Some open questions about [chase_termination], cf [gogacz2014all] 8 9 Classes: 10 11 - [tuple_generating_dependency_linear_multi_head] 12 13 Up: [tuple_generating_dependency] 14 15 Aliases: TGD multi head, TGDs multi head, multi head TGD, multi head TGDs, multiheaded rules, multi head rules, multihead rules