基于路径表达式的XML第四范式及无冗余性判定

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:sfbw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着XML应用越来越广泛,为避免冗余,XML模式设计也变成了越来越受关注的问题,因此XML规范化理论是一个重要的研究领域.类似于关系数据库,本文从数据库角度出发,以消除数据冗余为目的,研究DTD中以路径表达式为基础的基本定义;因函数依赖和多值依赖是数据语义的重要组成部分,将其引入到XML领域中,形式化定义了XML的函数依赖和多值依赖;基于XML树、函数依赖和多值依赖概念,给出了键、冗余的描述,进而在XML函数依赖和多值依赖并存情况下,提出了满足XML第四范式的条件;给出了满足XML第四范式条件的XML文档
其他文献
深基坑工程是一项系统性的工程,其相关施工技术具有较强的综合性.本文结合深基坑围护工程的实例,简述地下连续墙施工技术的多种环节,并给出一些有效的技术措施.
本文根据笔者多年建筑电气安装实践,分析介绍了智能化建筑电气设备安装施工特点,并从电气竖井内电气设备安装及控制系统电气设备安装施工等方面阐述了智能化楼宇电气设备安装
逆作法支护施工技术是一种新型的施工工艺,其具有对环境的适应能力强、对基坑周边环境造成的影响小、减少施工场地的使用范围、施工工期短、成本低等各方面的优点.但是,逆作
现阶段我国虚拟化的技术越来越成熟,而且其应用前景也越来越广泛,虚拟化技术主要可以分为网络虚拟化、服务器虚拟化、桌面虚拟化和存储虚拟化等几个方面,桌面虚拟化技术随着
土方填筑是水利工程的重要部分,要保证水利工程的质量,就要严格把控土方填筑工程的质量.土方填筑主要包括堤防施工、回填土施工等几个方面,工序十分复杂,对技术要求高,在实施
文章介绍了系统安全漏洞和针对系统安全漏洞攻击的基本实现原理,通过对具体漏洞的分析,提出了Windows系统中基于DNS服务远程栈缓冲区溢出攻击的具体实现方法,同时也给出了针对系统安全漏洞的一些防御和避免措施。
超球体多类支持向量机(HSMC-SVM)是一种直接型多类分类器,具有训练速度快,检测效率高的优点,但由于HSMC-SVM使用一阶范数软间隔作为目标函数的惩罚项,使得其训练精度受到一定影响,为了提高HSMC-SVM训练精度,将最小二乘法引入到HSMC-SVM中,提出了最小二乘超球多类支持向量机(LSHS-MCSVM)的概念,并且分析了它的训练算法和判决规则,从而形成了完整的LSHS-MCSVM分类理
随着国家综合实力的提高和经济的快速发展,城市建设规模化日益扩大,很多实体经济企业也转行进入房地产行业,使得房产建筑工程行业竞争越来越激烈,而随着网络信息的公开和社会
由真鲷虹彩病毒引起的游水与其它原因引起的游水有明显的不同,前者发病时间长,游水时间都在1周以上;各种药物都无效,甚至加重死亡;投喂后死亡迅速增加。