Assigning an appropriate meaning to database logic with negation
Computers as Our Better Partners (1994)

Deductive database systems, that is, database systems with a query language based on logical rules must allow negated subgoals in rules to express an adequate range of queries. Adherence to classical deductive logic rarely offers the intuitively correct meaning of the rules. Thus, a variety of approaches to defining the right meaning of such rules have been developed. In this paper we survey the principal approaches including stratified negation, well-founded negation, stable-model semantics, and modularly stratified semantics.
  • @kweiand
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).