DocumentCode :
3189811
Title :
Reasoning with enhanced temporal entity-relationship models
Author :
Artale, Alessandro ; Franconi, Enrico
Author_Institution :
Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., UK
fYear :
1999
fDate :
1999
Firstpage :
482
Lastpage :
486
Abstract :
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced entity-relationship (ER) exist. The work gives a logical formalisation of the various properties that characterise and extend different temporal ER models which are found in literature. The formalisation we propose is based on description logics (DL), which have been proved useful for a logical reconstruction of the most popular conceptual data modelling formalisms. The proposed DL has the ability to express both enhanced temporal ER schemas and integrity constraints in the form of complex inclusion dependencies. Reasoning in the devised logic is decidable, thus allowing for automated deductions over the whole conceptual representation, which includes both the ER schema and the integrity constraints over it
Keywords :
data integrity; decidability; entity-relationship modelling; temporal databases; temporal reasoning; Conceptual Modelling community; ER schema; automated deductions; complex inclusion dependencies; conceptual data modelling formalisms; conceptual representation; decidable reasoning; description logics; enhanced temporal ER schemas; enhanced temporal entity-relationship models; integrity constraints; logical formalisation; logical reconstruction; temporal ER models; temporally enhanced entity-relationship; time-varying information; Calculus; Computer science; Data warehouses; Databases; Electrical capacitance tomography; Erbium; Hip; Logic; Proposals;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Database and Expert Systems Applications, 1999. Proceedings. Tenth International Workshop on
Conference_Location :
Florence
Print_ISBN :
0-7695-0281-4
Type :
conf
DOI :
10.1109/DEXA.1999.795231
Filename :
795231
Link To Document :
بازگشت