eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2019-03-19
7:1
7:19
10.4230/LIPIcs.ICDT.2019.7
article
On the Expressive Power of Linear Algebra on Graphs
Geerts, Floris
1
University of Antwerp, Antwerp, Belgium
Most graph query languages are rooted in logic. By contrast, in this paper we consider graph query languages rooted in linear algebra. More specifically, we consider MATLANG, a matrix query language recently introduced, in which some basic linear algebra functionality is supported. We investigate the problem of characterising equivalence of graphs, represented by their adjacency matrices, for various fragments of MATLANG. A complete picture is painted of the impact of the linear algebra operations in MATLANG on their ability to distinguish graphs.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol127-icdt2019/LIPIcs.ICDT.2019.7/LIPIcs.ICDT.2019.7.pdf
matrix query languages
graph queries
graph theory
logics