The role of abduction in database view updating