强偏序时态模式中混合依赖集的成员籍问题
来源：计算机应用杂志2015年第8期北京时间：
作者：万静, 刘芳
单位：1. 哈尔滨理工大学 计算机科学与技术学院, 哈尔滨 150080;2. 上海微小卫星工程中心, 上海 201203
摘要：有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序模式混合依赖基、偏序时态函数依赖和偏序时态多值依赖的混合集闭包、强偏序模式混合闭包等概念,给出了求混合依赖集中属性的依赖基、属性集的闭包的算法,并在此基础上给出了强偏序模式混合依赖集成员籍问题的算法,证明了其正确性及可终止性,对该算法的时间复杂度进行了分析。应用实例表明相关理论和算法能解决强偏序混合依赖集中成员籍问题的判定问题,为解决强偏序时态模式规范化问题以及时态数据库设计提供了理论基础。
关键词：强偏序时态模式,时态函数依赖,时态多值依赖,混合依赖基,成员籍
基金资助：黑龙江省教育厅科学技术项目(12511100)。
