摘要
为了消除面向对象模型中复杂对象结构中的冗余,避免更新异常,基于路径函数依赖和键约束的概念,分析了嵌套结构中导致冗余和更新异常的原因并给出了3个不同级别的范式和一个规范化算法。而且,对算法的终止性、正确性及时间复杂性进行了证明和分析。
This paper defines three normal forms with different higher level based on path functional dependencies and key constraints and designs an algorithm about normalization of complex object model in order to make redundancy minimum and avoid anomalies of update. Also, this paper gives a proof about correctness and termination of the algorithm and analyses the time complexity of the algorithm.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第4期4-6,9,共4页
Computer Engineering
基金
黑龙江省自然科学基金资助项目(F00-06)
关键词
面向对象模型
路径函数依赖
键约束
规范化
算法
Object-oriented model
Path functional dependencies
Key constraints
Normalization
Algorithm
