Processing deductive databases under the disjunctive stable model semantics.
It begins to perform a more positive, regulatory, and productive role, rather than remaining exclusively bound to its traditional deductive, juridical function.
From this point of view several types of logics, models and deductive systems are missing.
Since the calculus of deductive closures is infeasible, the partisans of ' 'syntax-dependent' ' belief revision consider knowledge spaces made up of a limited number of sentences.
We assume that deductive database predicates are partitioned into base and derived (view) predicates.
This inference differs essentially from the conclusions reached by inductive and deductive reasoning.
Furthermore, we have the first steps for a complete deductive calculus for coequations (and also one for conditional coequations), using the results proved here.
Rather, it refers to a specific arrangement of power relations - one that he describes as 'deductive'.