A note on fixpoint techniques in data base recursive logic programs
Guessarian, Irène
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 49-56 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1988-01-01
@article{ITA_1988__22_1_49_0,
     author = {Guessarian, Ir\`ene},
     title = {A note on fixpoint techniques in data base recursive logic programs},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {22},
     year = {1988},
     pages = {49-56},
     mrnumber = {945924},
     zbl = {0647.68110},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1988__22_1_49_0}
}

Guessarian, Irène. A note on fixpoint techniques in data base recursive logic programs. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) pp. 49-56. http://gdmltest.u-ga.fr/item/ITA_1988__22_1_49_0/

1. A. V. Aho and J. D. Ullman, Universality of Data Retrieval Languages, Proc. Sixth A.C.M. Symp. on principles of programming languages, San Antonio, 1979, pp. 110-120. | MR 583416

2. F. Bancilhon, C. Beeri, P. Kanellakis and R. Ramakrishnan, Bounds on the Propagation of Selection into Logic Programs, Proc. A.C.M. Symp. on principles of data base Systems, San Diego, 1987.

3. F. Bancilhon and R. Ramakrishnan, An Amateures Introduction to Recursive Query Processing Strategies, Proc. A.C.M, Sigmod Conf., Washington, 1986.

4. G. Birkhoff, Lattice Theory, A.M.S., 1967. | MR 227053

5. A. Chandra and D. Harel, Structure and Complexity of Relational Queries, Jour. Comput. Sys. Sci., Vol. 25, 1982, pp. 99-128. | Zbl 0511.68073

6. H. Gallaire, J. Minker and J. M. Nicolas, Logic and Data Bases: A Deductive Approach, Assoc. Comput. Mach, Comput. Surveys, Vol. 16, 1984, pp. 153-185. | MR 792571 | Zbl 0548.68098

7. G. Gardarin and C. De Maindreville, Evaluation of Data Base Recursive Logic Programs as Recurrent Function Series, Proc. A.C.M. Sigmod Conf., Washington, 1986.