Minimality of the correctness criterion for multiplicative proof nets.
Denis BéchetPublished in: Math. Struct. Comput. Sci. (1998)
Keyphrases
- correctness criterion
- linear logic
- integrity constraints
- concurrency control
- multidatabase systems
- transaction management
- correctness criteria
- replicated databases
- data replication
- partial order
- fixed point
- database systems
- real time
- desirable properties
- concurrency control protocols
- logical framework
- inference rules
- distributed database systems
- theorem prover
- distributed databases
- fine grained
- management system
- data mining