In this paper, we motivate and present a data model for conceptual design of structural and
behavioural aspects of databases. We follow an object centered design paradigm in the …

Modern software systems for application areas such as software engineering, CAD, or office
automation are usually highly interactive and deal with rather complex object structures. For …

The conceptual modeling approach of the IPSEN (Integrated Project Support Environment)
project for building highly integrated environments is based on using attributed graphs to …

Traditional database design methodologies are not appropriate for the specific requirements
of object-oriented database systems and new database application areas. Apart from …

Dieses Buch widmet sich der formalen Semantik eines Entity-Relationship-Modells (ER-
Modell), eines begleitenden Kalküls und einer Anfragesprache. Das ER-Modell ist ein weit …

This paper presents the high-level query language SQL/EER for an extended Entity-
Relationship model (EER model). SQL/EER directly supports all the concepts of the EER …

Modern software systems for application areas like software engineering, CAD or office
automation are usually highly interactive and deal with rather complex object structures. For …

Temporal integrity constraints describe long-term data dependencies in databases to be
satisfied by each correct database evolution. They can be formulated in a temporal logic. For …

Within the compound project KorSo our team is concerned with the research on techniques
and methods for the development of reliable information systems on the basis of formal …

Semantic data models have been widely studied for the conceptual specification of
databases. However, most of these data models are restricted to the description of the static …