< Back to previous page

Publication

On matrices and K-relations

Journal Contribution - Journal Article

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.
Journal: Annals of mathematics and artificial intelligence
ISSN: 1012-2443
Issue: 2-3
Volume: 90
Pages: 181 - 210
Publication year:2022
Keywords:Expressive power, Provenance semirings, Annotated relations, Data science
BOF-keylabel:yes
IOF-keylabel:yes
BOF-publication weight:0.5
Authors from:Higher Education
Accessibility:Open