不完全信息下XML树的函数依赖强保持条件

DTD规范下,在XML完全树中引入不完全信息,定义了不完全信息树.在不完全信息树下讨论树中节点之间的关系,给出节点值等价、节点值相容的概念,并进一步讨论不完全信息树下树元组之间的关系及函数依赖的保持条件.

多值依赖MVD保持性的研究

基于数据依赖基本概念给出了保持多值依赖MVD集的定义，提出了构造联接树的算法，生成MVD集与保持MVD集的检验算法，同时对算法给出了证明。

模式分解保持函数依赖的意义

规范化过程通过模式分解提高关系的范式级别,分解的评判准则是无损连接性和保持函数依赖。文中证明了保持函数依赖的一个定理,说明了模式分解保持函数依赖的意义是在减小数据冗余度的同时不会影响数据更新的性能,通过具体分析实例进一步说明了该结论。

判断保持函数依赖集的优化算法

论述了一种优化的保持函数依赖集的判断算法。该算法易于理解、便于运用，在教学和应用中有较大实用价值。

XML不完全信息树下的完全函数依赖弱保持

在DTD模型下,在XML信息树中引入了不完全信息,形成一棵不完全信息树。文中以不完全信息树为基础定义了树中节点之间的关系:节点值等价和节点值相容。并在此基础上定义了函数依赖的强保持条件、完全函数依赖弱保持。给出了给定函数依赖集判断完全函数依赖弱保持的算法及满足完全函数依赖弱保持时,当树确定化后成为完全信息树下函数依赖的可能性的证明。

具有无损联结性且保持依赖性关系模式的BCNF完备分解算法

本文给出一种具有完备性的合成方法，来把一个关系模式分解成具有无损性和保持依赖性的BC范式关系数据库模式，只要这个模式“本质上能作这种分解的话”；同时对这种“本质上能分解为保持某些性质的某一范式”提法进行了形式化描述；最后，讨论了这种合成法的固有复杂度。

基于线图的无β环混合依赖分解条件及算法

无β环数据库模式具有很多优良的特性 ,以往的研究都局限在图论的范畴内 ,而没有考虑数据库的其他规范化特性 .在混合依赖基概念的基础上 ,定义了严格无冲突、扩展严格无冲突等概念 ,并证明了在混合环境下得出的无损联接、保持依赖、无 β环且满足 4 N F的分解的充要条件是 ,混合依赖集是扩展严格无冲突的 .据此 ,给出了判断严格无冲突及混合环境下无β环分解算法 ,并分析了算法时间的复杂度是线性的 .最后 ,给出基于线图的实例验证 .

基于近似子图的规则空间压缩算法

规则空间模型是一种高效的知识结构诊断模型,但较高的规则空间构造代价阻碍了在小规模、实时认知诊断中的应用.为了提高规则空间模型的可扩展性,提出使用近似子图生成理想属性模式集进而压缩规则空间的方法.近似子图能够通过忽略和测试项目无关的属性降低子图规模量级,从而有效缩减理想属性模式集规模,达到压缩规则空间的目的;同时通过构建顶点间的虚拟边模拟领域知识图上的传递依赖关系,使近似子图在不引入额外属性的前提下保持领域知识图上的依赖关系,实现对不合理属性模式的有效过滤.在此基础上,给出了构造规则空间所需的近似子图构造算法以及由近似子图生成理想属性模式集的方法.最后在标准测试集上开展了近似子图与依赖保持子图和顶点导出子图两种方法的性能对比实验,并将近似子图应用于实际教学认知诊断中验证其诊断准确率,实验结果表明近似子图能够在不损失诊断结果准确率的前提下显著压缩规则空间,降低规则空间模型应用于小规模、实时诊断的门槛.

数据库教学中关系规范化理论的研究与实现

数据库技术在当今计算机领域得到迅速发展和广泛应用,而关系规范化理论在数据库设计中起到比较重要的优化作用,可以保证数据库较好存储性能的体现,在教学中已经作为数据库技术的重点之一。为了提高教学质量和水平,方便教学人员对关系规范化理论问题求解结果,针对规范化理论中最小覆盖、函数依赖保持和无损分解问题进行Py-thon程序实现,方便学生理论和实际的结合。

多时间粒度约束的时态简单范式的分解

数据库逻辑设计的目的是消除数据冗余、插入和删除异常。为使时态模式满足某种范式的要求,要对时态模式进行分解,保持函数依赖和无损连接性是对算法最基本的要求。但对具有多时间粒度的时态模式进行分解时,把TBCNF作为最终目标很难实现保持函数依赖性,把T3NF作为最终目标,又很难达到规范化要求。该文提出了时态简单范式TSNF的概念及相应的分解算法,来弥补以上两点不足。

全球化:一项侧重认识论的分析

在全球化与逆全球化的悖论表象之后 ,隐藏着深层次的认识论歧见。经济全球化日益使世界经济、社会、文化及政治生活一体化 ,经济自由主义也被认为能为世界人民带来和平与最大幸福 ,相互依赖成为时代发展一大趋势 ,而现代化则成为欠发达国家的一大追求。与此相反 ,许多人认为 ,国际政治分裂化现状难以改变 ,国家仍是人类正义的最好政治安排 ,经济保护主义不仅是欠发达国家、也是发达国家的一大选择 ,经济全球化带来的往往是外围对核心依附的不断再生产 ,国家与民族传统特性的保持或许比现代化更为重要。这种认识分歧 ,根本上源于全球化导致的对秩序与正义要求间的内在矛盾。

XML规范化研究

讨论了在XML规范化过程中涉及到的DTD的关系表示和无损联接分解并给出了保持依赖分解的定义。

关系数据库设计过程冗余模式消除方法

消除冗余模式是数据库设计中应考虑的重要问题之一.本文首先把不同冗余程度的冗余模式分为三级,即绝对冗余模式、相对冗余模式和函数依赖冗余模式,并作了形式化描述;然后,讨论了冗余模式的性质,并给出了消除各种冗会模式的方法,这些方法本质是多项式时间复杂度的.

论系统开放度

论系统开放度武斌，黄麟雏系统理论的重大贡献之一，在于揭示了系统开放的普遍性，以及开放系统负嫡流入的主导性，随着社会实践和系统理论研究的不断发展，人们自然地会提出这样的问题：系统开放有无特殊性？环境负嫡流入与系统开放程度之间有何关系？抑或负嫡流入有无条件？这些问题都同系统开放度问题相关联，把握系统开放度应从分析系统开放的质态特征入手，进而研究与质的规定性相联系的量的表现形式。系统开放的质态特征：（１）任何系统都是同一定环境相关联；（２）系统适应环境的范围、能力取决于系统结构的性质及其状态；（３）系统结构内稳态的保持依赖于系统功能的持续优化；（４）系统功能的持续优化通过系统整体对其组成要素之间、系统与环境之间相互作用过程的有序控制来实现。因此，系统开放度是一个综合性结构参量、功能参量和机制参量。系统开放度的量化指标有；（ｌ）相关度；（２）选择度；（３）整合度；（４）可控制。研究系统开放度的一个重要理论意义，在于揭示系统适度开放的范围、条件、特征及其规律性，揭示适度开放与过度开放之间的区别、联系及其相互转化关系，是发展开放系统理论的一个重要方面。（欣摘自《科学技术与辩证法》１９９２年第６期）论系统开放度@武斌，黄?