25数据库逻辑模型的设计.pptVIP

2.5 数据库逻辑模型设计;2.5.1 关系数据模型; 关系是在一组域（ D1，D2，…， Dn）上的笛卡尔积的一个子集。当n=1时，称为单元关系；当n=2时，称为二元关系。 关系是一个二维表，表的每一行对应一个元组，表的每列对应一个域，由于域可以相同，为了区分给每个列起一个名字，称为属性。 对关系的描述称为关系模式，该描述包括关系名、关系中的属性名、域、属性向域的映象、属性间的数据依赖关系等，可以形式化的表示为：R(U,F)或R(U)。 其中R为关系名，U为组成该关系的属性名集合，F为属性间的数据依赖关系集合。属性向域的映象通常直接说明为属性的类型、长度、取值范围等。 ;有三个域：男人、女人和儿童。其取值为：男人（张三，李四），女人（王，吴），儿童（张一，李二）。 其笛卡尔积：男人?女人?儿童共有8个元组，可以列成一张表： （张三，王，张一），（李四，王，张一）, （张三，王，李二），（李四，王，李二）, （张三，吴，张一），（李四，吴，张一）, （张三，吴，李二），（李四，吴，李二）。;丈夫　　　　　妻子 　　　　　小孩 张三 王 王一 李四 吴 李二;Jones Smith Curry Lindsay;Students 学生信息表 SNO 学号 Sname 姓名 Sex 性别 Age 年龄 Class 班级 DeptNO 系编号;在关系数据库中的关系有如下性质： 同一列来自同一个域。 不同的列可以出自相同的域，必须有不同的属性名。 不能有完全相同的元组存在。 关系中元组的顺序无关。 关系中列的顺序无关。 每个属性值必须是不可再分的数据项。;完整性约束规则 候选键：关系模式R（U）的属性集合K是候选键，满足： （1）? R（U）的任何一个关系实例的任意两个元组在属性集合K上的值都不相同； （2）? K的任何真子集都不满足条件（1）。 以上被称为候选键的两性质：唯一性，最小性。 ? 相关概念：主键/关键字；键（主）属性；非键（非主）属性； ;1 实体完整性约束： 若A是关系模式R（U）的主键属性，则R（U）的任何一个实例关系不存在任何元组在A上的值为空。 ? ;2 关联/参照完整性约束： 外键：关系模式R1包含关系模式R2的主键，这组属性叫做R1参照R2的外键。 设X是关系模式R（U）关于关系模式R’(U’)的外键。如果K是R（U）的关系实例的一个元组的外部键值，则R’(U’)的实例中必存在一个元组T，T在X上的值为K。 例： Student ( NO, Name, Sex, Age, Class, DeptNO ) , Dept (DeptNO, DeptName);更新时的参照完整性约束： 插入. 如果元组 t2 被插入到r2, 则系统必须确保r1中存在元组 t1 使得 t1[K] = t2[X]. 删除. 如果从r1删除元组t1, 则系统必须计算r2中引用t1的元组集合 : ?X = t1[K] (r2) 如果此集合非空, 则要么认为出错而拒绝删除命令, 要么删除这些引用t1的元组(级联删除). ;修改. 有两种情况: 如果修改关系r2中的元组 t2 并且修改了外键X的值, 则作类似于插入情况的检查. 令 t2’ 表示元组t2的新值. 系统必须确保 t2’[X] ? ?K(r1) 如果修改关系r1中的元组 t1并且修改了主键K的值, 则作类似于删除情况的检查. 系统必须利用t1在修改前的旧值计算 ?X = t1[K] (r2) 若此集合非空, 则要么认为出错而拒绝修改, 要么对此集合中的元组作级联修改, 要么删除此集合中的元组 ;域约束： 域约束是完整性约束的最基本形式. 可用于检测插入到数据库中的数据的合法性, 或用于查询中检测两个数据进行比较时的合法性. check子句允许对域作限制: 利用check 子句确保“小时工资”域只允许大于指定值的值. create domain hourly_wage numeric(5,2) constraint value_test check(value = 4.00) 这个域具有约束：小时工资大于 4.00 子句constraint value_test 使可选的; 可用于指示以后的更新破坏了哪一条约束. 可有更复杂的域检查条件 Create domain AccountType char(10) con