" A Framework for an Efficient Implementation of Deductive Databases, " M. Kifer and E. Lozinskii, Proc. Advanced Database Symposium, Tokyo, 1986.  Home/Search   Document Not in Database   Summary   Related Articles

....earlier work, namely the Magic Sets and the Counting strategies [Bancilhon et al. 86] but which, as presented there, were of quite limited applicability. We note that the notion of a sideway information passing graph has been introduced previously, although it is less general than our definition [Kifer and Lozinskii 86] The work reported in [Van Gelder 86] can also be viewed as supporting our claim that information passing and control are to a large extent independent, although this claim is not explicit there. The paper is organized as follows. Notation and definitions are introduced in the rest of this ....

....the relationships of each ancestor to his her ancestor For methods that are generally applicable, our notion of a sip strategy seems reasonable. Such methods 31 include QSQ [Vieille 85] Extension Tables [Dietrich and Warren 85] Apex [Lozinskii 85] Static and Dynamic Filtering [Kifer and Lozinskii 86, 87] Prolog (on Datalog programs) and several parallel evaluation strategies proposed in the logic programming literature (on Datalog programs) Kale 86, etc. Thus, our definition of a method is sufficiently general to include a significant class of proposed strategies. In the definition above, ....

" A Framework for an Efficient Implementation of Deductive Databases, " M. Kifer and E. Lozinskii, Proc. Advanced Database Symposium, Tokyo, 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