On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra

DOI10.1016/j.tcs.2022.09.003OpenAlexW4295011675MaRDI QIDQ2084947

Yanyan Li

Publication date: 14 October 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.11693

zbMATH Keywords

safetyexpressive powerlanguages for linear and relational algebralocality of queriesquery genericityrelational algebra with aggregation

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• xarray
• MATLANG
• LaraDB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• Expressive power of SQL.
• On monadic NP vs monadic co-NP
• On winning Ehrenfeucht games and monadic NP
• A taxonomy of problems with fast parallel algorithms
• Logics with aggregate operators