wiki_research

commit f80a3c06cf45c6542ae3e93bd3fad8995eec3c7b
parent 94283c704a3f6a828bfd944b9779ce660a8196c9
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 26 May 2025 17:30:03 +0200

commit with codex

Diffstat:
definability_problem
 | 
9
+++++++++
synthetic_witness
 | 
2
+-

2 files changed, 10 insertions(+), 1 deletion(-)
diff --git a/definability_problem b/definability_problem
@@ -0,0 +1,9 @@
+# Definability problem
+
+For a [query_class] C, given a [database] D and set of [query_answers] a, decide if there is a [query] Q in C such that Q(D) = a
+
+See also: [synthetic_witness], [Logical_separability]
+
+Up: [database_theory]
+
+Aliases: query definability
diff --git a/synthetic_witness b/synthetic_witness
@@ -6,6 +6,6 @@ Given a [query] Q and [query_answer] A, a *synthetic witness* is a [database] D 
   - [synthetic_witness_existence]
   - [minimal_synthetic_witness]
 
-See also: [minimal_witness]
+See also: [minimal_witness], [definability_problem]
 
 Up: [database_theory]