软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2005年
4期
533-539
,共7页
可扩展标记语言%关系%传播%函数依赖%规范化
可擴展標記語言%關繫%傳播%函數依賴%規範化
가확전표기어언%관계%전파%함수의뢰%규범화
XML和关系的结合是一个重要的研究领域,讨论函数依赖和规范化在关系及XML间的传播问题.首先引入XML上函数依赖和键的定义,并进一步定义XML上的数据冗余和规范化DTD的概念.分别讨论在关系和XML相互转化的过程中,函数依赖的传播问题.针对一种一般化的关系模式DTD表示,证明原有关系中的函数依赖可以在生成的XML文档上得到表示.针对一种常见的XML关系存储方法,说明最终生成关系上的函数依赖与原有XML上函数依赖的对应关系.函数依赖传播的核心意义在于规范化的传播.证明使用上述方法时,若原有的关系是满足BCNF的,则发布得到的DTD也是规范化的;若原始的DTD是规范化的,则得到的关系存储也满足BCNF范式.
XML和關繫的結閤是一箇重要的研究領域,討論函數依賴和規範化在關繫及XML間的傳播問題.首先引入XML上函數依賴和鍵的定義,併進一步定義XML上的數據冗餘和規範化DTD的概唸.分彆討論在關繫和XML相互轉化的過程中,函數依賴的傳播問題.針對一種一般化的關繫模式DTD錶示,證明原有關繫中的函數依賴可以在生成的XML文檔上得到錶示.針對一種常見的XML關繫存儲方法,說明最終生成關繫上的函數依賴與原有XML上函數依賴的對應關繫.函數依賴傳播的覈心意義在于規範化的傳播.證明使用上述方法時,若原有的關繫是滿足BCNF的,則髮佈得到的DTD也是規範化的;若原始的DTD是規範化的,則得到的關繫存儲也滿足BCNF範式.
XML화관계적결합시일개중요적연구영역,토론함수의뢰화규범화재관계급XML간적전파문제.수선인입XML상함수의뢰화건적정의,병진일보정의XML상적수거용여화규범화DTD적개념.분별토론재관계화XML상호전화적과정중,함수의뢰적전파문제.침대일충일반화적관계모식DTD표시,증명원유관계중적함수의뢰가이재생성적XML문당상득도표시.침대일충상견적XML관계존저방법,설명최종생성관계상적함수의뢰여원유XML상함수의뢰적대응관계.함수의뢰전파적핵심의의재우규범화적전파.증명사용상술방법시,약원유적관계시만족BCNF적,칙발포득도적DTD야시규범화적;약원시적DTD시규범화적,칙득도적관계존저야만족BCNF범식.
