"Recursive axioms in Deductive Databases: The Query/Subquery Approach," L. Vieille, Proc. First Intl. Conference on Expert Database Systems, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Power of Magic - Beeri, Ramakrishnan (1987) (102 citations) (Correct)
....yet another subgoal. Several strategies have been proposed for evaluating recursive queries expressed using sets of Horn Clauses (rules) Henschen and Naqvi 84] Kifer and Lozinskii 85] Lozinskii 85] McKay and Shapiro 81] Rohmer and Lescoeur 85] Sacca and Zaniolo 86a] Van Gelder 86] Vieille 86] etc. See [Bancilhon and Ramakrishnan 86] for a comprehensive survey. The main thrust of the above strategies is to improve efficiency by restricting the computation to tuples that are related to the query. They all use information passing in some form, but they also use other ideas, intended, ....
"Recursive axioms in Deductive Databases: The Query/Subquery Approach," L. Vieille, Proc. First Intl. Conference on Expert Database Systems, 1986.
Constraint Satisfaction with an Object-Oriented Knowledge.. - Caseau (1994) (5 citations) (Correct)
....languages and have required the development of more (computationally) expressive languages. Our first step towards solving this problem was to make LAURE a deductive language. LAURE incorporates deductive rules, which can be processed in a top down manner (recursive query processing [Vi86]) or in a bottom up manner (production rules) Such rules occur naturally and frequently in the specification of advanced application and their translation into a procedural language is tedious and error prone [Ca89] We developed a logical language for LAURE that allows a declarative style of ....
L. Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Proc. First Intl. Conference on Expert Database Systems, Charleston, 1986.
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