< Terug naar vorige pagina


On matrices and K-relations

Boekbijdrage - Boekhoofdstuk Conferentiebijdrage

We show that the matrix query language MATLANG corresponds to a natural fragment of the positive relational algebra on K-relations. The fragment is defined by introducing a composition operator and restricting K-relation arities to two. We then proceed to show that MATLANG can express all matrix queries expressible in the positive re-lational algebra on K-relations, when intermediate arities are restricted to three. Thus we offer an analogue, in a model with numerical data, to the situation in classical logic, where the algebra of binary relations is equivalent to first-order logic with three variables.
Boek: International Symposium on Foundations of Information and Knowledge Systems
Series: Lecture Notes in Computer Science
Pagina's: 42 - 57
Jaar van publicatie:2020
Trefwoorden:expressive power