F = {X->Z, XY->WP, XY->ZWQ, XZ->R}.

A. XY->WP chứa thuộc tính X dư thừa

B. XY->WP không chứa thuộc tính dư thừa vế trái

C. XY->WP chứa thuộc tính P dư thừa