Hostname: page-component-586b7cd67f-rdxmf Total loading time: 0 Render date: 2024-11-28T09:24:11.951Z Has data issue: false hasContentIssue false
  • English
  • Français

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  and
TONI URPÍ
ERNEST TENIENTE
Affiliation:
Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Jordi Girona Salgado 1-3, Barcelona, Catalonia (e-mail: [email protected])
TONI URPÍ
Affiliation:
Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Jordi Girona Salgado 1-3, Barcelona, Catalonia (e-mail: [email protected])
Get access Rights & Permissions [Opens in a new window]

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.

Keywords

database updatingdatabase validationabductiondeduction
Type
Research Article
Information
Theory and Practice of Logic Programming , Volume 3 , Issue 3 , May 2003 , pp. 287 - 327
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.)