| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> "Armstrong's axioms" augmentation - help plz
I understand the Augmentation rule:
{ X -> Y } |= XZ -> YZ
but I don't understand why the rule can also be stated as:
{ X -> Y } |= XZ -> Y
Why is this?
-- Message posted via http://www.dbmonster.comReceived on Mon Mar 07 2005 - 02:35:07 CST
![]() |
![]() |