Arrow Research search
Back to LPAR

LPAR 1992

Disjunctive Deductive Databases

Conference Paper Extensions of Logic Programming Artificial Intelligence · Logic in Computer Science

Abstract

Abstract Background material is presented on deductive and normal deductive databases. A historical review is presented of work in disjunctive deductive databases, starting from 1982. The semantics of alternative classes of disjunctive databases is reviewed with their model and fixpoint characterizations. Algorithms are developed to compute answers to queries in the alternative theories using the concept of a model tree. Open problems in this area are discussed.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Archive span
1992-2024
Indexed papers
780
Paper id
505022395793856920
v2026.09.13