实验四-数据库范式

实验课4-通过实验体会关系数据理论，函数依赖以及范式实验目的：1.体会关系数据理论，函数依赖以及范式；2.体会不好的数据库设计存在的数据冗余，增删改的异常。实验内容及要求：1.设计1个关系，使之满足2NF而不满足3NF；设计1个关系，使之满足3NF而不满足BCNF；2.详细描述关系的语义，分析关系中存在的函数依赖；3.并使用商用数据库Server2005SQL设计实现，录入数据；4.体会数据冗余，以及增加异常，删除异常，修改复杂。实验过程：第一部分满足2NF不满足3NF，分析存在的函数依赖，录入数据后体会增删改的异常以及数据冗余。实例：学生宿舍管理数据库。学生宿舍管理（学号，学生所在系，宿舍楼号）即S_L(sno,sdept,sloc)。规定，同一个系的学生住一个宿舍楼。主码为sno，snosdeptsnoslocsdeptsloc每个非主属性完全函数依赖于码，属于2NF；存在传递函数依赖snosloc，不属于3NF。建立该表并录入数据，如下-createtables_l(snochar(20)primarykey,sdeptchar(20)notnull,slocchar(25)notnull,);insertintos_lvalues('2010001','ocean','A1');insertintos_lvalues('2010002','ocean','A1');insertintos_lvalues('2010003','ocean','A1');insertintos_lvalues('2010004','acoustics','A2');insertintos_lvalues('2010005','acoustics','A2');insertintos_lvalues('2010006','tank','A3');insertintos_lvalues('2010007','tank','A3');insertintos_lvalues('2010008','aerospace','A4');insertintos_lvalues('2010009','aerospace','A4');形成的数据库表格存在的问题：数据冗余。sdept和sloc信息被重复存储；插入异常。新建系别ship住在A4号楼，但未进行招生，无法插入此信息。修改负载。2010009号学生转换为aerospace系，在修改系名的同时，需要将sloc修改为A3。updates_lsetsdept='areospace',sloc='A3'wheresno='2010009';删除异常，此批次学生毕业后，全表删除，无法保留系别和宿舍楼对应信息。第二部分建立一个满足3NF不满足BCNF的例子，分析存在的函数依赖，录入数据后体会增删改不足和数据冗余。授课_选课（学生，教师，课程），STJ(S,T,J)。每个学生可以多门课，一个教师只教一门课，每一门课可以有多个老师。主码可以为(S,J)或(S,T)。存在的函数依赖-,,。不存在传递函数依赖。存在属性J依赖于非码属性T。不属于BDNF建立该表并录入数据-createtableSTJ(snamechar(20),coursechar(20),teacherchar(20)notnull,primarykey(sname,course),);insertintoSTJvalues('孙浩轩','电工','陈戈');insertintoSTJvalues('孙浩轩','电科','崔国林');insertintoSTJvalues('吕蒙','电工','陈戈');insertintoSTJvalues('吕蒙','电科','崔国林');insertintoSTJvalues('刘菲菲','物理','沈月龙');insertintoSTJvalues('刘菲菲','电工','陈戈');insertintoSTJvalues('刘翠萍','电工','陈戈');insertintoSTJvalues('刘翠萍','电科','崔国林');insertintoSTJvalues('张丽','物理','沈月龙');insertintoSTJvalues('张丽','电工','陈戈');insertintoSTJvalues('柴琳','电科','崔国林');insertintoSTJvalues('柴琳','电工','陈戈');建立后的表格-存在的问题：数据冗余。教师与课程的对应关系被重复存储。插入异常。新设了一门课程，并为其安排了老师，还没有选课。但是因为（T，J）不能构成主码，故无法插入。更新困难。陈戈改教电科，需要对所有选陈戈课的记录进行修改。updateSTJsetcourse='计算机'whereteacher='陈戈';删除异常某个学生只选了一门课，现在他退课，但因为本例中（S,J