Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Dynamic Graph Queries   Graph databases in many applications---semantic web, transport or biological
networks among others---are not only large, but also frequently modified.
Evaluating graph queries in this dynamic context is a challenging task, as
those queries often combine first-order and navigational features.
  Motivated by recent results on maintaining dynamic reachability, we study the
dynamic evaluation of traditional query languages for graphs in the descriptive
complexity framework. Our focus is on maintaining regular path queries, and
extensions thereof, by first-order formulas. In particular we are interested in
path queries defined by non-regular languages and in extended conjunctive
regular path queries (which allow to compare labels of paths based on word
relations). Further we study the closely related problems of maintaining
distances in graphs and reachability in product graphs.
  In this preliminary study we obtain upper bounds for those problems in
restricted settings, such as undirected and acyclic graphs, or under insertions
only, and negative results regarding quantifier-free update formulas. In
addition we point out interesting directions for further research.

28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an