摘要
简要介绍了关系模型与ＯＳＡＭ模型的一些基本概念及定义对关系模型中包含依赖的几个定理进行了证明在此基础上提出了一种将关系模型转换为ＯＳＡＭ模型的算法。
The author discusses some basic concepts and definitions of reletional mode and OSAM* mode and gives the proof of some theorems about includinon dependence of reletional mode Based on these,concepts desisn is madl on algorith of translating reletional mode into OSAM* mode lastly the author also discussed the application field about this algorithm
出处
《昆明理工大学学报（理工版）》
1997年第4期87-91,共5页
Journal of Kunming University of Science and Technology(Natural Science Edition)
基金
云南省应用基础研究基金
