commit d027a5536e30aed0456df071a207768d67d671be
parent 1ad87eb1c5d1645807e5f1dda622e71d533c414a
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Tue, 7 Apr 2026 09:51:30 +0200
commit with codex
Diffstat:
7 files changed, 19 insertions(+), 5 deletions(-)
diff --git a/conjunctive_query_diversity b/conjunctive_query_diversity
@@ -6,4 +6,4 @@
Up: [diversity] of [conjunctive_query]
-See also: [conjunctive_query_representativity]
+See also: [conjunctive_query_representativity], [sampling_query_answers]
diff --git a/conjunctive_query_representativity b/conjunctive_query_representativity
@@ -4,4 +4,4 @@
Up: [representativity] of [conjunctive_query]
-See also: [conjunctive_query_diversity]
+See also: [conjunctive_query_diversity], [sampling_query_answers]
diff --git a/constant_free_query b/constant_free_query
@@ -0,0 +1,11 @@
+# Constant-free query
+
+A [query] which does not feature [query_constants]
+
+There are [constant_removal_techniques], e.g., coding them to a [unary_predicate]
+
+Up: [query]
+
+Aliases: Constant-free query, constant free queries, constant-free queries
+
+See also: [unique_name_assumption]
diff --git a/enumeration_diversity b/enumeration_diversity
@@ -1,6 +1,6 @@
# Enumeration diversity
-- [merkl2023diversity]
+- [merkl2023diversity] / [merkl2025diversity]
Up: [diversity], [enumeration]
diff --git a/probabilistic_circuit b/probabilistic_circuit
@@ -9,7 +9,7 @@
optional conditions:
- [smooth]
- [determinism]: disjoint support on the inputs (= non-zero proba mass?)
-- [structured]
+- [structuredness]
we want to do [maximum_a_posteriori] on such circuits
- [marginal_maximum_a_posteriori], MMAP
@@ -28,3 +28,5 @@ connections to other kinds of [polynomials] than [probability_distributions]: se
See also: [arithmetic_circuit], [circuit_algebraic]
Up: [circuit], [probabilities]
+
+Aliases: probabilistic circuits
diff --git a/query b/query
@@ -7,6 +7,7 @@
- [non_Boolean_query]
- [query_with_negation]
- [database_returning_queries]
+- [query_constants] / [constant_free_query]
## Problems
diff --git a/structure b/structure
@@ -13,6 +13,6 @@ Operations:
Up: [logic]
-See also: [relational_instance]
+See also: [relational_instance], [structuredness]
Aliases: structure (logic)
