General purpose schedulers for database systems

This publication has 11 references indexed in Scilit:

• Concurrency control in a system for distributed databases (SDD-1)
  ACM Transactions on Database Systems, 1980
• The serializability of concurrent database updates
  Journal of the ACM, 1979
• Formal Aspects of Serializability in Database Concurrency Control
  IEEE Transactions on Software Engineering, 1979
• Process synchronization in database systems
  ACM Transactions on Database Systems, 1978
• System level concurrency control for distributed database systems
  ACM Transactions on Database Systems, 1978
• Nondeterminism and the Correctness of Parallel Programs.
  Published by Defense Technical Information Center (DTIC) ,1977
• Physical integrity in a large segmented database
  ACM Transactions on Database Systems, 1977
• 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
• Proving monitors
  Communications of the ACM, 1976