Constraints and redundancy in datalog (1992)

by A Levy, Y Sagiv
Venue:In Proceedings of the ACM Symposium on Principles of Database Systems