南希·林奇;迈克尔·梅里特;威廉·威尔;阿兰·费科特 原子事务理论。 （英语） Zbl 0663.68022号 数据库理论，Proc。第二届国际会议，布鲁日/比利时，1988年，法律。注释计算。科学。326, 41-71 (1988). [关于整个系列，请参见Zbl 0643.00027号.]给出了原子事务的形式化理论，它也可以作为所有类型的面向对象方法中严格正确性证明的框架。所阐述的最重要的结果是所谓的一般可串行性定理。还考虑了结合并发和恢复控制的复制管理算法。审核人：E.克努特 引用于1审查引用于8文件 MSC公司： 68第05页 数据结构 68第20页 信息存储和数据检索 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：事务处理;原子事务;正确性证明;可串行化 引文：Zbl 0643.00027号 PDF格式BibTeX公司 XML格式