WatCA: The Waterloo consistency analyzer.

Hua Fan, Shankha Chatterjee, Wojciech M. Golab

Browse the full ICDE paper archive.