【摘 要】
：
半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空
【机 构】
：
南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画.在[1]的基础上,在数据模型中加入了受限算子,并提出一种新的空间逻辑--树逻辑,在其中引入了一个新的模态算子,它们的意义在于能够对私有数据的性质进行刻画和表达.此外,通过修正数据模型中的同余关系,使得模型符合数据的有序性,从而使其更为合理.在此基础上证明了树
其他文献
笔者主要分析了基层党务工干部的履职能力的现状,针对基层党务工干部能力培养,提出具体策略。以油田企业为例,为适应新形势的要求,大力加强基层党务工干部的工作能力、提高干
家，是一个温馨的天地，是一处宁静的港湾，给我们最多的爱和关怀。
在经济学中,收入是衡量人们生活状况的核心指标,因为收入是我们实现许多目标的手段,缺少收入将使人们陷入严重的困境.但收入的作用也并非无所不能,正如森(2003)指出:"收入和
近年来,从生产效率、可持续发展水平、技术创新、国际竞争力和工业增长等五个维度衡量,我国四大板块区域发展质量都有所提升,但空间分化明显。东部地区提升最为明显,中西部地
在政府不断重视环境问题、提倡绿色发展的背景下,对企业生产中的环境工作进行计量与管理的环境会计越来越受到重视。本文这一背景下,比较中外环境会计的现状,发掘我国优势,并
由于受传统经济增长理论的指导，以及高消费观念的影响，人类的发展模式是一种高消耗型的。导致目前全球性的自然资源迅速耗减，表现为能源生产下降、淡水资源不足、森林资源持续赤
当前我国高等教育实现向普遍化的发展,高等教育管理体制也随着社会的转型发展不断被深化改革。政府与高等教育的关系历来都是学术界重点研究的问题,高等教育的民主化、大众化和现代化的发展趋势使得政府与高校的关系日趋复杂,迫使其政府进行多方面的管理变革和职能调整并呈现出进一步改革的需求,优化政府高等教育管理职能是适应高等教育发展的历史必然。政府只有通过自身管理职能的优化才能满足当前社会多元利益的需求,推动高等
在道路桥梁施工建设中,整体综合质量会受到各种因素的影响,而裂缝是其中常见的重要影响因素。并且,裂缝会严重影响道路桥梁的使用。文章对道路桥梁设计施工过程中出现裂缝的
水分对油纸绝缘套管(Oil Impregnated Paper bushing,OIP)的电气性能和介电性能有重要的影响。由水分引起的绝缘电气性能劣化,是导致套管失效乃至电力系统故障的重要诱因。套
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield