commit 9a9a5b15a5dd738fbb7abe47f1b2d94bb05e2f27
parent 30e63552e55e9fa3bd88d33aa2d0f608c326d539
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Fri, 10 Jan 2025 14:41:08 +0100
commit with codex
Diffstat:
6 files changed, 47 insertions(+), 0 deletions(-)
diff --git a/certain_answers b/certain_answers
@@ -0,0 +1,9 @@
+# Certain answers
+
+Given a [query] Q and [uncertain_data] D, a *certain answer* is a [query_answer] which is true on every [possible_world] of D. If Q is a [Boolean_query], we talk about the query being certain
+
+- [gheerbrant2023querying]
+
+Up: [uncertain_data]
+
+Aliases: certain answer
diff --git a/conjunctive_query_boolean b/conjunctive_query_boolean
@@ -0,0 +1,5 @@
+# Conjunctive query boolean
+
+[conjunctive_query] with no [output_variable], all variables are [existentially_quantified]
+
+Up: [conjunctive_query], [query_boolean]
diff --git a/conjunctive_query_full b/conjunctive_query_full
@@ -0,0 +1,7 @@
+# Conjunctive query full
+
+A [CQ] without [projection]; also called a [join] query
+
+Up: [conjunctive_query], [query_full]
+
+Aliases: full conjunctive query, full CQ, full CQs
diff --git a/query_boolean b/query_boolean
@@ -0,0 +1,11 @@
+# Boolean query
+
+A [query] whose [query_answer] is a [Boolean]: either the query holds or it does not.
+
+For [queries] with [free_variables] that are [first_order], the [computational_complexity] of computing [query_answers] is often [PTIME]-equivalent to the Boolean queries obtained by considering each of the polynomially many possible answers and creating a Boolean query by insantianing these [variables] to [constant]
+
+Up: [query]
+
+Aliases: boolean query
+
+See also: [free_variable]
diff --git a/query_full b/query_full
@@ -0,0 +1,9 @@
+# Full query
+
+A [query] in [first_order_logic] with no [projection], i.e., no [existential_quantification]: every [variable] used in the [query] is an [output_variable]
+
+Makes sense in particular for [CQs]: [conjunctive_query_full]
+
+Up: [query]
+
+Aliases: full query, full queries
diff --git a/uncertain_data b/uncertain_data
@@ -0,0 +1,6 @@
+# Uncertain data
+
+- [inconsistency]
+- [certain_answers]
+
+Up: [probabilistic_databases]
