Magic Factoring of Closure Programs

@inproceedings{Wood1995MagicFO,
  title={Magic Factoring of Closure Programs},
  author={Peter T. Wood},
  booktitle={PODS},
  year={1995}
}
The factoring transformation, which reduces the number of arguments in all IDB predicates in the presence of queries containing constants, is a powerful optimization technique for Datalog programs and can result in an order of magnitude improvement in the efficiency of query evaluation. Unfortunately, the class of programs which has been shown to admit the… CONTINUE READING