Swiss Re has established concepts and tools for specifying and evolving (segmentation) models of its business. Based on a ”to be” model, ”as is” models are integrated using integrity constraints between them. All these models are founded upon business terminology. We report on two specific practical problems and our solutions to them, namely avoiding branching in change management (through use ...

1. Introduction This paper addresses the segmentation problem that frequently occurs in topographic information. This is where one topographic object (such as a road or rail bridge) obscures a segment of an underlying object (such as a river). A serious consequence of occlusions is that the obscured object is frequently divided into two apparently separate objects, eliminating the identity and ...

We propose a new approach to the design of relational database schemes. The main features of the approach are: (4 A combination of the traditional decomposition and synthesis approaches, thus allowing the use of both functional and multivalued dependencies. (b) Separation of structural dependencies relevant for the design process from integrity constraints, i.e., constraints that do not bear an...

This paper analyses the extension of integrity constraint mechanisms in order to maintain consistency in multiversion databases is studied. Unlike monoversion databases, a multiversion database represents several states of the modeled universe. Thus, both the notion of consistency and the means to maintain it have to be extended. To this aim, we consider new integrity constraints induced by ver...

An important problem that arises when updating a deductive database is the one related to integrity constraints maintenance. That is, given a consistent database and an update request, to obtain all possible ways of updating the base facts such that the request is satisfied while consistency of the database is maintained. This problem becomes more complex when view updates may also be requested...

Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certain integrity constraints. In this paper we revisit the decidability status of consistent query answering by considering different parameters of the problem as input to the decision problem. We obtain some new results about the ...

The goal of the presented work is to illustrate a method by which the data exchange between a standalone computer software and a shared database server can be protected of unauthorized interceptation of the traffic in Internet network, a transport network for data managed by those two systems, interceptation by which an attacker could gain illegetimate access to the database, threatening this w...

Current database survivability technologies focus on maintaining data integrity and availability in the face of attacks. They are very limited in satisfying differentiated information assurance requirements of various database services under sustained attacks. This paper takes the first steps towards delivering database services with information assurance guarantees. In particular, (a) we intro...

Correct database behaviour in the course of time can be specified by requiring dynamic integrity constraints. These constraints can be expressed as temporal logic formulae which, however, usually are interpreted in infinite state sequences. Since in practice only a partial, finite prefix of an infinite sequence is known, notions of partial admissibility of finite sequences with respect to const...