PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Inverardi P., Raffaelli V. Recursive queries evaluation : a constraint based top-down/botton-up method. Internal note IEI-B4-19, 1990.
 
 
Abstract
(English)
The paper presents an evaluation method for recursive queries based on an integration of the bottom-up and the top-down evaluation strategies. The proposal tries to eliminate the major drawbacks of the top-down Prolog-like evaluation strategies. Namely, repetition of identical accesses to the EDB and the exploration of resolution branches that lead to the same answer substitution. Forward reasoning (bottom-up phase) is performed by keeping memory of (some) demonstrated "lemmas" while the introduction of constraints avoids visiting already inspected portions of the search space when backtracking (top-down phase).
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional