commit 8e881ad35026ec3d65daf150f247978aad0acb62
parent 94f279bd36ebb42cabdf262d066953b3d3a2feba
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Mon, 28 Sep 2026 08:16:25 +0200
commit with codex
Diffstat:
13 files changed, 41 insertions(+), 35 deletions(-)
diff --git a/conjunctive_query b/conjunctive_query
@@ -13,7 +13,7 @@ Subclasses:
Generalization:
- [conjunctive_query_signed]
-- [conjunctive_query_inequalities]
+- [conjunctive_query_disequalities]
Up: [query_language]
diff --git a/conjunctive_query_disequality b/conjunctive_query_disequality
@@ -0,0 +1,11 @@
+# Conjunctive query disequality
+
+A [CQ] with [disequalities]
+
+- [union_of_conjunctive_queries_disequality]
+
+Up: [conjunctive_query], [query_disequality]
+
+See also: [query_with_negation]
+
+Aliases: CQ inequalities, conjunctive query inequalities, CQs with inequalities, CQ with inequalities, conjunctive query inequality, Conjunctive query inequality, conjunctive query disequalities, CQ disequalities
diff --git a/conjunctive_query_inequality b/conjunctive_query_inequality
@@ -1,11 +0,0 @@
-# Conjunctive query inequality
-
-A [CQ] with [inequality_mathematics]
-
-- [union_of_conjunctive_query_inequality]
-
-Up: [conjunctive_query], [query_inequality]
-
-See also: [query_with_negation]
-
-Aliases: CQ inequalities, conjunctive query inequalities, CQs with inequalities, CQ with inequalities
diff --git a/datalog_negation_provenance b/datalog_negation_provenance
@@ -2,6 +2,6 @@
[bogaerts2025why] [bogaerts2026why]
-Up: [datalog_negation], [datalog_provenance]
+Up: [datalog_negation], [datalog_provenance], [provenance_negation]
Aliases: datalog provenance negation
diff --git a/disequality b/disequality
@@ -0,0 +1,7 @@
+# Disequality
+
+The [negation] of an [equality]
+
+Up: [mathematics]
+
+Aliases: disequality mathematics, disequalities
diff --git a/inequality_mathematics b/inequality_mathematics
@@ -1,6 +1,5 @@
# Inequality (mathematics)
-- [conjunctive_query_inequality]
- [enumeration_inequality]
See also: [concentration_inequality], [partial_order], [inequation], [disequality], [equality], [comparison]
diff --git a/query_disequality b/query_disequality
@@ -0,0 +1,10 @@
+# Query disequality
+
+[Queries] with [disequalities] to say that two [variables] cannot be mapped to the same [domain_element]
+
+- [conjunctive_query_disequality]
+- [union_of_conjunctive_queries_disequality]
+
+Up: [query_language]
+
+Aliases: query inequalities, Query inequality, query disequalities
diff --git a/query_inequality b/query_inequality
@@ -1,10 +0,0 @@
-# Query inequality
-
-A [inequality_mathematics] in a [query], to say that two [variables] cannot be mapped to the same [domain_element]
-
-- [conjunctive_query_inequality]
-- [union_of_conjunctive_queries_inequality]
-
-Up: [query_language]
-
-Aliases: query inequalities
diff --git a/query_language b/query_language
@@ -21,8 +21,8 @@
- [datalog]
- with [negation]
- with [aggregation]
-- [aggregation]
-- [query_inequality]
+- [query_aggregation]
+- [query_disequality]
## Subclasses
diff --git a/query_resilience b/query_resilience
@@ -21,7 +21,7 @@ By [query_class]:
- gives a [dichotomy] for [SJFCQs]
- their notion of [triads] is called [active_triads] in [makhija2022unified]
- [freire2019new] for [CQs] with [self_joins]
-- [qin2022resilience]: for [SJFCQs] with [query_inequalities]
+- [qin2022resilience]: for [SJFCQs] with [query_disequalities]
- [makhija2022unified] with [neha]
- also talks about [causal_responsibility]
- results on [SJFCQs] in [bag_semantics]:
diff --git a/unbounded_homomorphism_closed_query b/unbounded_homomorphism_closed_query
@@ -6,4 +6,4 @@ A [homomorphism_closed] which is [unbounded_query], i.e., not equivalent to a [U
Up: [homomorphism_closed], [unbounded_query]
-Aliases: Unbounded homomorphism closed queries
+Aliases: Unbounded homomorphism closed queries, unbounded homclosed query, unbounded homclosed queries
diff --git a/union_of_conjunctive_queries_disequality b/union_of_conjunctive_queries_disequality
@@ -0,0 +1,7 @@
+# Union of conjunctive queries disequality
+
+A [disjunction] of [CQs_with_disequalities]
+
+Up: [UCQ], [query_disequality]
+
+Aliases: union of conjunctive query inequality, Union of conjunctive queries inequality, UCQ inequality, UCQ disequality, unions of conjunctive query disequality
diff --git a/union_of_conjunctive_queries_inequality b/union_of_conjunctive_queries_inequality
@@ -1,7 +0,0 @@
-# Union of conjunctive queries inequality
-
-A [disjunction] of [CQs_with_inequalities]
-
-Up: [UCQ], [query_inequality]
-
-Aliases: union of conjunctive query inequality
