Description-logic-based temporal ER model with attribute dependencies

Jisuanji Yanjiu yu Fazhan/Computer Research and Development

Volumn 44, Issue 10, 2007, Pages 1765-1773

  Jiang, Yuncheng ^a,b   Tang, Yong ^a   Wang, Ju ^b   Ji, Gaofeng ^a  

^a SUN YAT SEN UNIVERSITY   (China)

^b GUANGXI NORMAL UNIVERSITY   (China)

Author keywords

Attribute dependency; Description logic; ER model; Temporal database; Temporal description logic; Temporal ER model

Indexed keywords

DATABASE SYSTEMS; REDUNDANCY; SEMANTICS;

ATTRIBUTE DEPENDENCY; DESCRIPTION LOGIC; ER MODEL; TEMPORAL DATABASE;

TEMPORAL LOGIC;

EID: 37449011444     PISSN: 10001239     EISSN: None     Source Type: Journal    
DOI: 10.1360/crad20071019     Document Type: Article

References (14)

1. F Baader, W Nutt. Basic description logic [G]. In: F Baader, et al, eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003. 47-100
2. Jiang Yuncheng, Shi Zhongzhi, Tang Yong, et at. A distributed dynamic description logic [J]. Journal of Computer Research and Development, 2006, 43(9): 1603-1608 (in Chinese)
3. A Borgida. Description logics in data management [J]. IEEE Trans on Knowledge and Data Engineering, 1995, 7(5): 671-682
4. A Borgida, M Lenzerini. Description logic for data bases [G]. In: F Baader, et al, eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003. 472-494
5. D Calvanese, M Lenzerini, D Nardi. Unifying class-based representation formalisms [J]. Journal of Artificial Intelligence Research, 1999, 11(2): 199-240
6. D Calvanese, G D Giacomo, D Nardi, et al. Reasoning in expressive description logics [G]. In: A Robinson, et al, eds. Handbook of Automated Reasoning. Milan: Elsevier Science Publishers, 2001. 1581-1634
7. C Lutz. Reasoning about entity relationship diagrams with complex attribute dependencies [C]. In: I Horrocks, et al, eds. Proc of the 2002 Int'l Workshop on Description Logics. Aachen, Germany: CEUR-WS.org Publishers, 2002. 185-194
8. Jiang Yuncheng, Tang Yong, Wang Ju. Fuzzy ER modeling with description logics [J]. Journal of Software, 2006, 17(1): 20-30 (in Chinese)
9. A Artale, F Cesarini, G Soda. Describing database objects in a concept language environment [J]. IEEE Trans on Knowledge and Data Engineering, 1996, 8(2): 345-351
10. A Artale, E Franconi, F Mandreoli. Description logics for modeling dynamic information [G]. In: J Chomicki, et al, eds. Logics for Emerging Applications of Databases. Berlin: Springer-Verlag, 2003. 239-275
11. A Artale, E Franconi. Temporal ER modeling with description logics [G]. In: J Akoka, et al, eds. Proc of the 18th Int'l Conf on Conceptual Modeling, LNCS 1728. Berlin: Springer-Verlag, 1999. 81-95
12. C Lutz, C Areces, I Horrocks, et al.. Keys, nominals, and concrete domains [J]. Journal of Artificial Intelligence Research, 2005, 23(1): 667-726
13. A Artale, E Franconi. A survey of temporal extensions of description logics [J]. Annals of Mathematics and Artificial Intelligence, 2000, 30(1/4): 171-210
14. Tang Yong. Introduction to Temporal Database [M]. Beijing: Peking University Press, 2004 (in Chinese)