Axiomes, dépendances fonctionnelles

Question

J'ai des problèmes prouvant des dépendances fonctionnelles avec les axiomes d'Armstrong. Celui-ci je me bats avec. Soit R (A, B, C, D, E) un schéma de relation et F = {A → CD, C → E, B → D} 1. Démontrer: F: AC-> BC

J'ai essayé méthodes serval et ne peut toujours pas trouver une solution est-il possible?

Answer 1

Vous ne pouvez pas prouver AC-> BC, car il n'y a pas de dépendance fonctionnelle dans F avec B sur son côté droit. En effet, (AC) + = ACDE.