MATLANG: Matrix operations and their expressive power.

Robert Brijder Floris Geerts Jan Van den Bussche Timmy Weerwag

Published in: SIGMOD Rec. (2019)

Keyphrases

expressive power
first order logic
data complexity
computational properties
query language
relational algebra
database query languages
transitive closure
aggregate functions
constraint query languages
pattern queries
relational calculus
recursive queries