• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Jiang Yuncheng, Tang Yong, Wang Ju, Ji Gaofeng. Description-Logic-Based Temporal ER Model with Attribute Dependencies[J]. Journal of Computer Research and Development, 2007, 44(10): 1765-1773.
Citation: Jiang Yuncheng, Tang Yong, Wang Ju, Ji Gaofeng. Description-Logic-Based Temporal ER Model with Attribute Dependencies[J]. Journal of Computer Research and Development, 2007, 44(10): 1765-1773.

Description-Logic-Based Temporal ER Model with Attribute Dependencies

More Information
  • Published Date: October 14, 2007
  • ER model with attribute dependencies may be translated into description logic ALCQI(D) knowledge bases, and the reasoning on ER model with attribute dependencies may be reduced to model reasoning on ALCQI(D) knowledge bases. The current research progresses and the existing problems of description logic for data bases, especially the relationship between the description logic and the temporal ER model, are analyzed. The formal definition of the temporal ER model with attribute dependencies εR\-\{VTAD\} is presented based on the work of Artale. Aiming at the characteristics and requirement of the temporal ER model with attribute dependencies εR\-\{VTAD\}, a kind of new description logic, i.e., the temporal description logic ALCQI(D)\-\{US\}, is presented. The temporal description logic ALCQI(D)\-\{US\} is the temporal extension of description logic ALCQI(D) through temporal logic, and the syntax and semantics of ALCQI(D)\-\{US\} are given. The ALCQI(D)\-\{US\}-based temporal ER model with attribute dependencies is presented, how to translate temporal ER model with attribute dependencies εR\-\{VTAD\} into temporal description logic ALCQI(D)\-\{US\} knowledge bases is studied, and the reasoning problem of satisfiability, redundancy, subsumption relationship, and implication relationship of temporal ER model with attribute dependencies εR\-\{VTAD\} may reason automatically through reasoning mechanism of temporal description logic ALCQI(D)\-\{US\}, and the correctness of these reasoning problems is proved.

Catalog

    Article views (640) PDF downloads (482) Cited by()
    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return