Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data