Vi visar att matrisen frågespråket MATLANG motsvarar ett naturligt fragment av den positiva relationen algebra på K-relationen. Fragmentet definieras genom att införa en kompositionsoperatör och begränsa K-relationen till två. Vi fortsätter sedan att visa att MATLANG kan uttrycka alla matrisfrågor uttrycks i den positiva relation algebra på K-relationer, när mellanliggande ariteter är begränsade till tre. Således erbjuder vi en analog, i en modell med numeriska data, till situationen i klassisk logik, där algebra binära relationer är likvärdiga med första ordningen logik med tre variabler.
Sambandet mellan MATLANG och algebran för K-relationen undersöks mer ingående i en kommande artikel REF.
On matrices and $K$-relations
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}