The expressive power of the shuffle product.

Jean Berstel Luc Boasson Olivier Carton Jean-Eric Pin Antonio Restivo

Published in: Inf. Comput. (2010)

Keyphrases

expressive power
first order logic
query language
data complexity
transitive closure
computational properties
relational algebra
databases
relational calculus
recursive queries
pattern queries
machine learning
constraint query languages