Back to Search
Start Over
On matrices and K-relations.
- Source :
-
Annals of Mathematics & Artificial Intelligence . Mar2022, Vol. 90 Issue 2/3, p181-210. 30p. - Publication Year :
- 2022
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 10122443
- Volume :
- 90
- Issue :
- 2/3
- Database :
- Academic Search Index
- Journal :
- Annals of Mathematics & Artificial Intelligence
- Publication Type :
- Academic Journal
- Accession number :
- 154980933
- Full Text :
- https://doi.org/10.1007/s10472-021-09760-4