2.1 关系模型的数据结构及其形式化定义