On matrices and K-relations

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 2. We then proceed to show that MATLANG can express all matrix queries expressible in the positive relational algebra on K-relations, when intermediate arities are restricted to 3. 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.

Jaar van publicatie:2022

Trefwoorden:Expressive power, Provenance semirings, Annotated relations, Data science

BOF-keylabel:ja

IOF-keylabel:ja

BOF-publication weight:0.5

Authors from:Higher Education

Toegankelijkheid:Open