Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-23T14:30:07.073Z Has data issue: false hasContentIssue false

On the abductive or deductive nature of database schema validation and update processing problems

Published online by Cambridge University Press:  13 May 2003

ERNEST TENIENTE
Affiliation:
Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Jordi Girona Salgado 1-3, Barcelona, Catalonia (e-mail: teniente@lsi.upc.es)
TONI URPÍ
Affiliation:
Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Jordi Girona Salgado 1-3, Barcelona, Catalonia (e-mail: urpi@lsi.upc.es)

Abstract

We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition monitoring can be classified as problems of either abductive or deductive nature, according to the reasoning paradigm that inherently suites them. This is done by performing abductive and deductive reasoning on the event rules (Olivé 1991), a set of rules that define the difference between consecutive database states. In this way, we show that it is possible to provide methods able to deal with all these problems as a whole. We also show how some existing general deductive and abductive procedures may be used to reason on the event rules. In this way, we show that these procedures can deal with all database schema validation and update processing problems considered in this paper.

Type
Research Article
Copyright
© 2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)