Concurrency Theorems for Non-linear Rewriting Theories.
Nicolas BehrRuss HarmerJean KrivinePublished in: ICGT (2021)
Keyphrases
- database systems
- concurrency control
- conjunctive queries
- neural network
- transaction processing
- digital topology
- query rewriting
- data flow
- rewriting systems
- dynamic allocation
- rewrite rules
- nested transactions
- concurrency control protocols
- causal reasoning
- real time
- theoretical framework
- special case
- artificial intelligence
- databases