Discussion about this post

User's avatar
Ramona C Truta's avatar

I have a few questions on the 3NF and BCNF examples.

1. Is Supplier_Capabilities part of the 3NF decomposition of Suppliers? There are attributes here that were not in the original.

2. Similarly, in Supplier_Shipping_Capabilities there's a new attribute, ShippingCapabilityID that is new.

3. I'm wondering if having a range (2-3) for EstimatedDays does not contradict the 1NF indivisibility.

Do you intend to include the decomposition algorithms? Or, perhaps, elaborate more on how the decomposition was obtained?

Here's a tip for checking the decomposition: performing the union of the attributes of the decomposed relations should produce the set of attributes of the original relation.

Expand full comment
Ramona C Truta's avatar

I don't agree with transitive dependencies as a separate category - but knowing the theory I understand why one can argue that they are a separate subcategory. I think you should include the Armstrong's axioms, which transitivity is part of. These 3 axioms govern how we can infer other FDs, and they are a sound and complete set of rules. Based on these axioms we can compute the closure of a set of FDs.

I also want to caution on the language on the definition "Dependencies are *often* denoted as X -> Y, where X is a set of attributes that *might* determine the value of Y. ":

1. they are denoted (remove the "often" - that's the notation), and

2. it does determine (remove the "might").

More to come as I read.

Expand full comment
25 more comments...

No posts