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

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

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

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

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

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