小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
5期
1091-1096
,共6页
XML规范化%函数依赖%多值依赖%键%冗余%第四范式
XML規範化%函數依賴%多值依賴%鍵%冗餘%第四範式
XML규범화%함수의뢰%다치의뢰%건%용여%제사범식
随着XML应用越来越广泛,为避免冗余,XML模式设计也变成了越来越受关注的问题,因此XML规范化理论是一个重要的研究领域.类似于关系数据库,本文从数据库角度出发,以消除数据冗余为目的,研究DTD中以路径表达式为基础的基本定义；因函数依赖和多值依赖是数据语义的重要组成部分,将其引入到XML领域中,形式化定义了XML的函数依赖和多值依赖；基于XML树、函数依赖和多值依赖概念,给出了键、冗余的描述,进而在XML函数依赖和多值依赖并存情况下,提出了满足XML第四范式的条件；给出了满足XML第四范式条件的XML文档树无冗余的判定定理,并通过具体实例及实验证明了XML第四范式的有效性.
隨著XML應用越來越廣汎,為避免冗餘,XML模式設計也變成瞭越來越受關註的問題,因此XML規範化理論是一箇重要的研究領域.類似于關繫數據庫,本文從數據庫角度齣髮,以消除數據冗餘為目的,研究DTD中以路徑錶達式為基礎的基本定義；因函數依賴和多值依賴是數據語義的重要組成部分,將其引入到XML領域中,形式化定義瞭XML的函數依賴和多值依賴；基于XML樹、函數依賴和多值依賴概唸,給齣瞭鍵、冗餘的描述,進而在XML函數依賴和多值依賴併存情況下,提齣瞭滿足XML第四範式的條件；給齣瞭滿足XML第四範式條件的XML文檔樹無冗餘的判定定理,併通過具體實例及實驗證明瞭XML第四範式的有效性.
수착XML응용월래월엄범,위피면용여,XML모식설계야변성료월래월수관주적문제,인차XML규범화이론시일개중요적연구영역.유사우관계수거고,본문종수거고각도출발,이소제수거용여위목적,연구DTD중이로경표체식위기출적기본정의；인함수의뢰화다치의뢰시수거어의적중요조성부분,장기인입도XML영역중,형식화정의료XML적함수의뢰화다치의뢰；기우XML수、함수의뢰화다치의뢰개념,급출료건、용여적묘술,진이재XML함수의뢰화다치의뢰병존정황하,제출료만족XML제사범식적조건；급출료만족XML제사범식조건적XML문당수무용여적판정정리,병통과구체실례급실험증명료XML제사범식적유효성.
