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...

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 ...

Object-oriented database system supports the powerful concepts of data abstraction and complex data modeling while deductive database system has inferential and declarative query capabilities. Previous research has demonstrated the advantages and feasibilities of the confluence of the declarative logic-based paradigm and the object-oriented paradigm in the dual-paradigm system of deductive obje...

Deductive reasoning Deductive reasoning is reasoning from the general to the specific. It is what we colloquially think of as "logic". A deductive inference is a judgment or generalization based on axioms or assumptions. For example, if two coins are assumed perfectly balanced then one can conclude that the mean number of heads of tossing these two coins must be one. The deductive generalizatio...

The consensus view in philosophy of science is that reductionism is dead. One reason for this is that the deductive nomological (DN) model of explanation, on which classical reductionism depends, is widely regarded as indefensible. I argue that the DN model is inessential to the reductionist framework, and that mechanism provides a better framework for thinking about reductionism. But this runs...