155 search results - page 1 / 31 » Non-Determinism in Deductive Databases |
DOOD
1991
Springer
13 years 8 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
DEDUCTIVE
1992
13 years 5 months ago
1992
PODS
1990
ACM
13 years 8 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
DEDUCTIVE
1997
13 years 6 months ago
1997
DEDUCTIVE
1994
13 years 6 months ago
1994
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifie...