Hostname: page-component-745bb68f8f-hvd4g Total loading time: 0 Render date: 2025-02-11T18:14:22.774Z 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)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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