On matrices and $K$-relations

Robert Brijder, Marc Gyssens, Jan Van den Bussche

We show that the matrix query language $\mathsf{MATLANG}$ corresponds to a natural fragment of the positive relational algebra on $K$-relations. The fragment is defined by introduc…