We introduce the 2-sorted counting logic GC^k that expresses properties ...
We consider the problem of evaluating regular spanners over compressed
d...
The regular spanners (characterised by vset-automata) are closed under t...
A class of relational databases has low degree if for all δ>0, all but
f...
We consider weighted structures, which extend ordinary relational struct...
Marx (STOC 2010, J. ACM 2013) introduced the notion of submodular width ...
As data analytics becomes more crucial to digital systems, so grows the
...
We investigate the query evaluation problem for fixed queries over fully...
We study an extension of first-order logic that allows to express cardin...