CHAUDHURI, SURAJIT. Runtime Redundancy Properties of DATALOG Programs. In: .