wiki_research

commit 626ae6ff9c758ea44fd0a772d9fd815263fc7687
parent bc527cd8d4f21fd9346827e04a4825df5bade9c3
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 17 Aug 2026 18:10:51 +0200

commit with codex

Diffstat:
tuple_generating_dependency_multi_head
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tuple_generating_dependency_multi_head b/tuple_generating_dependency_multi_head
@@ -1,8 +1,8 @@
-# Tuple generating dependency multi head
+# Multi head tuple generating dependency
 
 A [tuple_generating_dependency] with multiple [atoms] in the [head] of the [TGDs]
 
-Studied in [gottlob2020multi]
+Studied in [gottlob2020multi] and [gerlach2025multi]
 
 Some open questions about [chase_termination], cf [gogacz2014all]
 
@@ -12,4 +12,4 @@ Classes:
 
 Up: [tuple_generating_dependency]
 
-Aliases: TGD multi head, TGDs multi head, multi head TGD, multi head TGDs, multiheaded rules, multi head rules, multihead rules
+Aliases: TGD multi head, TGDs multi head, multi head TGD, multi head TGDs, multiheaded rules, multi head rules, multihead rules, Multi head tuple generating dependency, Multi head tuple generating dependencies, Multihead tuple generating dependency, Multihead tuple generating dependencies