On Transformations into Linear Database Logic Programs (1996)
Cached
Download Links
- [www.ionio.gr]
- [www.iit.nrcps.ariadne-t.gr]
- [softlab.ece.ntua.gr]
- DBLP
Other Repositories/Bibliography
| Venue: | Perspectives of Systems Informatics, 2nd International Andrei Ershov Memorial Conference, Akademgorodik |
| Citations: | 6 - 5 self |
BibTeX
@INPROCEEDINGS{Afrati96ontransformations,
author = {Foto Afrati and Manolis Gergatsoulis and Maria Katzouraki},
title = {On Transformations into Linear Database Logic Programs},
booktitle = {Perspectives of Systems Informatics, 2nd International Andrei Ershov Memorial Conference, Akademgorodik},
year = {1996},
pages = {433--444},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We consider the problem of transformations of logic programs without function symbols (database logic programs) into a special subclass, namely linear logic programs. Linear logic programs are dened to be the programs whose rules have at most one intentional atom in their bodies. a) We investigate linearizability of several syntactically de ned subclasses of programs and present both positive and negative results (i.e. demonstrate programs that cannot be transformed into a linear program by any transformation technique), and b) We develop an algorithm which transforms any program in a speci c subclass namely the piecewise logic programs into a linear logic program.
