I don't think we disagree here. What you are focusing on is what constitutes the BCNF. We agree. Where we disagree, I think, is when, after you are in the 3rd. NF, whether the extra step to get to the BCNF applies..

< JVP >

>John,
>
>We may disagree on this but, from Handbook of Relational Database Design by Fleming and von Halle page 188;
>
>Rule LDM7.4
>
>"Reduce third normal form entities to Boyce/Codd normal form (BCNF) by ensuring that they are in third normal form for any feasible choice of candidate key as primary key."