This paper introduce the class of possible models for a declarative semantics of deductive databases. The possible model semantics is an extension of the ...
scholar.google.com › citations
Abstract. This paper presents a novel approach to the semantics of deductive databases. The possible model semantics is introduced as an alterna-.
The possible model semantics can distinguish both inclusive and exclusive disjunctions, and provide a flexible mechanism for inferring negation in disjunctive ...
TL;DR: This paper presents a proof procedure for the possible model semantics, an alternative theoretical framework to the classical minimal model semantics and ...
In this paper, we study a new semantics of logic programming and deductive databases. Thepossible model semantics is introduced as a declarative semantics of ...
A database semantics called PWS is proposed. It is shown that for propositional databases with no negative clauses, the problem of determining if a negative ...
This paper addresses complexity issues for important problems arising with disjunctive databases. In particular, the complexity of inference of a literal ...
A conceptual analysis leads to a semantical definition of the notion of a disjunctive deductive database as a generalization of the notion of a deductive ...
This paper introduce the class of possible models for a declarative semantics of deductive databases. The possible model semantics is an extension of the ...
Bibliographic details on Possible Model Semantics for Disjunctive Databases.