关系数据库理论基础.xls

非非规规范范化化关关系系 合同号用户号用户姓名 地址 产品号产品名称单价数量 0100141大华公司 北京A12电视机架260100 0100141大华公司 北京A18书柜20950 0100141大华公司 北京T0121英寸彩电5618150 0100141大华公司 北京T02录象机3150180 0200142华兴商场 河北A12电视机架260150 0200142华兴商场 河北A20终端桌15020 0200142华兴商场 河北C10PC微机8150100 0200142华兴商场 河北T0121英寸彩电5618270 0200142华兴商场 河北T03摄像机9310100 0200142华兴商场 河北T04照相机156050 非非规规范范化化关关系系第第一一范范式式1NF 消除重复组 合同号 用户号 用户姓名地址产品号产品名称单价 数量合同号用户号 0100141大华公司北京A12电视机架2601000100141 0100141大华公司北京A18书柜209500200142 0100141大华公司北京T0121英寸彩电 5618 150 0100141大华公司北京T02录象机3150 180 0200142华兴商场河北A12电视机架260150合同号产品号 0200142华兴商场河北A20终端桌15020010A12 0200142华兴商场河北C10PC微机8150 100010A18 0200142华兴商场河北T0121英寸彩电 5618 270010T01 0200142华兴商场河北T03摄像机9310 100010T02 0200142华兴商场河北T04照相机156050020A12 020A20 020C10 020T01 020T03 020T04 将用户信息和产品信息分开 用户姓名地址 大华公司北京 华兴商场河北 产品名称单价数量 电视机架260100 书柜20950 21英寸彩电 5618150 录象机3150180 电视机架260150 终端桌15020 PC微机8150100 21英寸彩电 5618270 摄像机9310100 照相机156050 第第一一范范式式1NF 消除重复组 将用户信息和产品信息分开 第第一一范范式式1NF1NF 消消除除重重复复组组 合同号用户号用户姓名地址 0100141大华公司北京 0200142华兴商场河北 第第二二范范式式2NF2NF 消消除除部部份份依依赖赖 合同号产品号产品名称单价数量产品号产品名称 010A12电视机架260100A12电视机架 010A18书柜20950A18书柜 010T0121英寸彩电 5618150T0121英寸彩电 010T02录象机3150180T02录象机 020A12电视机架260150A12电视机架 020A20终端桌15020A20终端桌 020C10PC微机8150100C10PC微机 020T0121英寸彩电 5618270T0121英寸彩电 020T03摄像机9310100T03摄像机 020T04照相机156050T04照相机 合同号产品号 010A12 010A18 主关键字由合同号和产品号组成010T01 010T02 单价或数量部分依赖主关键字020A12 020A20 020C10 020T01 020T03 020T04 单价 260 209 5618 3150 260 150 8150 5618 9310 1560 数量 100 50 150 180 150 20 100 270 100 50 第第二二范范式式2NF2NF 消消除除部部份份依依赖赖 第第三三范范式式3NF3NF 消消除除传传递递依依赖赖 合同号用户号 用户姓名地址合同号用户号 0100141大华公司北京0100141 0200142华兴商场河北0200142 用户姓名或地址依赖于用户号 用户号依赖与合同号 用户号 用户姓名 地址 0140华联公司 山东 0141大华公司 北京 0142华兴商场 河北 第第三三范范式式3NF3NF 消消除除传传递递依依赖赖 3 3元元关关系系R R和和三三元元关关系系S S 3元元关关系系R3元元关关系系S ABCABC a1b1c1a1b2c2 a1b2c2a2b2c2 a2b2c1a2b2c1 关关系系R和S的并 R S 关关系系R和S的交 R S ABCABC a1b1c1a1b2c2 a1b2c2a2b2c1 a2b2c1 a2b2c2 AB a1b1 a1b1 a1b1 关关系系R和和关关系系S笛笛卡卡尔尔积积 R S a1b2 a1b2 a1b2 a2b2 a2b2 a2b2 R RS S A AB BC CB BC CD D a1b1c2b1c2d1 a2b3c7b2c1d1 a3b4c6b2c3d2 a1b2c3 a4b6c6 a2b2c3 a1b2c1在关系R中 属性A可以取4个值 a1 a2 a3 a4 其中 a1的象集为 b1 c2 b2 c3 b2 c1 a2的象集为 b3 c7 b2 c3 a3的象集为 b4 c6 R SR S a4的象集 b6 c6 A A a1S在 B C 上的投影为 b1 c2 b2 c1 b2 c3 显然只有a1的象 B C a1包含了S在 B C 属性组上的投影 所以 R S a1 除运算 给定关系R X Y 和S Y Z 其中X Y Z为属性组 R中的Y与S中的Y可以有不同的属性名 但必须出自相同的域集 R与S的除运算得到一个新的关系P X P是R中满足下列条件的元组在X列上的投影 元组在x上的象集Y 包含S在Y上投影的 集合 关关系系R和S的差 R S ABC a1b1c1 CDEF c1a1b2c2 c1a2b2c2 c1a2b2c1 c2a1b2c2 c2a2b2c2 c2a2b2c1 c1a1b2c2 c1a2b2c2 c1a2b2c1 在关系R中 属性A可以取4个值 a1 a2 a3 a4 其中 a1的象集为 b1 c2 b2 c3 b2 c1 a2的象集为 b3 c7 b2 c3 a3的象集为 b4 c6 a4的象集 b6 c6 S在 B C 上的投影为 b1 c2 b2 c1 b2 c3 显然只有a1的象 B C a1包含了S在 B C 属性