wiki_research

commit 30e63552e55e9fa3bd88d33aa2d0f608c326d539
parent 31f9fdcba6e4e9e97d9a0c2fa8faebafc06c60cd
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 10 Jan 2025 14:16:21 +0100

commit with codex

Diffstat:
database_theory_concepts
 | 
1
+
datalog_nonrecursive
 | 
9
+++++++++
dynamic_connectivity_practice
 | 
5
+++++
gray_code
 | 
2
++
k_relation
 | 
4
+++-

5 files changed, 20 insertions(+), 1 deletion(-)
diff --git a/database_theory_concepts b/database_theory_concepts
@@ -11,5 +11,6 @@
 - [query_containment]
 - [omqa]
   - [omqa_finite] vs [omqa_unrestricted]
+- [tuple]
 
 Up: [database_theory]
diff --git a/datalog_nonrecursive b/datalog_nonrecursive
@@ -0,0 +1,9 @@
+# Datalog nonrecursive
+
+[Datalog] which is not [query_recursive]
+
+Equivalent in [expressiveness] to [UCQs], but there can be [sharing] of common subexpressions
+
+Up: [datalog]
+
+Aliases: nonrecursive Datalog
diff --git a/dynamic_connectivity_practice b/dynamic_connectivity_practice
@@ -0,0 +1,5 @@
+# Dynamic connectivity practice
+
+[chen2025experimental]
+
+Up: [dynamic_connectivity], [practice]
diff --git a/gray_code b/gray_code
@@ -5,6 +5,8 @@
     - cf [minimal_absent_word]
 - older survey: [savage1997survey]
 
+- [shuffle_exchange_network] [feldmann1996shuffle]
+
 Up: [enumeration]
 
 See also: [middle_levels_conjecture], [torsten]
diff --git a/k_relation b/k_relation
@@ -1,6 +1,6 @@
 # K-relation
 
-A [relation] where the [tuple]s are annotated by a value from a [semiring]
+A [relation] where the [tuples] are annotated by a value from a [semiring]
 
 Used in:
 
@@ -10,3 +10,5 @@ Used in:
 Up: [relation] with [semiring]
 
 See also: [database_instance]
+
+Aliases: k-relations, k_relations, k-relation