Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 -
1 of
1
Negation and Aggregates in Recursive Rules: the LDL++ Approach
, 1993
"... The problem of allowing non-monotonic constructs, such as negation and aggregates, in recursive programs represents a difficult challenge faced by current research in deductive databases. In this paper, we present a solution that combines generality with efficiency, as demonstrated by its implementa ..."
Abstract
-
Cited by 53 (15 self)
- Add to MetaCart
implementation in the new LDL++ system. A novel and general treatment of set aggregates, allowing for user-defined aggregates, is also presented. 1 Introduction The area of non-monotonic reasoning has benefited significantly from research in deductive databases, as demonstrated by the introduction
