database_dependency (700B)
1 # Dependency (databases) 2 3 An [implication] in [first_order_logic] with [universal_quantifier]s and with a [conjunction] of [atom] on the left-hand-side 4 5 ## Terminology 6 7 - [dependency_body] 8 - [dependency_head] 9 10 ## Classes 11 12 - [tuple_generating_dependency] 13 - [equality_generating_dependency] 14 - [functional_dependency] 15 16 ## Generalization 17 18 - [disjunctive_dependency] 19 - [disjunctive_tuple_generating_dependency]: right hand side is [disjunction] of [conjunction] of [atom]s 20 21 ## Problems 22 23 - [entailment] 24 - [entailment_finite] 25 - [entailment_unrestricted] 26 - [finite_controllability] 27 - [dependency_expressiveness] 28 29 Up: [integrity_constraint] 30 31 Aliases: dependencies, dependency, database dependencies