- 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