On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems

Ernest Teniente, Toni Urpi

We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint mai…