Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts.

Giovanni Ciatto Stefano Mariani Alfredo Maffi Andrea Omicini

Published in: Inf. (2020)

Keyphrases

expressive power
first order logic
query language
data complexity
transitive closure

computational properties
supply chain
relational algebra
pattern queries
recursive queries

relational calculus
user defined aggregates
machine learning
constraint query languages
propositional logic

pattern matching
np complete
database systems
artificial intelligence