连接依赖若干问题的讨论

The Discussion about Some Problems of Join Dependency

一、引言关系数据库简单灵活,数据独立性高,理论严密,因此获得人们的普遍重视。在关系数据模型中数据必须满足一些约束条件,且数据的语义性质集中体现在依赖约束上。随着对关系数据理论研究的不断深入,已提出各种形式的数据依赖:函数依赖(FD)、多值依赖(MVD)、层次依赖(HD)、连接依赖(JD)等,并相应地给出第一到第五范式的定义。目前文献中对第一范式到第四范式观范化都有较充分的分析和论证,然而,对如何从第四范式规范为第五范式的过程仍缺乏详尽的合理论证,原因在于对连接依赖的定义不够严密,目前文献给出的连接依赖的定义,有时会导出不正确的结果。由于连接依赖是一种强有力的数据约束,从某种意义上讲,FD,MVD,HD

In this paper,a more strict definition about join dependence is pres- ented.Some contradictory which caused by the former definition has been eliminated.The relation between the lossless decomposition and the restr- ain condition is found.At last,a way to judge whether a join dependence exists in the given relation is proved.