MATLANG: Matrix operations and their expressive power
ACM SIGMOD Record, pp. 60-67, 2019.
We investigate the expressive power of MATLANG, a formal language for matrix manipulation based on common matrix operations and linear algebra. The language can be extended with the operation inv for inverting a matrix. In MATLANG + inv we can compute the transitive closure of directed graphs, whereas we show that this is not possible wit...More
Full Text (Upload PDF)
PPT (Upload PPT)