Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Laconic schema mappings: computing core universal solutions by means of
  SQL queries   We present a new method for computing core universal solutions in data
exchange settings specified by source-to-target dependencies, by means of SQL
queries. Unlike previously known algorithms, which are recursive in nature, our
method can be implemented directly on top of any DBMS. Our method is based on
the new notion of a laconic schema mapping. A laconic schema mapping is a
schema mapping for which the canonical universal solution is the core universal
solution. We give a procedure by which every schema mapping specified by FO s-t
tgds can be turned into a laconic schema mapping specified by FO s-t tgds that
may refer to a linear order on the domain of the source instance. We show that
our results are optimal, in the sense that the linear order is necessary and
the method cannot be extended to schema mapping involving target constraints.

5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat