基于函数依赖的XML键的推理及其求解算法.pdfVIP

第4l卷增刊 计算机研究与发展 V01．41，Suppl 2004年10月 Oct2004 jouRNALOFCOMPUTERRESEARCHANDDEVELOPMENT 基于函数依赖的XML键的推理及其求解算法 张忠平“2余靖1朱扬勇2 1(燕山大学计算机科学与工程系秦皇岛066004) 2(复旦大学计算机与信息技术系上海200433) (zpzhang@ysu．edu，cn) 摘要键是数据库模式和概念设计的基础，是语义的一个重要组成部分．随着XML成为Web上一种通用的数据交换 标准格式，将键的概念引入到XML领域就显得非常迫切．基于路径和树元组表达式，从数据库设计的角度出发，在XML 函数依校形式化定义的基础上给出XML键的完整性约束定义、XML绝对键和相对键的有效和完备的推理规则，并提出 多项式时间求解XIVlL候选键的算法，为XML数据库模式的规范化设计奠定了理论基础． 关键词X／vlL；DTD；XML键；推理规则；算法 中国法分类号TP311 and XMLBased The about for onFunctional ReasDningAlgorithmKeys Dependency ZHANG ZHU Zhong—Pin91”，YuJinga，andYang．Yon矿 Science and 1(DepartmentofComputingEngineering，YanshanUniversity，Qinhuangdao066004) Technology，Fudan 200433) 2(DepartmentofComputingandInformation University，Shanghai Abstractisthebasisfordatabaseschemaand isan of design．Itimportantsemantic Key concept part XML a world．With standardfor data onWeb．itis that becoming generalexchanging very impendingkey isintroducedinXMLfidds．Inthis on andtree tuples andformalized paper，basedpaths expressions definitionforXMLfunctional the ofdative definitionof dependency，frompoint design，the XMI。key soundand inferencerulestoabsoluteandrelativefor constraints，the integer complete key key XML，and the forXMLcandidateinPrlmeare establ