Concurrency Theorems for Non-linear Rewriting Theories.

Nicolas Behr Russ Harmer Jean Krivine

Published in: CoRR (2021)

Keyphrases

concurrency control
theoretical framework
cognitive psychology
database systems
data structure
distributed systems
conjunctive queries
rewrite rules
regular path queries
case study
data warehouse
query rewriting
defeasible logic
rewriting rules
rewriting systems