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

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

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

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

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