Systematic software development using VDM
Systematic software development using VDM
Database modeling and design: the entity-relationship approach
Database modeling and design: the entity-relationship approach
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Advanced database systems
An introduction to database systems (7th ed.)
An introduction to database systems (7th ed.)
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Developing time-oriented database applications in SQL
Developing time-oriented database applications in SQL
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
A relational model of data for large shared data banks
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Fundamentals of Database Systems
Fundamentals of Database Systems
The formal semantics of the timeER model
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
TimeERplus: a temporal EER model supporting schema changes
BNCOD'05 Proceedings of the 22nd British National conference on Databases: enterprise, Skills and Innovation
| Hi-index | 0.00 |
The paper attempts theoretically to clarify the interrelation between various levels of descriptions used in the modelling and the programming of information systems. We suggest an analysis where we characterise the description levels with respect to how precisely they may handle information about given types of properties, and examine how descriptions on higher levels translate into descriptions on lower levels. Our example looks at temporal properties where the information is concerned with the existence in time. In a high level temporal model with information kept in a three-dimensional space the existences in time can be mapped precisely and consistently securing a consistent handling of the temporal properties. We translate the high level temporal model into an entity-relationship model, with the information in a two-dimensional graph, and finally we look at the translations into relational and other textual models. We also consider the aptness of models that include procedural mechanisms such as active and object databases.