论文部分内容阅读
并发控制是数据库系统研究中的一个主要课题，而可串行化则是判断并发控制正确性的重要标准。该文分析了目前广泛使用的两相封锁法，论证了两相分锁法的正确性，并且讨论了进一步提高两相封锁法并发控制算法并发度的角度出发，深入探讨了可串行化的充分必要性，同时提出了一个新的并发控制算法：SG算法，它可以避免死锁，而且是保证可串行化的充分必要条件。（本刊录）