基于类型理论的XML类型系统形式化建模

来源 :计算机工程 | 被引量 : 0次 | 上传用户:lxj364199013
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系统进行了形式化建模,实现了对各种XML数据的类型定义和对XML数据处理过程的类型检验,为可直接存储和检索XML数据的XML数据库DM4提供了一种有效的类型系统设计方案.
其他文献
To allow an easy individuation of the more suitable working conditions (temperature, pressure, flow rate, etc.) to be adopted to carry out the extraction of foo
描述了Linux系统设备驱动程序的概念、分类及关键技术,包括设备的设备号、设备的操作及设备的注册和卸载等。以LED设备驱动程序为例,分析了Linux系统下字符设备驱动程序的设计
非语言沟通作为语言沟通技巧的有益补充,不仅能独立传递情感信息,还起着加强言语表达的作用。非语言沟通具有较强的表现力和吸引力,又可跨越语言不通的障碍,故往往比语言信息更富
目的通过对乙肝疫苗接种后不同免疫应答人群T细胞亚群的检测,探讨乙肝疫苗接种后免疫应答与T细胞亚群活化的关系。方法采集18例乙肝疫苗接种应答者(应答者)、22例乙肝疫苗接
目的研究锌对增殖期大鼠生长板软骨细胞(RGC)ZnT-7表达的影响及其规律。方法用wista大鼠进行体外培养培养大鼠肋生长板软骨细胞,并用0、5、10和20μmol/L的锌螯合剂TPEN[N,N,
This paper reports on the development of a novel electrochemical assay for cadmium (II) in natural water, which involves the use of disposable hydroxyapatite mo
目的探讨外周血淋巴细胞亚群和Th1/Th2细胞相关因子对健康成人接种基因重组乙肝疫苗免疫效果的影响,阐明重组乙肝疫苗免疫失败的机理,为研究有效的乙肝疫苗免疫佐剂、改进免
湘西花垣铅锌矿床是一个产于下寒武统清虚洞组碳酸盐岩中的大型MVT铅锌矿床,含矿岩系为大陆边缘相的藻灰岩、鲕粒灰岩夹黑色泥质条带灰岩。矿区及外围的寒武系中有大量沥青出现。
目的全面调查主要病媒生物种群的种群、密度、季节消长等基本状况,并对不同区域的病媒生物侵害情况进行调查,摸清主要病媒生物的种类、数量、分布及季节变化,为预测预报和控
The present work presents a first characterization of the oil from the Moringa (Moringa oleifera) kernel as a potential candidate for biodiesel production. Mori