Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Coordination Language for Databases   We present a coordination language for the modeling of distributed database
applications. The language, baptized Klaim-DB, borrows the concepts of
localities and nets of the coordination language Klaim but re-incarnates the
tuple spaces of Klaim as databases. It provides high-level abstractions and
primitives for the access and manipulation of structured data, with integrity
and atomicity considerations. We present the formal semantics of Klaim-DB and
develop a type system that avoids potential runtime errors such as certain
evaluation errors and mismatches of data format in tables, which are monitored
in the semantics. The use of the language is illustrated in a scenario where
the sales from different branches of a chain of department stores are
aggregated from their local databases. Raising the abstraction level and
encapsulating integrity checks in the language primitives have benefited the
modeling task considerably.

29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin