A new correctness criterion for multiplicative non-commutative proof nets.
Roberto MaieliPublished in: Arch. Math. Log. (2003)
Keyphrases
- correctness criterion
- linear logic
- integrity constraints
- concurrency control
- transaction management
- data replication
- multidatabase systems
- fixed point
- correctness criteria
- logic programming
- concurrency control protocols
- desirable properties
- replicated databases
- database systems
- distributed databases
- range queries
- access control
- mobile devices