This paper1 deals with an integration approach of quality management methods using the deductive object-oriented DBMS ConceptBase as a repository. Based on the IRDS standard we defined a distributed modeling environment. The experiences we had during the modeling process in the research project WibQuS2 emphasize the need for object-oriented abstraction mechanisms and deductive reasoning. Furthe...

This paper describes a class of decision procedures that we have found useful for efficient, domainspecific deductive synthesis. These procedures are called closure-based ground literal satisfiability procedures. We argue that this is a large and interesting class of procedures and show how to interface these procedures to a theorem prover for efficient deductive synthesis. Finally, we describe...

We overview the architecture of a newly-born deductive database management system that is to provide advanced update and rule enforcement capabilities within an integrated and theoretically well-founded framework. The system builds up on previous theoretical results and systems of others -for the semantics, query, storage and transaction management needsand of our own previous research and prot...

Disjunctive Deductive Databases (DDDBs) | function-free disjunctive logic programs with negation in rule bodies allowed | have been recently recognized as a powerful tool for knowledge representation and commonsense reasoning. Much research has been spent on issues like semantics and complexity of DDDBs, but the important area of implementing DDDBs has been less addressed so far. However, a tho...

Object-oriented database systems provide expressive power and the potential for reuse, extensibility and modifiability. Relational and deductive database systems provide a simple logical semantics and the ability to represent complex derived information. Many proposals have been made for database systems that offer both sets of features, and some combined systems have been implemented. In this ...