Learn More
The magic sets method is used for eecient bottom up evaluation of logic programs. Since its origin, it suuers from the fact that innuence of information passing among predicates has not been suuciently studied. We have recognized the way of information passing as crucial for the eeciency of the method. In this article the ways of information passing are(More)
This paper addresses the problem of aggregates in an extended version of Dat-alog. It concentrates especially on the problem of aggregate arguments in the process of eecient query evaluation. We have recognized aggregates as useful constructions, substantially increasing the expressive power of the original Datalog language. The presented paper introduces(More)
  • 1