commit e8bade69562ddecb34f8417ab7fa9ad26e6a347b
parent 6d1caa31e51af465ecea685eb09bea394dff51c6
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 29 Apr 2026 23:54:37 +0200
commit with codex
Diffstat:
6 files changed, 10 insertions(+), 3 deletions(-)
diff --git a/cut_and_paste_updates b/cut_and_paste_updates
@@ -2,5 +2,6 @@
- [split_update]
- [concatenation_update]
+- [enumeration_cut_and_paste_updates]
Up: [update_word]
diff --git a/database_dependency b/database_dependency
@@ -29,3 +29,5 @@ An [implication] in [first_order_logic] with [universal_quantifiers] and with a
Up: [integrity_constraint]
Aliases: dependencies, dependency, database dependencies
+
+See also: [reasoning_rules]
diff --git a/database_repairs b/database_repairs
@@ -13,4 +13,4 @@ Up: [database_theory]
See also: [language_repair], [graph_modification], [query_repairs], [data_cleaning]
-Aliases: database repair
+Aliases: database repair, data repair, data repairs
diff --git a/reachability b/reachability
@@ -8,4 +8,4 @@
Up: [computational_problem], [graph_theory]
-Aliases: reachability problem
+Aliases: reachability problem, reachability problems
diff --git a/regular_language_dichotomies b/regular_language_dichotomies
@@ -9,6 +9,8 @@
- [bagan2020trichotomy] about [simple_path_trichotomy]
- [martens2023trichotomy] about [trail_trichotomy]
+- [amarilli2026out] about [out_of_order_membership]
+
Up: [regular_language], [dichotomy]
-See also: [trichotomy]
+See also: [trichotomy], [query_stratification]
diff --git a/structuredness b/structuredness
@@ -4,6 +4,8 @@ A [Boolean_circuit] in [DNNF] that has a [vtree]
- [circuit_restructuring]
+- [circuit_structuredness_detecting]
+
[Circuit_classes]:
- [dSDNNFs]
