155 search results - page 11 / 31 » Non-Determinism in Deductive Databases |
CORR
2002
Springer
13 years 9 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
ISCI
1998
13 years 9 months ago
1998
CSUR
1999
13 years 9 months ago
1999
TODS
2002
13 years 9 months ago
2002
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...