ComputingComputer ScienceComputer SystemsData ManagementDatabasesDistributed SystemsConcurrency ControlDatabase ManagementDistributed Database ArchitectureDistributed DatabasesDistributed TransactionsTransaction ManagementComplexityConcurrent ComputationConsistency EnforcementConsistency In Distributed DatabasesCorrectness ProofsDeadlockDeadlock DetectionTransactions