REWERSE-RP-2004-02

Piero A. Bonatti:
On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.


In: Proceedings of Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Paris, France (14th - 16th June 2004), Organization: ACM

Abstract
A foundational study related to forthcoming deliverables on policy validation and composition.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-02

BibTeX:

@inproceedings{REWERSE-RP-2004-02,
	author = {Piero A. Bonatti},
	title = {On the Decidability of Containment of Recursive Datalog Queries - Preliminary report},
	booktitle = {Proceedings of Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Paris, France (14th--16th June 2004)},
	year = {2004},
	organization = {ACM},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-02}
}