tuple_generating_dependency (1009B)
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