Constraints and redundancy in datalog

Abstract
No abstract available