An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases