wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

functional_dependency (451B)

      1 # Functional dependency (FD)
      2 
      3 ## Special cases
      4 
      5 - [key]
      6 - "simple": X -> Y where X and Y are singleton [attribute]s
      7   - also called "unary"? [functional_dependency_unary]
      8 
      9 ## Problems
     10 
     11 - [dependency_implication]
     12   - [undecidability] for functional dependency and [inclusion_dependency]
     13 
     14 ## Results
     15 
     16 - [armstrong_axioms]
     17 - [armstrong_relation]
     18 
     19 ## Variants
     20 
     21 - [functional_dependency_approximate]
     22 
     23 Up: [equality_generating_dependency]
     24 
     25 Aliases: FD, FDs