wiki_research

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

integrity_constraint (415B)

      1 # Integrity constraint
      2 
      3 ## Notions
      4 
      5 - [satisfaction] of an integrity constraint by a database
      6 
      7 ## [computational_problems]
      8 
      9 - [entailment]
     10 - [database_repairs]
     11 
     12 ## Types
     13 
     14 - [database_dependency]
     15   - [equality_generating_dependency]
     16     - [functional_dependency]
     17   - [tuple_generating_dependency]
     18     - [inclusion_dependency]
     19 - [denial_constraint]
     20 
     21 See also: [logic]
     22 
     23 Up: [databases]
     24 
     25 Aliases: integrity constraints