Finding Nonrecursive Envelopes for Datalog Predicates

Surajit Chaudhuri. Finding Nonrecursive Envelopes for Datalog Predicates. In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC. pages 135-146, ACM Press, 1993. [doi]

@inproceedings{Chaudhuri93:0,
  title = {Finding Nonrecursive Envelopes for Datalog Predicates},
  author = {Surajit Chaudhuri},
  year = {1993},
  doi = {10.1145/153850.153862},
  url = {http://doi.acm.org/10.1145/153850.153862},
  tags = {Datalog},
  researchr = {https://researchr.org/publication/Chaudhuri93%3A0},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC},
  publisher = {ACM Press},
  isbn = {0-89791-593-3},
}