wiki_research

commit edb1ea6fc1e6dbd12e434beb8dab088adec71ed1
parent 99772ef40c06127b4ce84a967efd5f8681951500
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 24 Jan 2025 11:06:14 +0100

Merge branch 'master' of a3nm.net:git/wiki_research

Diffstat:
annotation_transducer
 | 
4
++--
automata_unary
 | 
2
++
functional_dependency
 | 
6
+++++-
green2007provenance
 | 
2
++
relational_model
 | 
11
+++++++++++
st_reliability
 | 
9
+++++++++

6 files changed, 31 insertions(+), 3 deletions(-)
diff --git a/annotation_transducer b/annotation_transducer
@@ -1,9 +1,9 @@
 # Annotation transducer
 
 formalism of [automata]
-- called "annotated automata] in [munoz2023constant]
+- called "annotated automata" in [munoz2023constant]
 - used in [gawrychowski2024revisiting]
 
 Up: [spanner]
 
-See also: [spanner_transducer]
+See also: [spanner_transducer], [annotated_relations]
diff --git a/automata_unary b/automata_unary
@@ -1,5 +1,7 @@
 # Automata unary
 
+#TODO universality complexity?
+
 [Automata] on [alphabet_unary]
 
 - for [DFAs]: [ultimately_periodic]
diff --git a/functional_dependency b/functional_dependency
@@ -3,7 +3,7 @@
 ## Special cases
 
 - [key]
-- "simple": X -> Y where X and Y are singleton [attribute]s
+- "simple": X -> Y where X and Y are singleton [attributes]
   - also called "unary"? [functional_dependency_unary]
 
 ## Problems
@@ -20,6 +20,10 @@
 
 - [functional_dependency_approximate]
 
+## Generalizations
+
+- [path_functional_dependency]
+
 Up: [equality_generating_dependency]
 
 Aliases: FD, FDs
diff --git a/green2007provenance b/green2007provenance
@@ -3,3 +3,5 @@
 [provenance] for [conjunctive_query] and [union_of_conjunctive_queries] and [datalog] ([provenance_datalog], using [derivation_tree]) via [semiring] and [formal_series]
 
 Up: [academic_paper] on [provenance]
+
+See also: [provenance_semirings]
diff --git a/relational_model b/relational_model
@@ -0,0 +1,11 @@
+# Relational model
+
+- [database_relation]
+- [database_instance]
+- [attribute]
+- [named_perspective] / [unnamed_perspective]
+- [tuple]
+- [query]
+- [relational_algebra] / [relational_calculus]
+
+Up: [databases]
diff --git a/st_reliability b/st_reliability
@@ -0,0 +1,9 @@
+# st-reliability
+
+The case of [network_reliability] with a fixed source and target
+
+Can be posed on [directed_graphs] and [undirected_graphs]
+
+[st_reliability_approximation]
+
+Up: [network_reliability]