On the Expressive Power of Behavior Structure.

Cheng Wang Hangyu Zhu Yuhang Lin Changjun Jiang

Published in: CoRR (2023)

Keyphrases

expressive power
first order logic
query language
relational algebra
data complexity
computational properties
transitive closure
structural properties
recursive queries
pattern queries
relation algebra