Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Uniform Fixpoint Approach to the Implementation of Inference Methods
  for Deductive Databases   Within the research area of deductive databases three different database
tasks have been deeply investigated: query evaluation, update propagation and
view updating. Over the last thirty years various inference mechanisms have
been proposed for realizing these main functionalities of a rule-based system.
However, these inference mechanisms have been rarely used in commercial DB
systems until now. One important reason for this is the lack of a uniform
approach well-suited for implementation in an SQL-based system. In this paper,
we present such a uniform approach in form of a new version of the soft
consequence operator. Additionally, we present improved transformation-based
approaches to query optimization and update propagation and view updating which
are all using this operator as underlying evaluation mechanism.

15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th