数据库课程设计说明书：选择一种高级语言实现判别一个分解的无损连接性

《数据库课程设计说明书：选择一种高级语言实现判别一个分解的无损连接性》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、课程设计说明书设计题目：数据库课程设计专业：计算机科学与技术班级：2010级5班设计人：王露山东科技大学2012年04月07日山东科技大学课程设计任务书计算机科学与技术专业10级班5班一、课程设计题目：数据库课程设计二、设计原始资料：数据库系统概论java技术教程三、设计应解决下列各主要问题：选择一种高级语言实现判别一个分解的无损连接性。输入：某一个关系模式的属性集、函数依赖集和该关系模式的一个分解。输出：分解是否保持无损连接性。题目要求:(1)按算法6.2和6.4实现（2）能给出根据模式的分解形成初始表格（3）给出根据每一个函数依赖表格的

2、变化情况（4）提供课程设计报告四、设计说明书应附有下列图纸：五、命题发出日期：2012/03/14设计应完成日期：2012/06/26设计指导教师（签章）：系主任（签章）：指导教师对课程的评语指导教师（签章）：年月日摘要：本次课程设计，研究了如何判断输入的模式分解是否保持无损连接性，提示用户输入关系模式的属性集，函数依赖集以及模式分解，利用算法6.的表格法，运行程序，输出是否具有无损连接性。用java语言实现，在eclipse上运行，且只考虑了分解的无损连接性而没有考虑函数依赖的保持性。目录：任务书‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐

3、‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐2教师评语‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐3摘要‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐4题目要求‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐

4、‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐4需求分析‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐4程序设计‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐6结果分析‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐

5、‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐15实验总结‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐20附录（使用说明）‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐‐21正文：1.题目:选择一种高级语言实现判别一个分解的无损连接性输入:某一个关系模式的属性集、函数依赖集和该关系模式的一个分解输出:分解是否保持无损连接

6、性要求:(1)按算法6.2和6.4实现(P190)(2)能给出根据模式的分解形成初始表格(3)给出根据每一个函数依赖表格的变化情况(4)提供课程设计报告2.需求分析1.关系模式R(U,F)，={R1(U1,F1)，R2(U2,F2)，…，Rk(Uk,Fk)}是R(U,F)的一组子集，若U1U2…Uk=U，则称是R(U,F)的一个分解(Decomposition)。分解有两个准则，无损连接性和函数依赖的保持性。无损连接性的定义为设关系模式R(U,F)，={R1，R2，…，Rk}是分解R所得的一组关系模式，对于R的满足F的任一个关系

7、实例r，都有：r(r)(r)(r)R1R2Rk成立。即r等于它在Ri上投影的自然连接，则称此分解为满足F的具有无损连接性的分解。2.分解的无损连接性判断定理6.4：设关系模式R(U,F)，={R1，R2}是R的一个分解，当且仅当U1U2U1‐U2或U+1U2U2‐U1F时，则分解具有无损连接性。3.算法6.2{判断分解的无损连接性}输入：R(U,F)，U=A1A2…An;={R1，R2，…，Rk}输出：如果具有无损连接性，输出True，否则输出False。(1)构造一个n列k行的二维表T。若AjRi，则

8、Tij=aj；否则Tij=bij。(2)flag:=True;DoWhileFlagFlag:=False;For每一个XYFDoForT中的任意两行tj，tmDoIftj[