小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2009年
11期
2232-2237
,共6页
XML结构完整性约束%DTDs%逻辑蕴含%一致性
XML結構完整性約束%DTDs%邏輯蘊含%一緻性
XML결구완정성약속%DTDs%라집온함%일치성
structural integrity constraints for XML%DTDs%logical implication%consistency
XML结构完整性约束(XSICs)描述了XML文档中节点或路径之间结构关系,这种约束可以看成是DTDs的扩展和补充.定义了元素排他性包含、必需性包含、路径蕴含、路径同现和路径互斥五种XSICs的语法和语义,研究了如何使用XSICs扩展DTDs,并解决了有DTDs的情况下结构完整性约束的逻辑蕴含问题和一致性问题.
XML結構完整性約束(XSICs)描述瞭XML文檔中節點或路徑之間結構關繫,這種約束可以看成是DTDs的擴展和補充.定義瞭元素排他性包含、必需性包含、路徑蘊含、路徑同現和路徑互斥五種XSICs的語法和語義,研究瞭如何使用XSICs擴展DTDs,併解決瞭有DTDs的情況下結構完整性約束的邏輯蘊含問題和一緻性問題.
XML결구완정성약속(XSICs)묘술료XML문당중절점혹로경지간결구관계,저충약속가이간성시DTDs적확전화보충.정의료원소배타성포함、필수성포함、로경온함、로경동현화로경호척오충XSICs적어법화어의,연구료여하사용XSICs확전DTDs,병해결료유DTDs적정황하결구완정성약속적라집온함문제화일치성문제.
Structural integrity constraints for XML(XSICs) specify structural relationships between different nodes and paths in XML documents, which can be regarded as an extension of DTDs. The paper defines the syntax and semantics of XSICs,including element exclusive inclusion,obligatory inclusion,path implication,path co-occurrence and path mutual-exclusion,studies bow to extend DTDs with XSICs,and resolves their logical implication and consistency problems in the presence of DTDs.