The expressive power of snap-stabilization.

Alain Cournier Ajoy Kumar Datta Stéphane Devismes Franck Petit Vincent Villain

Published in: Theor. Comput. Sci. (2016)

Keyphrases

expressive power
query language
first order logic
data complexity
transitive closure
computational properties
relational algebra
relational calculus
databases
relation algebra