Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Expressive power of linear algebra query languages   Linear algebra algorithms often require some sort of iteration or recursion
as is illustrated by standard algorithms for Gaussian elimination, matrix
inversion, and transitive closure. A key characteristic shared by these
algorithms is that they allow looping for a number of steps that is bounded by
the matrix dimension. In this paper we extend the matrix query language MATLANG
with this type of recursion, and show that this suffices to express classical
linear algebra algorithms. We study the expressive power of this language and
show that it naturally corresponds to arithmetic circuit families, which are
often said to capture linear algebra. Furthermore, we analyze several
sub-fragments of our language, and show that their expressive power is closely
tied to logical formalisms on semiring-annotated relations.

25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess