Integrity, concurrency, and recovery in databases

This publication has 14 references indexed in Scilit:

• System R
  ACM Transactions on Database Systems, 1976
• On the integrity of data bases and resource locking
  Published by Springer Nature ,1976
• Functional specifications of a subsystem for data base integrity
  Published by Association for Computing Machinery (ACM) ,1975
• Vermeidung von Verklemmungen in Bewerteten Petrinetzen
  Lecture Notes in Computer Science, 1975
• Programming with abstract data types
  ACM SIGPLAN Notices, 1974
• Recovery scenario for a DB/DC system
  Published by Association for Computing Machinery (ACM) ,1973
• System Deadlocks
  ACM Computing Surveys, 1971
• A transitive closure algorithm
  BIT Numerical Mathematics, 1970
• Prevention of system deadlocks
  Communications of the ACM, 1969
• A Theorem on Boolean Matrices
  Journal of the ACM, 1962