MySQL Forums

i have a Armstrong's axioms related question
Posted by: Junaid Najeeb
Date: September 23, 2010 12:55PM

how can i prove Decomposition rule
If X \to YZ then X \to Y and X \to Z

i need to prove it using the 3 Armstrong's axioms which are:

Axiom of reflexivity
If Y subset X, then X \to Y

Axiom of augmentation
If X \to Y, then XZ \to YZ for any Z

Axiom of transitivity
If X \to Y and Y \to Z , then X \to Z

Subject
Views
Written By
Posted
i have a Armstrong's axioms related question
7127
September 23, 2010 12:55PM

Sorry, you can't reply to this topic. It has been closed.

Content reproduced on this site is the property of the respective copyright holders. It is not reviewed in advance by Oracle and does not necessarily represent the opinion of Oracle or any other party.