DeepAI AI Chat
Log In Sign Up

On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra

09/25/2019
by   Pablo Barceló, et al.
0

We study the expressive power of the LARA language – a recently proposed unified model for expressing relational and linear algebra operations – both in terms of traditional database query languages and some analytic tasks often performed in machine learning pipelines. We start by showing LARA to be expressive complete with respect to first-order logic with aggregation. Since LARA is parameterized by a set of user-defined functions which allow to transform values in tables, the exact expressive power of the language depends on how these functions are defined. We distinguish two main cases depending on the level of genericity queries are enforced to satisfy. Under strong genericity assumptions the language cannot express matrix convolution, a very important operation in current machine learning operations. This language is also local, and thus cannot express operations such as matrix inverse that exhibit a recursive behavior. For expressing convolution, one can relax the genericity requirement by adding an underlying linear order on the domain. This, however, destroys locality and turns the expressive power of the language much more difficult to understand. In particular, although under complexity assumptions the resulting language can still not express matrix inverse, a proof of this fact without such assumptions seems challenging to obtain.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/25/2017

On the expressive power of query languages for matrices

We investigate the expressive power of MATLANG, a formal language for ma...
10/26/2020

Expressive power of linear algebra query languages

Linear algebra algorithms often require some sort of iteration or recurs...
12/11/2018

On the expressive power of linear algebra on graphs

Most graph query languages are rooted in logic. By contrast, in this pap...
04/12/2020

A Relational Matrix Algebra and its Implementation in a Column Store

Analytical queries often require a mixture of relational and linear alge...
05/30/2022

Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System

With the ever-increasing volume of data, there is an urgent need to prov...
03/19/2021

Relational Operations in FOLE

This paper discusses relational operations in the first-order logical en...
02/11/2020

Modular Path Queries with Arithmetic

We propose a new approach to querying graph databases. Our approach bala...