wiki_research

commit 002cbd675f5a01d77a91da9fec2a028d16208294
parent 385133318fc14b55803d0f65c52ab32718a2de8f
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]