Towards Bridging Traditional and Smart Contracts with Datalog-based Languages.
Markus NisslEmanuel SallingerPublished in: Datalog (2022)
Keyphrases
- expressive power
- database languages
- query language
- relational query languages
- language independent
- supply chain
- deductive databases
- query answering
- function free horn
- data complexity
- logic programming
- language identification
- first order logic
- cross lingual
- database query languages
- functional dependencies
- machine translation
- relational algebra
- smart spaces
- grammatical inference
- data management
- containment of conjunctive queries
- programming language