dependency function, horn function, BCNF normal form

From: Michelle Stone <mich_stone_at_yahoo.com>
Date: Wed, 30 Jan 2002 10:57:14 +0530
Message-ID: <a37vun$15t0g5$1_at_ID-50201.news.dfncis.de>



i was studying the theory of decomposing a relation into many smaller ones using BCNF normal form.

i was following the algorithm provided at http://www.rci.rutgers.edu/~kannan/science/BCNF.pdf

We have a dependency function AB(!C) + C(!A) [read (!A) as A-compliment]

It is said in the document that by adding the term ABC to the above dependency function you get the following HORN function

    C(!A) + D(!B) + AD(!C) + BC(!D)

HOW ???? First of all how does adding ABC to a dependency function yield a horn function?

Note: If the example given is not clear, pls refer to the .pdf file.

Thanks... Received on Wed Jan 30 2002 - 06:27:14 CET

Original text of this message