Positivism vs. Minimalism in Deductive Databases


Three formalizations of the Closed World Assumption (CWA) which accommodate disjunctive informaticn are compared. The semantic approach of Bossu and Siegel, here called *minimalismm, is shown to be equivalent to the syntact.ic approach based on Reiter’s ‘default. logic”, when a specific class of defaults corresponding to bhe CWA is used. Neit.her approach… (More)
DOI: 10.1145/6012.15409