A novel proof of useful work for a blockchain storing transportation transactions.
Mohamed HaouariMariem MhiriMazen El-MasriKarim Al-YafiPublished in: Inf. Process. Manag. (2022)
Keyphrases
- storage and retrieval
- transportation systems
- data structure
- theorem proving
- distributed database systems
- transaction management
- transactional data
- database
- databases
- concurrency control
- theorem prover
- transaction model
- transaction processing
- mathematical proofs
- transportation costs
- database transactions
- route planning
- case study
- data mining
- data sets