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
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;
Conference_Titel :
Database and Expert Systems Applications, 1999. Proceedings. Tenth International Workshop on
Conference_Location :
Florence
Print_ISBN :
0-7695-0281-4
DOI :
10.1109/DEXA.1999.795231