北京航空航天大学学报
北京航空航天大學學報
북경항공항천대학학보
2005年
4期
451-454
,共4页
数据库理论%可扩展标记语言%推理规则%定律证明
數據庫理論%可擴展標記語言%推理規則%定律證明
수거고이론%가확전표기어언%추리규칙%정률증명
XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.
XML的半結構化特性造成瞭Native XML 數據庫中數據模式規範化設計中的很多問題.採用結構信息和數據信息相結閤的方法,給齣XML數據間函數依賴的定義,解決數據模式規範化設計中的理論問題.建立瞭XML模式路徑和XML數據樹節點路徑的定義,描述XML數據中的路徑;給齣瞭XML文檔有效性的形式化定義;在此基礎上定義瞭樹元組和樹元組相等的概唸.運用樹元組及其相等的概唸定義瞭XML數據的函數依賴關繫,進而給齣瞭相應的自反、增廣、傳遞推理規則,用于推導給定集閤所蘊涵的函數依賴關繫.併證明瞭這一推理規則是正確的.上述工作為Native XML 數據庫繫統中數據模式的規範化設計提供瞭一定的理論基礎,增彊瞭XML數據的語義特性.
XML적반결구화특성조성료Native XML 수거고중수거모식규범화설계중적흔다문제.채용결구신식화수거신식상결합적방법,급출XML수거간함수의뢰적정의,해결수거모식규범화설계중적이론문제.건립료XML모식로경화XML수거수절점로경적정의,묘술XML수거중적로경;급출료XML문당유효성적형식화정의;재차기출상정의료수원조화수원조상등적개념.운용수원조급기상등적개념정의료XML수거적함수의뢰관계,진이급출료상응적자반、증엄、전체추리규칙,용우추도급정집합소온함적함수의뢰관계.병증명료저일추리규칙시정학적.상술공작위Native XML 수거고계통중수거모식적규범화설계제공료일정적이론기출,증강료XML수거적어의특성.
