Inference of Monotonicity Constraints in Datalog Programs.

Alexander Brodsky, Yehoshua Sagiv

Browse the full PODS paper archive.