Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/36346
Title: | On matrices and K-relations | Authors: | BRIJDER, Robert GYSSENS, Marc VAN DEN BUSSCHE, Jan |
Issue Date: | 2022 | Publisher: | SPRINGER | Source: | Annals of mathematics and artificial intelligence, 90 (2-3), p. 181-210 | Abstract: | 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. | Keywords: | Expressive power;Provenance semirings;Annotated relations;Data science | Document URI: | http://hdl.handle.net/1942/36346 | ISSN: | 1012-2443 | e-ISSN: | 1573-7470 | DOI: | 10.1007/s10472-021-09760-4 | ISI #: | 000673895700001 | Rights: | The Author(s), under exclusive licence to Springer Nature Switzerland AG 2021 | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2022 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
arak.pdf | Peer-reviewed author version | 432.72 kB | Adobe PDF | View/Open |
On matrices and K-relations.pdf Restricted Access | Published version | 812.16 kB | Adobe PDF | View/Open Request a copy |
Page view(s)
64
checked on Jul 15, 2022
Download(s)
22
checked on Jul 15, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.