条件依赖理论及其应用展望

介绍了条件函数依赖理论及如何用于检测不一致数据.首先介绍了条件函数依赖的概念及其推理系统,以及如何通过依赖传播实现视图的规范化;阐述了条件函数依赖的一致性和蕴含判定问题,并在此基础上介绍了基于条件函数依赖检测关系数据库数据一致性的技术;最后讨论了条件函数依赖的扩展及应用.     

模糊空值环境下关系数据库的几种数据依赖

介绍了模糊空值环境下的嵌入多值依赖、广义连接依赖、子集依赖,及其相应的公理系统。     

基于数据依赖的数据修复研究进展

介绍了数据依赖理论及如何基于数据依赖修复不一致数据,提高数据质量。首先介绍了数据依赖理论;给出了数据修复的语义假设及对应的修复操作;总结了基于数据依赖修复不一致数据的方法;最后讨论了基于数据依赖修复不一致数据的未来发展方向。     

模糊多值依赖的深入探讨

本文探讨了模糊多值依赖的性质,对单一模糊多值依赖环境下的推导规则进行了补充;给出了求依赖基的算法;讨论了在模糊函数依赖、模糊多值依赖混合作用下的推导公理系统;介绍了模糊嵌入多值依赖的概念及公理系统。     

数据依赖的蕴涵问题

本文介绍数据库理论中重要的多值依赖，连接依赖和生成元组依赖及其蕴涵问题，同时给出了比较全面和新的研究进展。     

一种C++程序的分层切片方法

该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图,对C++程序进行分层切片,有效地表示了C++中的单重继承、多重继承、多态和动态绑定,该方法比其它C++切片技术更清晰地描述了C++程序中类之间的各种关系和消息传递机制。     

概念格的内涵缩减与数据库推理依赖

值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及α极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之间的关系.进一步证明了由概念格的内涵缩减推导出数据库中完备的、无冗余的α极大推理依赖集.最后提出并实例验证了发现数据库中全部推理依赖集的算法.推理依赖是关系数据库中最重要的属性依赖关系之一,其研究对检测和消除数据库推理通道具有十分重要的意义.     

基于UML类图的类之间依赖关系图论问题研究

首先简单介绍了UML的类图,并细分类之间依赖关系为数据依赖和方法依赖,在此基础上,将UML类图转化为有向依赖图,并依据图论理论来分析和研究了有向依赖图的性质和特点,证明了有向依赖图不是自反的,也不是反自反的;既不是对称的,也不是反对称的;不是传递的。     

过程内控制依赖的计算

对于广泛的软件维护和测试任务而言,控制依赖信息是很有用的。软件工程中控制依赖通常用来确定一条程序语句语义的变化是否影响其它程序语句的执行。控制依赖是在图论的后必经概念的基础上定义的,控制依赖关系的标准表示是控制依赖图(CDG)。论文着重介绍了一种计算过程内控制依赖的算法,并分析了该算法的时间和空间复杂度。     

基于Rough Set理论发现最小归纳依赖关系的方法研究

归纳依赖关系是数据库研究领域的重要概念,在数据库中自动发现最小归纳依赖关系对数据采掘具有重大意义。介绍了归纳依赖关系的概念、原理及利用Ｒｏｕｇｈ Ｓｅｔ理论度量数据属性间归纳依赖强度的方法,提出了一个在数据库中自动发现最小归纳依赖关系的算法。     

基于依赖图的网络故障识别技术研究

给出了依赖图的概念性描述和形式化定义,在此基础上介绍了一个基于依赖图进行故障定位的算法,并对该算法进行了性能评价。     

依赖约束与多值联系的E-R建模方法

针对E-R建模过程中遇到的困惑,介绍依赖约束、依赖实体集、多值联系等概念,提出将实体集分为基本实体集、依赖实体集、弱实体集和联系实体集4类;并阐述依赖约束、多值联系和多元联系等情形的E-R建模方法。     

串行程序并行化中计算代码与同步通信代码的自动生成

简要介绍了并行编译中的计算划分和依赖关系分析,提出如何利用计算划分和依赖关系自动生成并行程序中的计算代码和同步通信代码.     

面向图形的构件依赖关系的描述方法

对CORBA分布式应用中构件间依赖关系的描述和依赖关系的动态更新进行了较详细的分析.在此基础上提出了一种面向图形的构件间依赖关系的描述方法,该方法把基于CORBA的分布式应用的体系结构视为一张逻辑图,在图上预定义一组操作,这有助于构件间依赖关系的描述和应用系统的动态配置.同时在CORBA之上实现了一个原型,概括地介绍了实现方法.     

图依赖研究与应用综述

图依赖是用于解决图数据的数据一致性问题的数据质量规则。基于图依赖提升数据一致性的过程通常分为图依赖定义与形式化、图依赖自动挖掘、基于图依赖的数据一致性提升三步。介绍了针对数据一致性的图依赖理论,并根据拓展类型将图依赖分为基于结构约束拓展、基于语义约束拓展和基于外部约束拓展的图依赖;综述并对比了从图数据中自动挖掘图依赖及其拓展的算法;分析了应用图依赖提高数据一致性的研究现状;总结了当前研究中仍存在的问题,并依据问题展望了图依赖在数据质量领域的应用前景。     

线性序约束关系的无损连接分解*

对线性序约束数据库中的数据依赖和无损连接分解进行了研究.介绍了线性序约束数据库的一些基本概念,提出了线性序约束关系中多区域存在依赖和分组多区域存在依赖的概念,证明了变量集满足变量独立和多区域存在依赖是进行模式无损连接分解的充要条件.探讨了变量集在坐标线性变换下保持良性分解的情形.     

对SUIF中依赖关系分析技术的研究与改进

介绍了SUIF中作为并行化依据的数据依赖关系分析技术,并针对其未将分析结果加以保存的不足,利用SUIF系统提供的遍、注释等技术,通过对依赖关系库和遍skweel的修改,对依赖关系分析的结果进行提取,并以注释的形式输出到SUIF中间文件中。     

用最小不动点理论求解最小函数依赖集

最小函数依赖是数据库模式分解的基础。本文首先介绍最小函数依赖集的概念和最小不动点理论．然后分析函数依赖集的闭包与完全格的关系，提出了用最小不动点理论求解最小函数依赖集的具体求解方法。     

一种发现函数依赖集的方法及应用

介绍了一种发现最小函数依赖集的方法.这种方法基于一致集的概念,根据一致集导出最大集及其补集,然后生成最小非平凡函数依赖集.通过使用带状划分数据库减少求一致集的运算次数,使用逐层求精的算法来计算最小非平凡函数依赖集的左部.其结果可用于数据库的重新组织和设计、属性约简、聚类、关联规则提取等知识发现工作中.     

基于时间依赖切换信号的切换系统稳定性分析研究进展

稳定性分析是研究切换系统时的基本问题.本文基于时间依赖的切换信号,回顾了切换系统的稳定性分析问题的研究进展及最新成果.首先,系统地介绍了常见的时间依赖的切换信号.在此基础上,分别介绍了连续和离散切换系统的稳定性分析的成果,并讨论了各方法的优缺点.最后,对切换系统的发展进行了展望.