黑龙江省自然科学基金(F0006)
- 作品数:5 被引量:30H指数:3
- 相关作者:郝忠孝李艳娟高岩赵龄强刘义英更多>>
- 相关机构:哈尔滨理工大学哈尔滨工业大学更多>>
- 发文基金:黑龙江省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 时态函数依赖多值依赖混合集的成员籍问题研究被引量:9
- 2006年
- 对于TFD和TMVD混合集约束的时态模式来说,由于多时间粒度的使用使成员籍问题的解决变得更加复杂.由于成员籍问题的解决对设计有效的模式分解算法必不可少,由此定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基及特殊有限依赖基等概念,给出了求属性集的有限闭包、有限依赖基和特殊有限依赖基、时态混合集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析.
- 郝忠孝李艳娟
- 关键词:时态数据库
- 将关系数据模型转换为对象数据模型的研究被引量:16
- 2001年
- 针对关系数据模型的局限性,在分析了关系数据模型和对象数据模型特点的基础上,提出了一种将关系数据模型转换为对象数据模型的方法,实践证明了该方法的正确性和有效性,并具有广阔的应用前景.
- 刘义英郝忠孝
- 关键词:关系数据模型对象数据模型关系数据库面向对象数据库ODL
- 具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究被引量:2
- 2005年
- 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态BoyceCode范式的时态初等关键字范式(TEKNF)及时态简单范式(TSNF),并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析.
- 郝忠孝李艳娟
- 关键词:时态数据库时态函数依赖
- 有内部冲突的F的广义左、右部冲突判定算法被引量:3
- 2004年
- 数据库数据组织的无环性是数据库理论和应用中一个重要特性 如何把数据库模式分解成无环性是一个比较复杂的问题 ,特别是在FD集F有内部冲突时无α环的分解问题 为了解决这一问题 ,讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系 ,以及对称左部属性集存在的条件和性质 ;给出了相关概念、定理及证明 在此基础上 ,给出了关于存在广义左部、右部冲突的判定算法 。
- 郝忠孝赵龄强高岩
- 关键词:无Α环
- 函数依赖集F有内部冲突的判定问题研究被引量:4
- 2004年
- 在讨论数据库模式R〈W ,F〉的无α环分解时 ,需要判定FD集F是否有内部冲突 ;在讨论无 β ,γ环的分解时也需要判定是否有内部冲突 为此 ,应当首先给出归并依赖集的二元组集合、闭包等概念 ;分别给出求解二元组集合及其闭包的多项式算法 在此基础上 ,讨论FD集F有内部冲突时的特征和相关条件 ,给出相应的有内部冲突的判定定理和算法 。
- 郝忠孝赵龄强高岩