投影是存在量词

投影丢弃属性时，并不是简单删除列，而是在逻辑上说“存在某些被丢弃的值，使剩余命题成立”。这解释了为什么投影需要去重，也解释了它和信息抽象的关系。