Integrity Checking and Maintenance in Relational and Deductive Database and Beyond