Re: Checking a relation in BCNF for MVDs

From: --CELKO-- <71062.1056_at_compuserve.com>
Date: 6 Jan 2003 10:29:11 -0800
Message-ID: <c0d87ec0.0301061029.41417738_at_posting.google.com>


>> Let us say there is a relation rel(attr1, attr2, attr3, attr4). It
is an all-key relation and for that reason we know it is in BCNF. <<

Actually, you know it is in 5NF. Chris Date likes to quote a formal proof of this, but I cannot remember the details. Received on Mon Jan 06 2003 - 19:29:11 CET

Original text of this message