计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2004年
4期
594-600
,共7页
函数依赖%可扩展标记语言%规范化
函數依賴%可擴展標記語言%規範化
함수의뢰%가확전표기어언%규범화
一个设计良好的DTD对于XML应用来说是必须的,从消除文档内数据冗余的角度出发研究了这一问题 .函数依赖是数据语义的重要组成部分,将它引入到XML的领域中 .给出的函数依赖可以是绝对的,也可以是相对的,键只是它的一种特例 .讨论了逻辑蕴涵及其相应的推理规则,并证明了推理规则集的正确性和完备性 .基于函数依赖,提出了规范化的DTD概念,并给出了一个将DTD转化为规范化形式的算法 .
一箇設計良好的DTD對于XML應用來說是必鬚的,從消除文檔內數據冗餘的角度齣髮研究瞭這一問題 .函數依賴是數據語義的重要組成部分,將它引入到XML的領域中 .給齣的函數依賴可以是絕對的,也可以是相對的,鍵隻是它的一種特例 .討論瞭邏輯蘊涵及其相應的推理規則,併證明瞭推理規則集的正確性和完備性 .基于函數依賴,提齣瞭規範化的DTD概唸,併給齣瞭一箇將DTD轉化為規範化形式的算法 .
일개설계량호적DTD대우XML응용래설시필수적,종소제문당내수거용여적각도출발연구료저일문제 .함수의뢰시수거어의적중요조성부분,장타인입도XML적영역중 .급출적함수의뢰가이시절대적,야가이시상대적,건지시타적일충특례 .토론료라집온함급기상응적추리규칙,병증명료추리규칙집적정학성화완비성 .기우함수의뢰,제출료규범화적DTD개념,병급출료일개장DTD전화위규범화형식적산법 .