Re: dependency function, horn function, BCNF normal form

"Ashish Mittal" <mittalashish_at_yahoo.com> wrote in message news:RYHb8.70322$fK1.4190063_at_rwcrnsc54...
> If I have
>
> PF~A and AF~X then
>
> I get PF~A + AF~X +PFAX
>
> which gives me
>
> PF~A+AF~X+PFAX+PF~X+PFX+PAF
>
> or PF + AF~X - How can restore the original relations from this
information?

What original relation? The relation you started with is PFAX, simply the union of all attributes. The relations you end up with are AFX (the split off funct. dep.) and PFA (what remains after the split of the original relation).

• Jan Hidders