The goal of automating information systems building was stated in the sixties. Forty years
later it is clear that the goal has not been achieved in a satisfactory degree. One of the …

Conceptual schema-centric development (CSCD) is a research goal that reformulates the
historical aim of automating information systems development. In CSCD, conceptual …

Various requirements that usually are imposed on data, constraints, updates and methods
for checking the integrity of databases can be perceived as inflexible straitjackets. We show …

The dynamics of belief and knowledge is one of the major components of any autonomous
system that should be able to incorporate new pieces of information. In order to apply the …

In this paper we present a new rule-based approach for consistency preserving view
updating in deductive databases. Based on rule transformations performed during schema …

The dynamics of belief and knowledge is one of the major components of any autonomous
system that should be able to incorporate new pieces of information. In this paper, we argue …

We present a method that deals effectively with existential derived predicates during view
updating. Existing methods either consider all instantiations of a given existential variable or …

Abduction has found broad application as a powerful tool for hypothetical reasoning with
incomplete knowledge, which can be handled by labeling some pieces of information as …

Integrity constraints play a fundamental role in the definition of conceptual schemas (CSs) of
information systems. An integrity constraint defines a condition that must be satisfied in each …

The definition of UML profiles is an important research area in information systems
engineering. In this report, we aim at contributing to the area in twofold. On the one hand, we …