The View-Update Problem for Indefinite Databases