基于模式图的规范化XML模式设计

在给定关系模式的属性集及其函数依赖最小覆盖集的基础上,提出一种基于模式图的规范化XML模式设计方法。定义了模式图,在模式图中增加了Keys的描述信息,给出由函数依赖集构造模式图的算法。该模式图独立于具体的XML模式语言,经分析证明,所设计的模式满足XNF。

存在多值依赖(MVD)的XML文档的规范化

讨论了在XML文档中存在多值依赖的情况下,如何规范XML 文档,从而使XML 文档有更小的冗余,以及更新、删除、插入异常。并在此基础上提出了一个规范化算法,来规范存在多值依赖的XML 文档。并给出了算法的说明。

基于转换技术的XML文档规范化及更新

XML已经成为互联网上数据表示、集成和转换的标准。作为一种半结构化数据,XML更新操作是扩展其查询能力的一个重要方面。为了保持原来的语义完整性,避免更新过程中的冗余和异常现象,作者提出了一种新的方法。该方法基于XML转换技术来规范XML文档,并基于规范化的XML,XNF来直接更新XML文档。该方法完成更新后,保持了XML的结构和原来的完整性约束。

基于ARINC653标准的网络文件系统设计

为了满足新一代航空电子系统对文件存储管理的要求,航空电子系统中引入网络文件系统NFS(Network File System)。文章提出一种基于ARINC653标准的、适用于航空电子系统的网络文件系统xNFS的设计方案,分析了ARINC653标准定义的软件结构和文件系统,阐述了xNFS的框架结构和工作原理,论述了xNFS的功能与协议。该方案已经在工程实际中获得应用,符合ARINC653标准的要求。

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

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