This paper is concerned with the problem of combining deductive and object-oriented features to produce a deductive object-oriented database system which is comparable to those currently available under the relational view of data modelling not only in its functionality but also in the techniques employed in its construction and use. Under this assumption, we highlight the kinds of issues that ...

A three-level framework for design and implementation of deductive database management systems is described. The three levels consist of the abstraction, for abstracting the real world semantics, the language, for man-machine communication, and the environment, for specifying the hardware/software environment. This framework is applied to some representative systems. Based on the results, an ar...

We present Popper’s theory of deductive logic as exhibited in his articles published between 1947 and 1949. After an introduction to inferentialist approach idea “inferential definitions” logical constants, we discuss more formal detail general the deducibility relation (which, using Gentzen’s terminology, might be called “structural” theory), well special constants. put emphasis on inferential...

Most current deductive database systems ooer only limited support for updates. We present a logical framework that allows to combine procedural update methods with set-oriented updates. The conventional database update operations are subsumed by our approach.

This paper is focused on the extension of Categorial Unification Grammar (CUG) in order to achieve a compact grammatical representation scheme for the syntactic analysis of free word order languages. The resulting grammar was applied to the implementation of an efficient parser within a German natural language interface to a deductive database by making use of the Integrated Deductive Approach ...