XML弱函数依赖与单依赖集合的研究.pdf

燕山大学
硕士学位论文
XML弱函数依赖与单依赖集合的研究
姓名:苏召
申请学位级别:硕士
专业:计算机软件与理论
指导教师:刘国华
20070301
摘要某鱿指菘饬煊虼戳撕芏嘈碌奈侍猓渲蠿数据的约束问题是当前的研究热点之一。览怠⒙呒毯墙徊窖芯蚗规范化理论的基础。有关菽J缴杓频难芯扛崭开始,虽然取得了一些初步研究成果,但还没有形成统一的规范和完整的理论体系。本文在对国内外研究现状进行综合分析的基础上,从一个全新的角度对览涤胪评砉嬖虻任侍饨辛搜芯俊首先,基于瓵热烁ǖ腦中蚗树的定义,将空值的语义引入到校岢鐾耆髟W椤⒉煌耆髟W椤⑹葜灯颉最小扩展树等概念,在此基础上给出鹾览狄约昂览导毯的定义。其次,,并证明了此推理规则集的正确性和完备性。然后,对弱函数依赖的可加性进行了研究。将弱满足的语义推广到函数依赖集合,给出弱函数依赖可加性的定义,提出一个可加性的判定算法。给出ヒ览导母拍睿⒀芯苛说ヒ览导肟杉有缘闹匾AO怠最后,对单依赖集的性质进行了研究。给出规范覆盖下单依赖集的另一种定义,根据此定义给出一个单依赖集判定算法,并对算法的正确性和时间复杂度进行了分析。讨论了单依赖集条件下,函数依赖集闭包的特点。关键词蝗鹾览担煌评砉嬖颍旱ヒ览导豢杉有
.甌瑃,燕山大学渡涎宦畚瓵琣琤,,.琤,.。琧琲琩.,瓵,‘’
.籛籑;籄,
少隰哮岁月珈作者签名:啼、乃坷叩作者签字司砖导师签名:莎、不保密彩燕山大学硕士学位论文原创性声明燕山大学硕士学位论文使用授权书本人郑重声明:此处所提交的硕士学位论文《ⅪH鹾览涤氲ヒ《Ⅺ鹾览涤氲ヒ览导系难芯俊废当救嗽谘嗌酱笱Чザ了妒赖集合的研究》,是本人在导师指导下,在燕山大学攻读硕士学位期间独立进行研究工作所取得的成果。据本人所知,论文中除已注明部分外不包含他人已发表或撰写过的研究成果。对本文的研究工作做出重要贡献的个人和集体,均已在文中以明确方式注明。本声明的法律结果将完全由本人承学位期间在导师指导下完成的硕士学位论文。本论文的研究成果归燕山大学所有,本人如需发表将署名燕山大学为第一完成单位及相关人员。本人完全了解燕山大学关于保存、使用学位论文的规定,同意学校保留并向有关部门送交论文的复印件和电子版本,允许论文被查阅和借阅。本人授权燕山大学,可以采用影印、缩印或其他复制手段保存论文,可以公布论文的全部或部分内容。保密口,在年解密后适用本授权书。本学位论文属于朐谝陨舷嘤Ψ娇蚰诖颉”年期担。月、,、,
第滦髀研究背景经过十几年的发展,互联网已经成为新经济时代的标志,它极大地影响了人类的生活方式、商业模式,并将在新世纪继续对人类社会的进步起着巨大的推动作用。据美国在线计算机图书中一年度研究报告,全球的镜阋延万个。根据等机构的统计,美国积极参与互联网的用户为颍由贤过共享设施访问互联网的人数共有亿,占总人口的一半。就我国而言,据中国互联网络信息中一的年统计数据表明:到年月日为止,我国的站点数目为万个,上网计算机数目为蛱ǎ上网用户总人数己达颍庑┦荻急攴艘环唷S年相比,三年间翻了倍。作为互联网最主要应用的晌U鍪澜的窗口,它实现了全球用户和机构信息的共享。可以预计,魑H类社会的主要信息源、媒体和商务的门户,而互联网将作为信息传播的介质和商务运作的基础平台。年拢蛭嵬瞥隽薠可扩展的标记语言魑R恢只チM惺荼硎竞徒换坏谋曜肌緇】。且恢旨虻チ榛睢⒐δ芮看蟮谋昙怯镅浴K荢,标准通用标记语言囊桓鲎蛹唤黾坛了的可扩展性,同时保持了对现有的面向的系统的向下兼容性,而且延续了,超文本标记语言囊用性。另外,用昙枪氖萑匀豢梢栽诨贖南低持惺褂谩犹岢龅较衷谥徊还改甑氖奔洌魑R恢挚绮贰⒖缃缑妗跨平台的互联网的标准语言,已经显现出其强大的应用前景,并受到了政府、企业和各大软件厂商的广泛关注。各个行业如金融机构、海关、媒体、,
义归,以利于数据以公认的格式进行交换与集成。随着蚪产业正制定各自行业的,文档类型定步成熟,人们开始设计各自的,同样也是为了更好的进行数据的交换与集成。微软、、网景、甲骨文等大厂商都推出了基于牟泛徒饩龇桨福纾何⑷硗瞥隽耍畁技术,声称到年全面支持壳耙丫迪帧T诠庖丫纬闪薠的一系列标准的基础上,国内也开始给予ù蟮墓刈ⅲ纾褐泄蒲г旱缱由涛裱芯恐心和联合国的大软件厂商制定了曜肌随着莸脑龆啵喙匦幸当曜糄的制定,人们也开始越来越多地希望以对待数据库的方式来管理牡怠<热皇钦庋捅厝灰求增强喙乇曜贾卸杂谠际亩ㄒ迥芰Γ蛭T际鞘萦镆宓闹匾组成部分。然而牡底魑0虢峁够莸奶乩淙凰苋菀妆泶锢自不同源的数据,但足,由于隨庑┠J蕉ㄒ宸椒ǘ杂谕暾性约束的定义能力都是有限的,其所能表示的语义信息也相对有限。另外,随着τ梅段У耐毓悖A颂岣呤葜柿浚魑猉文档的主要模式定义方法,