哈尔滨工程大学学报
哈爾濱工程大學學報
합이빈공정대학학보
JOURNAL OF HARBIN ENGINEERING UNIVERSITY
2010年
4期
496-502
,共7页
不完全信息%XML强函数依赖%XML强闭包依赖%XML强闭包依赖范式
不完全信息%XML彊函數依賴%XML彊閉包依賴%XML彊閉包依賴範式
불완전신식%XML강함수의뢰%XML강폐포의뢰%XML강폐포의뢰범식
为了解决从数据库整体的角度来消除基于不完全信息的XML数据冗余问题,研究了在不完全信息环境下XML数据库的各个模式之间存在的XML强闭包依赖引起数据冗余的判定条件和规范化算法.首先,给出了XML强函数依赖和XML强闭包依赖两者互不影响的定义;其次,提出了XML强函数依赖和非循环XML强闭包依赖互不影响的判定定理,研究了XML强闭包依赖范式以及相应的判定定理;最后,提出了把XML数据库模式转化为XML强闭包依赖范式的规范化算法,对时间复杂度进行了分析.该算法消除了冗余路径,避免了更新异常,实现了整个XML数据库模式更合理的设计.
為瞭解決從數據庫整體的角度來消除基于不完全信息的XML數據冗餘問題,研究瞭在不完全信息環境下XML數據庫的各箇模式之間存在的XML彊閉包依賴引起數據冗餘的判定條件和規範化算法.首先,給齣瞭XML彊函數依賴和XML彊閉包依賴兩者互不影響的定義;其次,提齣瞭XML彊函數依賴和非循環XML彊閉包依賴互不影響的判定定理,研究瞭XML彊閉包依賴範式以及相應的判定定理;最後,提齣瞭把XML數據庫模式轉化為XML彊閉包依賴範式的規範化算法,對時間複雜度進行瞭分析.該算法消除瞭冗餘路徑,避免瞭更新異常,實現瞭整箇XML數據庫模式更閤理的設計.
위료해결종수거고정체적각도래소제기우불완전신식적XML수거용여문제,연구료재불완전신식배경하XML수거고적각개모식지간존재적XML강폐포의뢰인기수거용여적판정조건화규범화산법.수선,급출료XML강함수의뢰화XML강폐포의뢰량자호불영향적정의;기차,제출료XML강함수의뢰화비순배XML강폐포의뢰호불영향적판정정리,연구료XML강폐포의뢰범식이급상응적판정정리;최후,제출료파XML수거고모식전화위XML강폐포의뢰범식적규범화산법,대시간복잡도진행료분석.해산법소제료용여로경,피면료경신이상,실현료정개XML수거고모식경합리적설계.