Unformatted text preview: a D id , P a DC Original FD’s: P a-> P id , P id-> D id , P id D -> Q, DQ -> C c. F = P a-> P id , P id -> D id , P id D -> Q, DQ -> C d. P a P id and P id D id are automatically OK. Need to check P id D -> Q and DQ -> C. Because they are in the original FD’s, that means that they are OK as well. This decomposition is in BCNF....
View Full Document
- Spring '08
- intersect PaDC, PaPidDid intersect PaDC, PaDC Original FD