commit 9bd82cf1c05a6c39af887a0f67099bcf7097894b
parent 965543e187a495a0bedb1dab2a523d33692c56bf
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 31 Aug 2025 23:43:47 +0200
commit with codex
Diffstat:
4 files changed, 23 insertions(+), 0 deletions(-)
diff --git a/database_theory_concepts b/database_theory_concepts
@@ -12,5 +12,7 @@
- [omqa]
- [omqa_finite] vs [omqa_unrestricted]
- [tuple]
+- [fact]
+- [atom]
Up: [database_theory]
diff --git a/integrity_constraint b/integrity_constraint
@@ -1,5 +1,16 @@
# Integrity constraint
+## Notions
+
+- [satisfaction] of an integrity constraint by a database
+
+## [computational_problems]
+
+- [entailment]
+- [database_repairs]
+
+## Types
+
- [database_dependency]
- [equality_generating_dependency]
- [functional_dependency]
diff --git a/primary_key b/primary_key
@@ -2,7 +2,11 @@
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
+It has an [arity]
+
- [primary_key_simple], which consists of a single [attribute]
- like [unary_functional_dependencies]
Up: [functional_dependency]
+
+Aliases: key dependency, key dependencies, KDs
diff --git a/tuple_generating_dependency b/tuple_generating_dependency
@@ -4,6 +4,12 @@
Also called "existential rules", see [existential_rules]
+## Notions
+
+- [trigger]
+ - [trigger_active]
+- [satisfaction] of a TGD by a database
+
## [Academic_papers]
- [zhang2021characterizing]: [expressiveness] of [OMQA] in various formalisms
