互换性原理

基关系变量和虚拟关系变量不应存在任意且不必要的区别。视图应能有键、外键、约束和更新语义；否则用户会被迫知道物理设计，逻辑数据独立性就被削弱。