commit cd82388c69aacf5222dc83c588339c58b1c927a7
parent 40a0b6daddf43dea4990592033c67ead56d7d33e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Thu, 27 Mar 2025 09:30:33 +0100
commit with codex
Diffstat:
6 files changed, 32 insertions(+), 3 deletions(-)
diff --git a/functional_dependency b/functional_dependency
@@ -2,7 +2,7 @@
## Special cases
-- [key]
+- [primary_key]
- "simple": X -> Y where X and Y are singleton [attributes]
- also called "unary"? [functional_dependency_unary]
diff --git a/functional_dependency_unary b/functional_dependency_unary
@@ -0,0 +1,7 @@
+# Unary Functional Dependency (UFD)
+
+[functional_dependency] where the [right_hand_side] is just one [attribute]
+
+Up: [functional_dependency]
+
+Aliases: UFD, unary functional dependency, UFDs, Unary FD, Unary FDs, unary functional dependencies
diff --git a/primary_key b/primary_key
@@ -0,0 +1,8 @@
+# Primary key
+
+A set of [attributes] which [functionally_determines] all other [attributes]. It can be expressed as [functional_dependencies], and it is a special case of them
+
+- [primary_key_simple], which consists of a single [attribute]
+ - like [unary_functional_dependencies]
+
+Up: [functional_dependency]
diff --git a/primary_key_simple b/primary_key_simple
@@ -0,0 +1,9 @@
+# Primary key simple
+
+A [primary_key] which consists of a single [attribute]
+
+Up: [primary_key]
+
+See also: [functional_dependency_unary]
+
+Aliases: simple primary key, simple primary keys
diff --git a/repair_counting b/repair_counting
@@ -1,5 +1,10 @@
# Repair counting
-[calautti2021counting]: [dichotomy] on [repair_counting] entailing a query for [functional_dependency]
+[Counting_problem] of counting the [database_repairs], or counting those that entail a [query]
+
+- [calautti2021counting]: [dichotomy] on repair counting under [FDs]
+- [maslowski2014counting] repair counting for [queries] with [self_joins] under [simple_primary_keys] (consisting of only one [atom])
Up: [counting_problem], [database_repairs]
+
+See also: [consistent_query_answering]
diff --git a/sjfcq b/sjfcq
@@ -6,4 +6,4 @@
Up: [conjunctive_query], [self_join]
-Aliases: self join free CQ, self join free CQs, selfjoin free CQ, selfjoin free CQs, cq self join free, cqs self join free, self-join-free CQ, self-join-free CQs
+Aliases: self join free CQ, self join free CQs, selfjoin free CQ, selfjoin free CQs, cq self join free, cqs self join free, self-join-free CQ, self-join-free CQs, conjunctive query self join free