arXiv 2003-12-19 EN On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems Teniente, Ernest · Urpi, Toni
