Deductive object bases are a combination of both deductive and objectoriented databases. This dissertation investigates the problem of update control for such databases. The data model is defined as an extreme case of a deductive database with only one extensional predicate and a multitude of axioms defining the object-oriented abstraction concepts. The advantages are twofold: a distinct concep...

An early version of the Z Standard included the deductive system W for reasoning about Z specifications. Later versions contain a different deductive system. In this paper we sketch a proof that W is relatively sound with respect to this new deductive system. We do this by demonstrating a semantic basis for a correspondence between the two systems, then showing that each of the inference rules ...

This paper presents a method for integrating deductive databases. In our approach deductive databases are expressed in a functional database programming language in which rules are expressed as derived functions. For integrating the extensional parts of deductive databases, we use a binary relational ER model with subtyping as the common data model and propose a semi-automatic method to perform...

Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator μ that transforms non-recursive ALC ontologies into a disjunctive deductive database. Contrary to our previous work, in this paper we focus on handling negation, disjunction and existential quantifiers, which cannot be handled by deducti...

Standard logic is a package with two parts – a formal deductive apparatus and a conception of interpretation for the language. The deductive apparatus and the semantics are mutually reinforcing and in this chapter we examine primarily the semantic assumptions that formally justify the deductive machinery. The second part of the package, the semantics of ‘standard’ logic, includes the assumption...