论文部分内容阅读
本文基于DTD提出了XML多值依赖(XMVD)的概念，给出了一个有效和完备的推理规则集，并对其有效性和完备性进行了证明，从而增强了XML数据的语义表现力，为进一步完善XML数据库模式设计奠定了基础。
基于树元组的XML多值依赖推理
【摘 要】
：
本文基于DTD提出了XML多值依赖(XMVD)的概念，给出了一个有效和完备的推理规则集，并对其有效性和完备性进行了证明，从而增强了XML数据的语义表现力，为进一步完善XML数据库模式设计奠定了基础。
【机 构】
：
燕山大学信息科学与工程学院,秦皇岛,066004 燕山大学里仁学院,秦皇岛,066004
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年7期
其他文献
本文对PAR平台中结构化需求语言进行了研究。文章围绕、基于结构化自然语言算法需求语言、转换系统的设计与实现、存在的问题及进一步的打算等进行了论述。
本文对空间数据库中不同值条件下的轮廓体更新算法进行了研究。文章针对空间数据点集的更新情况，提出了轮廓体更新算法。该算法能够很好地完成对轮廓体的实时更新，减少重复计算轮廓的开销，更有效地满足轮廓体在实际应用中的需求。
本文对基于渐近概率的视图安全判定算法进行了研究。文章围绕现有的视图安全判定方法、渐近概率的视图安全问题、渐近概率的视图安全判定算法等进行了论述。
本文对安全组播数据源认证方法的改进进行了研究。文章提出了一种基于树哈希的改进的组播数据源认证方法。此方法的计算和通信开销都较低，与传统的树哈希方法相比，更加有效和实用。
本文对基于代理的分布式入侵检测系统模型进行了研究。文章围绕入侵检测技术的分析、不同可分为集中式和分布式入侵检测系统、分层式入侵检测系统等进行了论述。
本文针对MPICH2的结构，通过改进其包含的MPD进程管理组件的功能，提出了一套基于并行检查点技术的MPI容错机制。MPICH的较新版本中引入了MPD这个辅助机制，是负责MPI作业启动与终止以及信号处理等功能的进程管理组件。
本文对联合网格门户架构设计进行了研究。文章围绕当前网格门户架构分析、联合网格门户架构设计、评测和比较分析、数字化校园联合网格门户等进行了论述。
本文对基于概率关联图挖掘Web日志中有趣关联规则进行了研究。文章介绍了加权有向图的概率关联模型，阐述了挖掘算法，并将该算法与普通关联规则挖掘算法进行了比较分析。