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

数据结构：关系

数据操作：关系操作包括增、删、改、查

                   关系查询：选择、投影、并、差、笛卡尔积以及连接、除、交

数据的完整性约束条件：

              实体完整性：A是基本关系R的主属性，则A不能取空值（空值：“不知道”“不存在”“无意义”）

              参照完整性：若属性F是基本关系R的外码，F是S关系的主码，则（或者取空值（F的每个属性均为空值），或者等于S元组里主码的值，空值，非空值）

              用户定义的完整性：

详细

一、关系数据结构的形式化定义：

               域：同一类型数据，一个数据取值范围。

               笛卡尔积：域上的一种集合运算

               关系：R表示关系的名字，n是关系的目或度

                             候选码：关系中的某一属性组可以唯一标识属性组，而其子集不能

                             如果一个关系有多个候选码，选一个为  主码

二、关系模式

           关系是值;关系模式是型

           R（U,D,DOM,F）R是关系名，U为组成该关系的属性名集合，D为U中属性，DOM是属性向域的映像集合，F为属性间数据的依赖关系的集合。

           小贴士：满足什么依赖关系决定是什么范式

三：关系的操作能力通过  代数方式、逻辑方式来表示。

                  关系代数：它是对关系的运算来表达查询。

                                    分为传统的集合运算和专门的关系运算两类

                                    传统的集合运算是二目运算：并、差、交、笛卡尔积四种

                                     专门的关系运算包括：选择、投影、连接、除运算。