commit 0e2cdfcc1444c640f9878f01ff8a70689ad613c1
parent 3cd2d3b85c3e5f08c06ced4da1a85de78f7faf4e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 30 Jul 2025 23:02:04 +0200
commit with codex
Diffstat:
3 files changed, 11 insertions(+), 4 deletions(-)
diff --git a/im2024convergence b/im2024convergence
@@ -0,0 +1,7 @@
+# Im2024convergence
+
+[academic_paper] at [ICDT_2024] about [convergence] of [datalog]
+
+[datalogo_linear] rate of [convergence]: better than exponential bound for [stable_semirings]
+
+Up: [academic_paper], [datalog]
diff --git a/probabilistic_databases b/probabilistic_databases
@@ -25,7 +25,7 @@
- [pqe_applications]
- [probabilistic_databases_practice]
-See also: [relational_algebra], [relational_calculus]
+See also: [relational_algebra], [relational_calculus], [probabilistic_databases_book]
Up: [database_theory]
diff --git a/vardi1989note b/vardi1989note
@@ -1,7 +1,7 @@
# Vardi1989note
-Explains [conversion_automata] of [automata_two_way] into a one-way [automata_nondeterministic]
+By [moshe_vardi]
-Up: [academic_paper] about [automata_two_way]
+Explains [conversion_automata] of [two_way_automata] into a one-way [NFA]
-See also: [vardi]
+Up: [academic_paper] about [two_way_automata]