commit 1ad87eb1c5d1645807e5f1dda622e71d533c414a
parent 2d583a1c07eb83675481aae82acb2fc0a2ff2751
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 1 Apr 2026 14:04:05 +0200
commit with codex
Diffstat:
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/conjunctive_query_signed b/conjunctive_query_signed
@@ -7,6 +7,6 @@ a [conjunctive_query] with [negation] on some [atoms]
- [fink2016dichotomies]
- [enumeration_cqs]: see [segoufin2015constant] which cites [brault2014pertinence]
-Up: [conjunctive_query] with [negation]
+Up: [conjunctive_query], [queries_with_negation]
See also: [hypergraph_signed]
diff --git a/self_join b/self_join
@@ -7,6 +7,6 @@ A *self join* means reusing the same [database_relation] twice in [conjunctive_q
Up: [conjunctive_query], [join]
-See also: [sjfcq], [conjunctive_query_self_join_free]
+See also: [sjfcq], [conjunctive_query_self_join_free], [self_join_freeness]
Aliases: self joins, self-join, self-joins
diff --git a/sjfcq b/sjfcq
@@ -8,6 +8,6 @@ Special cases:
- [acyclic_SJFCQ]
- [boolean_SJFCQ]
-Up: [conjunctive_query], [self_join]
+Up: [conjunctive_query], [self_join_freeness]
Aliases: self join free CQ, self join free CQs, selfjoin free CQ, selfjoin free CQs, cq self join free, cqs self join free, self-join-free CQ, self-join-free CQs, conjunctive query self join free, SJFCQs, self join free query, self join free queries
