Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts.
Giovanni CiattoStefano MarianiAlfredo MaffiAndrea OmiciniPublished 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