保证合法用户使用数据关系模式规范化理论是关系数据库进行逻辑设计的理论依据