Graph database models can be defined as those in which data structures for the schema
and instances are modeled as graphs or generalizations of them, and data manipulation is …

Abstract The Entity-Relationship model is frequently used during conceptual database
design phases. However, this model can be enriched and then used for the complete …

Fundamental Concepts of Object Oriented Databases Page 1 Acta Cybernetics Vol. 11, No.
1-2, Szeged, 1993 Fundamental Concepts of Object Oriented Databases K.-D. Schewe* B …

Database design methodologies should facilitate database modeling, effectively support
database processing, and transform a conceptual schema of the database to a high …

Applications of graph databases are prone to inconsistency due to interoperability issues.
This raises the need for studying query answering over inconsistent graph databases in a …

State oriented specifications with invariants occur in almost all formal specification
languages. Hence the problem is to prove the consistency of the specified operations with …

In this paper we review the research on integrity enforcement in database systems. Integrity
enforcement is the task of ensuring that a user transaction applied to a legal database state …

This paper shows how ideas from a combination of formal techniques can be used to enable
the automatic generation of databases from precise object models. It explores how the …

Consistency enforcement aims at systematically modifying a database program such that the
result is consistent with respect to a specified set of integrity constraints. This modification …

Consistency enforcement starts from a given program specification S and a static invariant I
and aims to replace S by a slightly modified program specification SI that is provably …