dependency_implication (317B)
1 # Dependency implication 2 3 decide if set of [dependencies] implies another [dependency] 4 5 studied for instance with [functional_dependency], cf [armstrong_axioms] 6 7 See also: [open_world_query_answering], [query_containment], [language_inclusion] 8 9 Up: [computational_problem], [implication_of_constraints], [dependency]