一种用于识别不含冲突用户解释的算法

摘要：

根据用户解释的特点和问题求解的需要扩充了图论中有向图的定义,使其结点既可以是普通的结点,又可以是一个有向图,并把用于表示用户解释的这种有向图称为GD-约束图.在此基础上,对不含冲突的用户解释表现于GD-约束图中的特征进行了抽取.最后,总结出用户解释不含冲突的充要条件并根据这个充要条件提出了一个时间复杂性为O(m×n)的多项式时间识别算法,同时还对算法的正确性和时间复杂性进行了证明和分析.

关键词：面向对象数据库、规范化、用户解释、冲突

所属期刊栏目：23

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目69933010

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：813-818