Constraints and Redundancy in Datalog.

Alon Y. Levy, Yehoshua Sagiv

Browse the full PODS paper archive.