Abstract:Due to the importance of linear algebra and matrix operations in data analytics, there is significant interest in using relational query optimization and processing techniques for evaluating (sparse) linear algebra programs. In particular, in recent years close connections have been established between linear algebra programs and relational algebra that allow transferring optimization techniques of the latter to the former. In this paper, we ask ourselves which linear algebra programs in MATLANG correspond to the free-connex and q-hierarchical fragments of conjunctive first-order logic. Both fragments have desirable query processing properties: free-connex conjunctive queries support constant-delay enumeration after a linear-time preprocessing phase, and q-hierarchical conjunctive queries further allow constant-time updates. By characterizing the corresponding fragments of MATLANG, we hence identify the fragments of linear algebra programs that one can evaluate with constant-delay enumeration after linear-time preprocessing and with constant-time updates. To derive our results, we improve and generalize previous correspondences between MATLANG and relational algebra evaluated over semiring-annotated relations. In addition, we identify properties on semirings that allow to generalize the complexity bounds for free-connex and q-hierarchical conjunctive queries from Boolean annotations to general semirings.

Languages Generated by Conjunctive Query Fragments of FC

Conjunctive Queries for Logic-Based Information Extraction

The expressive language ALCNHR+K(D) for knowledge reasoning

The Adjacent Fragment and Quine's Limits of Decision

Querying the Guarded Fragment

Enumeration and updates for conjunctive linear algebra queries through expressibility

Answer Fragments

On F-Disjunctive Languages, F-Disjunctive Domains and Solid Codes

Coordination and Referential Dependencies: a Dependency Grammar Account in Terms of Predicate-Valent Structures

The Power of Constraint Grammars Revisited

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

Incorporating cardinality constraints and synonym rules into conditional functional dependencies

Decidable Fragments of First-Order Language under Stable Model Semantics and Circumscription.

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

On Homogeneous Model of Fluted Languages

Interpretations of syntactic fragments of theories of fields

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

Linear Programs with Conjunctive Database Queries

Deciding Regular Grammar Logics with Converse Through First-Order Logic