![]() | |
#1
| |||
| |||
|
#2
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#3
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#4
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#5
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#6
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#7
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#8
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#9
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
#10
| |||
| |||
|
|
Hi all, I'm reading Elmasri & Navathe's "Fundamentals of Database Systems, 4th ed.". The authors discuss how, given a set if FDs, additional FDs can be inferred. The authors provide six "Inference Rules". At one point the authors say this: "Although X->A and X->B implies X->AB by the union rule stated above, X->A, and Y->B does *not* imply that XY->AB." I'm not seeing this. It seems to me that X->A, and Y->B *DOES* imply that XY->AB. I'm sure I'm wrong but I'm not seeing it. Can someone explain? Thanks |
![]() |
| Thread Tools | |
| Display Modes | |
| |