关系数据结构及形式化定义