ZHANG Jianmei, TAO Shiqun, LIANG Jiye. Logical Implication of Structural Integrity Constraints for XML[J]. Chinese Journal of Electronics, 2009, 18(2): 243-248.
Citation: ZHANG Jianmei, TAO Shiqun, LIANG Jiye. Logical Implication of Structural Integrity Constraints for XML[J]. Chinese Journal of Electronics, 2009, 18(2): 243-248.

Logical Implication of Structural Integrity Constraints for XML

  • Received Date: 2008-05-01
  • Rev Recd Date: 2008-10-01
  • Publish Date: 2009-05-25
  • For tree XML, constraints that specifystructural relationships among nodes or paths are very natural. In this paper, we introduce the concept of structuralintegrity constraints for XML (XSICs), which specify pathimplication, path cooccurrence, path mutual-exclusion, element obligatory inclusion and exclusive inclusion, anddefine the syntax and semantics of XSICs. For reasoning about XSICs, we rewrite all the other constraints intopath implication constraints, and develop a sound and complete set of inference rules for path implication constraints.Meanwhile, we propose the concept of path implication closure. By using the path implication closure, we prove thecompleteness of inference rules, and determine the implication decision about XSICs.
  • loading
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (556) PDF downloads(561) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return