wiki_research

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

tuple_generating_dependency (1040B)

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