Functional Dependencies and Inference Rules XML

被引：0
|
作者：
Ahmad, Kamsuriah [1 ]
Ibrahim, Hamidah [2 ]
机构：
[1] Univ Kebangsaan Malaysia, Bangi, Malaysia
[2] Univ Putra Malaysia, Serdang 43400, Malaysia
来源：
INTERNATIONAL SYMPOSIUM OF INFORMATION TECHNOLOGY 2008, VOLS 1-4, PROCEEDINGS: COGNITIVE INFORMATICS: BRIDGING NATURAL AND ARTIFICIAL KNOWLEDGE | 2008年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The concept of functional dependency plays a fundamental role in relational databases where they are used in integrity enforcement and in database design. Similarly, these constraints will play fundamental role in XML as well. Recently XML functional dependencies (XFDs) have been intensively studied than other constraints for XML data. Since key is a special case of XFD, a formal definition of XFD that is able to specify keys and DTD (Data Type Definition) cardinality constraints is defined. A method for reasoning about these constraints and a set of inference rules for XFDs is proposed and proof correct.
引用
收藏
页码：494 / +
页数：2
相关论文
共 50 条
  • [31] Repairs and consistent answers for XML data with functional dependencies
    Flesca, S
    Furfaro, F
    Greco, S
    Zumpano, E
    DATABASE AND XML TECHNOLOGIES, 2003, 2824 : 238 - 253
  • [32] Strong functional dependencies and their application to normal forms in XML
    Vincent, MW
    Liu, JX
    Liu, CF
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 2004, 29 (03): : 445 - 462
  • [33] XML constraint-tree-based functional dependencies
    Lv, Teng
    Yan, Ping
    ICEBE 2006: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2006, : 224 - +
  • [34] Functional Dependencies and Lossless Decompositions of Uncertain XML Datasets
    Yan, Ping
    Lv, Teng
    He, Weimin
    Wang, Xiuzhen
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (CSAIT 2013), 2014, 255 : 777 - 783
  • [35] Solving the Implication Problem for XML Functional Dependencies with Properties
    Hartmann, Sven
    Link, Sebastian
    Trinh, Thu
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2010, 6188 : 161 - +
  • [36] Approximate inference of functional dependencies from relations
    Univ of Helsinki, Helsinki, Finland
    Theor Comput Sci, 1 (129-149):
  • [37] Sound and decidable type inference for functional dependencies
    Duck, GJ
    Peyton-Jones, S
    Stuckey, PJ
    Sulzmann, M
    PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 49 - 63
  • [38] Gradual rules and extended functional dependencies - A discussion
    Ughetto, L
    Mouaddib, N
    JOINT 9TH IFSA WORLD CONGRESS AND 20TH NAFIPS INTERNATIONAL CONFERENCE, PROCEEDINGS, VOLS. 1-5, 2001, : 1949 - 1954
  • [39] An Optimized Approach for Extracting Approximate Functional Dependencies in XML Documents
    SHI Lei
    Wuhan University Journal of Natural Sciences, 2006, (01) : 127 - 132
  • [40] Strong functional dependencies and a redundancy free normal form for XML
    Vincent, MW
    Liu, JX
    Liu, CF
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 218 - 223
12345