Locking policies: Safety and freedom from deadlock

This publication has 8 references indexed in Scilit:

• Consistency in Hierarchical Database Systems
  Journal of the ACM, 1980
• The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case)
  IEEE Transactions on Software Engineering, 1978
• Consistency, concurrency, and crash recovery
  Published by Association for Computing Machinery (ACM) ,1978
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976
• Concurrency control for database systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976
• Reducibility among Combinatorial Problems
  Published by Springer Nature ,1972
• System Deadlocks
  ACM Computing Surveys, 1971
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
  SIAM Journal on Applied Mathematics, 1966