wiki_research

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

tuple_generating_dependency (923B)

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