部分函数依赖

梗概

X属性组中有多余的属性，去掉后依然可以唯一确定Y

记号

$X\text{ce}->[p][]Y$