wiki_research

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

tuple_generating_dependency (813B)

      1 # TGD
      2 
      3 Also called "existential rules"
      4 
      5 - [zhang2021characterizing]: [expressiveness] of [OMQA] in various formalisms
      6 - [carral2022normalizations] on normalization of rules
      7 
      8 - [feller2022finite]
      9 
     10 ## Types
     11 
     12 - [inclusion_dependency]
     13 - [tuple_generating_dependency_full]: no [existential_quantifier] in head
     14   - related to [datalog]
     15 - [tuple_generating_dependency_guarded], in the [guarded_fragment]
     16 - [tuple_generating_dependency_frontier_guarded]
     17 - [tuple_generating_dependency_clique_guarded]
     18 - [tuple_generating_dependency_linear]
     19 - [tuple_generating_dependency_single_head]
     20 - [tuple_generating_dependency_sticky]
     21 - [tuple_generating_dependency_acyclic]
     22 - [tuple_generating_dependency_weakly_acyclic]
     23 - [word_constraint]
     24 
     25 Up: [database_dependency]
     26 
     27 See also: [datalogpm], [denial_constraint]
     28 
     29 Aliases: TGD, TGDs