wiki_research

commit 5379fd4f38f8701bf67c5bd6e586c221028fc938
parent af78d60764ddc2ff7d8b7d602eb0ea1a00deee61
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 18 May 2026 00:41:12 +0200

commit with codex

Diffstat:
bodirsky2024symmetric
 | 
3
+++
datalog_linear
 | 
2
++
linear_datalog_conjecture
 | 
6
++++++
provenance
 | 
2
++
query_boolean
 | 
2
++
query_evaluation
 | 
2
++

6 files changed, 17 insertions(+), 0 deletions(-)
diff --git a/bodirsky2024symmetric b/bodirsky2024symmetric
@@ -5,5 +5,8 @@
 - [datalog_monadic]
 - [datalog_arc_monadic]
 - [datalog_symmetric_linear_arc_monadic]
+- [linear_datalog_conjecture]
 
 Up: [academic_paper] on [constraint_satisfaction_problem_datalog]
+
+See also: [kazda2019npermutability]
diff --git a/datalog_linear b/datalog_linear
@@ -9,3 +9,5 @@ occurs in [bodirsky2024symmetric]
 Up: [datalog]
 
 Aliases: linear Datalog
+
+See also: [linear_datalog_conjecture]
diff --git a/linear_datalog_conjecture b/linear_datalog_conjecture
@@ -0,0 +1,6 @@
+# Linear datalog conjecture
+
+mentionde in [bodirsky2024symmetric]: is it true that every
+[finite_domain_CSP] which is in [NL] can be solved by a [linear_Datalog] program
+
+Up: [conjecture], [datalog_linear]
diff --git a/provenance b/provenance
@@ -42,3 +42,5 @@ Kinds of provenance:
 See also: [explainability], [artificial_intelligence_explainable], [pqe]
 
 Up: [research]
+
+Aliases: data provenance
diff --git a/query_boolean b/query_boolean
@@ -11,6 +11,8 @@ In [logic], this is called a [sentence]
 - [Boolean_UCQ]
 - [Boolean_CRPQ]
 
+[computational_problem]: [query_evaluation_Boolean]
+
 Up: [query]
 
 Aliases: boolean query
diff --git a/query_evaluation b/query_evaluation
@@ -21,6 +21,8 @@
 - [query_evaluation_constraints]
 - [query_evaluation_constraint_satisfaction]
 
+- [query_evaluation_boolean]
+
 Up: [database_theory_problem]
 
 See also: [query_language], [enumeration_query_answers], [homomorphism_problem]