Computer Science – Databases
Scientific paper
2003-12-19
Theory and Practice of Logic Programming 3(3):287-327, may 2003
Computer Science
Databases
Scientific paper
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 [Oli91], 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.
Teniente Ernest
Urpi Toni
No associations
LandOfFree
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-198605