The notion of structural completeness has received considerable attention for many years. A translation to algebra gives: a quasivariety is structurally complete if it is generated by its free algebras. It appears that many deductive systems (quasivarieties), like S5 or MVn fails structural completeness for a rather immaterial reason. Therefore the adjusted notion was introduced: almost structu...

Finitely algebraizable deductive systems were introduced by Blok and Pigozzi to capture the essential properties of those deductive systems that are very tightly connected to quasivarieties of universal algebras. They include the equivalential logics of Czelakowski. Based on Blok and Pigozzi’s work, Herrmann defined algebraizable deductive systems. These are the equivalential deductive systems ...

The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by deening an imperative programming language , ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement...

Abstract Subject and purpose of work: The the study was to identify areas activity local authorities in context implementation public tasks that could be financed with funds from issue so-called green bonds. Materials methods: T he m ain r esearch method w as c ritical a nalysis documents (using document normative nature various ranks) literature on broadly defined finance financial market issu...

This paper presents an experiment in the use of a deductive database system for computer network maintenance. There are relatively few practical applications of deductive databases. Takagi et.al. applied deductive databases to a practical problem. They utilized an indirect connectivity search capability of a deductive database system for a retrieval of complex con gurations in petrochemical pip...

There are basically two approaches to the veriication of reactive systems, the algorithmic approach on one hand and the deductive approach on the other hand. The algorithmic approach is based on the computation of x-points, on eeective representations of sets of states, and on decision procedures to solve the inclusion problem of sets of states. For example the backward procedure is an instance...

We review in this paper both a framework for integrating the treatment of advanced update problems in deductive databases and the architecture of the FOLRE deductive database management system prototype, which extends the basic updating facilities provided by current deductive database systems. The distinguishing feature of our approach is the underlying integrative framework used to specify an...

OBJECTIVES The aim of this study was to investigate the inductive and deductive reasoning abilities of people with obsessive-compulsive disorder (OCD). Following previous research, it was predicted that people with OCD would show different abilities on inductive reasoning tasks but similar abilities to controls on deductive reasoning tasks. DESIGN A two-group comparison was used with both gro...