Expressive Power of Broadcast Consensus Protocols.

Michael Blondin Javier Esparza Stefan Jaax

Published in: CONCUR (2019)

Keyphrases

expressive power
query language
first order logic
data complexity
transitive closure
relational algebra
computational properties
relational calculus
recursive queries
data mining
artificial intelligence
knowledge base
spatial databases
pattern queries
constraint query languages