×

交易的等式理论。 (英语) Zbl 1205.68120号

Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 38-49 (2003).
概述:事务通常被描述为ACID:全或无、一致、隔离和持久。然而,尽管这些词传达了一种强大的直觉,但ACID属性从未被赋予精确的语义,无法将每个属性与其他属性区分开来。这种语义的好处之一是能够权衡属性的价值与其实现成本。本文为事务属性提供了一个良好的等式语义。我们定义了三类动作,A-action、I-action和D-action,同时我们将一致性视为归纳规则,它使我们能够从局部一致性中导出系统范围的一致性。这三种操作可以嵌套,导致不同形式的事务,每种事务都具有定义良好的语义。然后将常规交易简单地作为ADI-actions获得。从等式语义出发,我们为事务程序开发了一个形式化证明原则,从中我们导出了一致性的归纳规则。
关于整个系列,请参见[Zbl 1029.00064号].

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部