D. B. Kemp. On query evaluation in deductive database systems. Honours Report, University of Melbourne, 1987. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Propagating Constraints in Recursive Deductive Databases - Kemp (1989) (13 citations) Self-citation (Kemp) (Correct)
....is transferred from execution time to compile time. 6.2 Bottom up Computation The example we chose here was similar to that of example 5.1. q(x; y) a(x; y) b(x) a(x; y) p(x; y) a(x; y) p(x; z) a(z; y) b(x) e(x; y) b(x) e(x; y) b(y) The deductive database we used was Deduce [9]. Deduce is a small deductive database system which answers queries using a naive bottom up method (using relational algebra operations) Arithmetic comparisons have not yet been implemented in Deduce and hence we were not able to use the databases used in the previous section (section 6.1) We ....
D. B. Kemp. On query evaluation in deductive database systems. Honours Report, University of Melbourne, 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC