Piero A. Bonatti
On the Decidability of Containment of Recursive Datalog Queries — Preliminary report
PODS, 2004.
@inproceedings{PODS-2004-Bonatti,
author = "Piero A. Bonatti",
booktitle = "{Proceedings of the 23rd Symposium on Principles of Database Systems}",
doi = "10.1145/1055558.1055600",
ee = "http://www.acm.org/sigmod/pods/proc04/pdf/P-30.pdf",
isbn = "1-58113-858-X",
pages = "297--306",
publisher = "{ACM}",
title = "{On the Decidability of Containment of Recursive Datalog Queries — Preliminary report}",
year = 2004,
}