Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> "Armstrong's axioms" augmentation - help plz

"Armstrong's axioms" augmentation - help plz

From: love boat via DBMonster.com <forum_at_DBMonster.com>
Date: Mon, 07 Mar 2005 08:35:07 GMT
Message-ID: <d6f431381d204e5f82d2456953862cd8@DBMonster.com>


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.com
Received on Mon Mar 07 2005 - 02:35:07 CST

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US