Database Information Systems

Research Frontiers in Formal Verification of Database Transaction Correctness

Application of formal methods and theorem proving to verify the correctness of complex transaction protocols and isolation levels.

All Database & Information Systems PhD categories