Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data.

Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke

Browse the full VLDB paper archive.