attribute "extraneous"

From: Low Yew Sing <slasher_at_singnet.com.sg>
Date: 2000/04/21
Message-ID: <8dnjuc$cst$1_at_clematis.singnet.com.sg>#1/1


Hi,

Does anyone knows how to determine whether an attribute is "extraneous"?

as in page 109 of the text.
what F logically implies (F - {alpha -> beta}) union {(alpha -A) -> beta}
??

Regards,
Chee Sin

-- 
Regards
Low Y S
ICQ:3140912
Pse return mail to: slasher_at_edsamail.com.sg
(P.S Not more than 500K attachments)
Received on Fri Apr 21 2000 - 00:00:00 CEST

Original text of this message