Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Abductive or Deductive Nature of Database Schema Validation and
  Update Processing Problems   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.

10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph