论文部分内容阅读
利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系统进行了形式化建模,实现了对各种XML数据的类型定义和对XML数据处理过程的类型检验,为可直接存储和检索XML数据的XML数据库DM4提供了一种有效的类型系统设计方案.
基于类型理论的XML类型系统形式化建模
【摘 要】
：
利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系统进行了形式化建模,实现了对各种XML数据的
【机 构】
：
华中科技大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2004年12期
其他文献
A Simplified Method to Estimate the Time Evolution of Oil Extraction from Different Substrates by Su
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,
Square Wave Voltammetry for Analytical Determination of Cadmium in Natural Water Using Ca10(PO4)6(OH
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细胞相关因子对健康成人接种基因重组乙肝疫苗免疫效果的影响,阐明重组乙肝疫苗免疫失败的机理,为研究有效的乙肝疫苗免疫佐剂、改进免
湘西花垣铅锌矿床是一个产于下寒武统清虚洞组碳酸盐岩中的大型ＭＶＴ铅锌矿床，含矿岩系为大陆边缘相的藻灰岩、鲕粒灰岩夹黑色泥质条带灰岩。矿区及外围的寒武系中有大量沥青出现。
目的全面调查主要病媒生物种群的种群、密度、季节消长等基本状况,并对不同区域的病媒生物侵害情况进行调查,摸清主要病媒生物的种类、数量、分布及季节变化,为预测预报和控
The present work presents a first characterization of the oil from the Moringa (Moringa oleifera) kernel as a potential candidate for biodiesel production. Mori