基于函数依赖图的设计关系数据库模式的综合算法

本文详细讨论了函数依赖图的原理及基于函数依赖图求解ＥＫＮＦ（基本关键字范式）的数据库模式的综合算法。它对于给定的一关系数据库的一组函数依赖产生相应的ＦＤ图；基于此ＦＤ图，删除该ＦＤ图中的冗余复合节点、多余复合节点和冗余完全弧；从而得到一个ＬＲ最小ＦＤ图覆盖；并由此得出一个属于ＥＫＮＦ的较好的关系数据库模式。本文所述综合算法的时间复杂度为多项式的，因而在实践中有重要的实用价值。     

求关系模式所有最小基数候选关键字的一种多项式算法

本文深入分析了最小基数候选关键字在关系模式中的结构特征,提出了化简独立复合环、独立简单环、化简双部属性函数依赖图等概念.在此基础上,给出了求一个关系模式所有最小基数候选关键字集的多项式算法.     

计算关系数据库模式的候选关键字的一个有效算法

给出计算关系数据库模式R的候选关键字的一个有效算法,算法利用函数依赖中的属性“排列”去决定哪些是主要的,有用的;哪些属性不可被考虑,从而找出R的候选关键字。     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中．由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多．就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法．对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果。     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.     

一种改进的SLCA语义查询算法

在XML关键字查询处理中,寻找最小最低公共祖先SLCA（Smallest Lowest Common Ancestor）是一个重要问题.分析了基于SLCA语义查询处理算法的特点,在关键字和Dewey编码的倒排索引的基础上,利用栈结构实现了SLCA算法.     

求解最小覆盖问题的快速近似算法的进一步研究

分析了已有求覆盖平面上给定的若干个点的尽可能小的圆的问题的算法。给出了一个新的求解最小覆盖问题的算法，其计算时间复杂度为平面上给定的点数量的线性函数，该算法已编程实现，通过几万例随机算例的实际计算比较，表明算法所得结果的平均精度比已有的各种快速近似算法所得的精度要高，而且具体每例所需的计算时间均比已有快速近似算法对应的计算时间要短。     

求解最小覆盖问题的快速近似算法的进一步研究

分析了已有求覆盖平面上给定的若干个点的尽可能小的圆的问题的算法。给出了一个新的求解最小覆盖问题的算法，其计算时间复杂度为平面上给定的点数量的线性函数，该算法已编程实现，通过几万例随机算例的实际计算比较，表明算法所得结果的平均精度比已有的各种快速近似算法所得的精度要高，而且具体每例所需的计算时间均比已有快速近似算法对应的计算时间要短。     

基于扩展Dewey编码的XML文档关键字查询算法研究

为实现XML关键字查询,提出一种基于扩展Dewey编码快速求解SLCA的新算法:FEDA.算法利用Dewey扩展编码快速命中含有N个关键字的集合,将最终交集看做一棵简化的XML树,所有的叶节点即为求解的SLCA.该算法与经典的ILE算法进行对比,效率优于ILE算法.     

XML与关系数据库相互转换中的语义约束完整性

采用Shared Inlining方法,提出基于函数依赖的XML到关系的无损映射算法,使得原XML文档的内容和结构信息及语义约束完整地映射到关系数据库中.在此基础上利用外键连接与路径映射规则,提出基于语义约束的关系模式向XML模式的转换算法,以重构出原XML文档.提出的新观点是：映射得到的关系或XML文档的范式不但与映射算法有关,而且与XML文档或关系的规范化程度有关.定义了XML范式,提出XML文档与关系的相互转换中XML范式与关系范式对应关系的相关命题,并给出了相应证明.     

XML函数依赖集的逻辑蕴含

提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.     

XML数据本体抽取算法研究

XML只描述了文档的结构,却没涵盖数据的语义,而描述数据语义的本体语言不能直接对XML数据进行表述.针对这一问题,本文给出了从XML到RDF Schema的转换算法,使用RDF的正式传输格式RDF/XML作为媒介,通过编程以相当直接的方式把存储在标准XML中的数据转换成RDF,为语义Web环境下的智能处理提供了帮助.     

XML关键字问题的研究

关键字是数据库设计的一个重要部分,它们是数据模型和概念设计的基础。关键字对索引、XML数据的存档以及设计关系存储都是非常重要的。本文主要提出了XML文档关键字的定义,包括绝对关键字、相对关键字以及强关键字的概念,同时给出了关键字的推理规则。     

基于SAX模型的XML文档更新算法研究

XML作为信息交换的标准。广泛应用于Internet／Intranet计算环境中．根据SAX模型的特点，提出一种基于SAX模型的XML文档更新算法．使用X—Path表示文档结点，形式化定义XML文档的更新脚本；在XML文档的SAX扫描过程中生成结点的X—Path，然后判断结点是否需要更新，将更新脚本应用到文档上实现文档的更新．采用SAX模型，与DOM模型相比，实现对XML文档的动态更新，在时间和空间上取得比较好的效果．     

保持语义约束的XML文档规范化

 从XML键导出了既保持语义约束又符合DTD结构约束的XML函数依赖,并基于DTD的规范化技术及XML的查询转换技术提出了保持语义的XML文档规范化方法,并对其应用实例作了详细的分析.     

外部密钥控制系统参数的图像加密算法

通过外部密钥映射产生混沌系统的初始条件及迭代次数,然后利用所产生的混沌信号对图像信号进行掩盖加密,在此基础上提出了一种图像加密算法．仿真结果表明,该算法提供了一种良好的混沌密钥空间设计方法,密钥空间大,具有较好的加密效果,对统计分析和差分攻击等具有较好的安全性．     

XML模式到关系模式的递归结构映射算法

分析现有XML模式到关系模式的各种映射算法的不足,提出针对递归结构的映射算法:XML2DB-recursion- mapping.该算法可以保留递归结构,建立符合范式的关系模式.递归关系从关系模式恢复到XML模式的实验证明,XML2DB-recursion-mapping具有可逆无损的算法特性,具有比已有算法更好的映射结果.     

分层算法求解竞赛图上的最小弱顶点覆盖

竞赛图上的弱顶点覆盖问题是一个NP困难问题,本文先定义了竞赛图上的势加权函数,然后利用分层技术给出了一个求解竞赛图最小弱顶点覆盖问题的近似算法,并证明了此近似算法的近似度为3