| 关系数据库中嵌入型多值依赖的成员问题 |
| |
| 引用本文： | 张顺祖,玄钟伍.关系数据库中嵌入型多值依赖的成员问题[J].沈阳建筑工程学院学报(自然科学版),1986(2). |
| |
| 作者姓名： | 张顺祖 玄钟伍 |
| |
| 作者单位： | 沈阳建筑工程学院计算机教研室，中国科学院沈阳计算技术研究所 |
| |
| 摘 要： | 对于函数依赖、多值依赖都建立了正确(sound)、完备的(complete)公理系统.对于嵌入型多值依赖的正确、完备的公理系统问题,Sagir、Walacka 已证明它没有有限公理系.但嵌入型多值依赖作为特殊情况包含的型板依赖被定义之后,它的成员问题已有半判定方法.特别是对嵌入型多值依赖集合作一些限制后,它的成员问题可解性已被提出.本文对 Chase过程作了更改后,形成 N-Chase 过程,并利用它对一种嵌入型多值依赖集证明了其成员问题的可解性.
|
| 关 键 词： | 函数依赖 多值依赖 嵌入型多值依赖 追迹 |
Member Problem of Embedded Multi-valued Dependencies in the Relationship Database |
| |
| Zhang Shunzu Xuan Zhongwu.Member Problem of Embedded Multi-valued Dependencies in the Relationship Database[J].Journal of Shenyang Archit Civil Eng Univ: Nat Sci,1986(2). |
| |
| Authors: | Zhang Shunzu Xuan Zhongwu |
| |
| Affiliation: | Zhang Shunzu Xuan Zhongwu |
| |
| Abstract: | A sound and complete axiom system has been established for the function dependencies and multi-valued depencies.To the embedded sound and complete axiom system of embedded multi-valued dependencies,Sagir and Valacka have proven that it was not limited axiom system,but after the embedded multi-value dependencies being treated as a template depe- ndency included at a specil case is defined.There is a semidefiniteness for its member problem.Specially some restrictions are given to the emb- edded multi-value dependencies set,the solvability of its member problem has been put forword.After a shase process is modified in this paper a N-Shase process has been formed and the solvability of its member problem of embedded multi-valued dependencies set has been justified. |
| |
| Keywords: | FD MVD EMVD Chase |
| 本文献已被 CNKI 等数据库收录！ |
