XML上的函数依赖推理

来源 :软件学报 | 被引量 : 0次 | 上传用户:xiestephen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
函数依赖是数据语义的重要组成部分,这一概念被引入到XML的领域中.基于DTD,XML的树模型和路径表达式,对节点的值相等和路径节点集作了定义.在此基础上,研究了XML中函数依赖、逻辑蕴涵和路径闭包的概念,证明了函数依赖在给定DTD上的可满足性.提出了一个XML上函数依赖的正确和完备的推理规则集,并给出了一个用于计算路径闭包的算法.
其他文献
重点介绍功果桥水电站新型防水材料的防渗特点、施工工艺及获得成功应用的经验。功果桥水电站蓄水投入运行后部分地下工程建筑物墙壁表面出现较大面积的潮湿、局部点渗和裂缝
以采用AAO工艺的德清县狮山污水处理厂作为生物场-水力场-温度场耦合模型校验的现场试验基地.针对AAO工艺的特点,按照物料平衡原理分别对厌氧池、缺氧池、好氧池等各反应池内
<正> 改革开放以来,随着社会经济体制的不断变革,卫生局作为行业主管部门的职能,已经和正在发生着重大转换,其工作重心正逐步向卫生执法监督与行业内部调控方向转移。为了确
<正> 为了提高胃癌的早期诊断率,人们致力于各种检查方法的探讨。随着胃癌流行病学研究的深入,有关癌前病变与胃癌的关系日益受到重视。根据我国胃癌发病率高而经济又不很发
<正> 长期以来,黑龙江省卫生防疫站食品卫生监督检验所对全省食品企业推出的各种食品进行人工登记、注册、发放卫生许可兼并企业档案管理等。随着我省食品企业的不断壮大,食
<正> 近年来,全球卫生领域日益重视社区卫生保健。无论是高度发达国家还是发展中国家,都十分重视在现有卫生资源的基础上,优先开展社区口腔卫生保健项目,提高社区居民的口腔
因病致贫问题 影响着我国农村地区的稳定。农村居民因病致贫的主要原因有两个:就医保障水平下降和就医经济宛险急增。因此,解决农村居民因病致贫的基本思路为,控制医疗费用过快
教师要有意识地使用移情的方式洞察孩子的世界,不能用成人的思维去看学生,这样才能与学生站在同一起跑线上,对学生的学习才能感同身受。  教学“秒的认识”,一般要让学生练习这样的题目:  在( )里填上适当的时间单位。  1.小红跑50米用了9( )。  2.跳绳20下大约用15( )。  3.吃一顿饭用了20( )。  站在成人的角度来思考这些问题,似乎没有教学的必要,但在教学中我们会发现学生的错误率
Wii是日本推出的家用游戏机,其中的体育游戏情景逼真,互动参与性强,老少皆宜。笔者曾经在一堂公开课的激趣部分借鉴使用了Wii游戏中的情景跑步小游戏,学生被深深吸引,仿佛置身于森林中,真切地感受到蓝天白云、青山绿水,通过改变节奏、转弯、钻山洞、与小狗赛跑等情景,学生的参与热情空前高涨,锻炼效果大大好于平时。那么,Wii究竟给我们的体育课带来什么样的启示呢?    一、赏识运动者    当你每一次开始
通过盆栽模拟试验研究了添加不同铁源及接种丛枝菌根真菌(Arbuscular mycorrhizal fungi,AMF)对高砷污染土壤上玉米生长及其吸收磷、砷、铁、锰、铜和锌的影响.试验结果表明,