Maintainability and modifiability of information system software can be enhanced by the
provision of comprehensive support for views, since view support allows application …

Abstract The classical (Bancilhon-Spyratos) correspondence between view update
translations and views with a constant complement reappears more generally as the …

When different mathematical models are used for software analysis and development it is
important to understand their relationships. When the models are truly mathematical, and …

Abstract Information system software productivity can be increased by improving the
maintainability and modifiability of the software produced. This latter in turn can be achieved …

Computer supported cooperative work (CSCW) involving business-to-business transactions
depends more and more upon database interoperability. The design of interbusiness CSCW …

Partial information is common in real-world databases. Yet the theoretical foundations of
data models are not designed to support references to missing data (often termed nulls) …

The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category
theory (specifically on categorical universal algebra), which has been used successfully in …

The maintenance of legacy information systems is becoming increasingly common as needs
for Internet based interoperation drive system changes. This paper outlines new techniques …

In 2001 Johnson and Rosebrugh introduced a new approach to view update problems for
formally specified databases [8]. Since then they and their colleague Dampney have been …

Allegories are enriched categories generalizing a category of sets and binary relations. In
this paper, we extend a new, recently-introduced conceptual data model based on …