×
桑杰·库马尔·马德里亚;马赫什瓦里，S.N。;B.钱德拉。

嵌套事务环境中的虚拟分区算法及其正确性。 （英语） Zbl 1052.68029号

信息科学。 137，编号1-4，211-244（2001）.
摘要：我们给出了嵌套事务环境中虚拟分区算法的形式化描述，并证明了其正确性。我们使用I/O自动机模型在嵌套事务环境中对虚拟分区算法进行建模。形式化描述用于构造完整的正确性证明，该证明基于标准断言技术和自然正确性条件，并利用将算法描述为嵌套事务时产生的模块性。我们的演示和证明将数据复制问题与并发控制问题完全分开。此外，我们发现虚拟分区算法在以下意义上无法被证明是正确的高盛的工作[ACM Trans.Database Syst.19，537（1994）]关于Gifford的仲裁一致性算法，使用了由A.费科特,N.林奇,梅里特先生，以及W.韦尔【法学注释计算科学326，41–71（1988；Zbl 0663.68022号)]. 因此，我们提出了一个较弱的正确性条件概念，我们称之为重排可串行性定理。我们已经证明，并不是所有类别的复制算法都可以用高盛提出的Gifford的quorumconsensus算法的证明来证明。

引用于1文件

MSC公司：

第68页，共15页 数据库理论

关键词：

虚拟分区算法

引文：

Zbl 0663.68022号

软件：

INGRES公司
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Madria}等人，《信息科学》。137，编号1--4，211-244（2001；Zbl 1052.68029）
全文： 内政部

参考文献：

[1] 阿斯普内斯，J。；Fekete，A。；林奇，N。；梅里特，M。；Weihl，W.E.，基于时间戳的嵌套事务并发控制理论（第14届超大数据库国际会议论文集（1988）），431-444
[2] 伯恩斯坦，P。；哈齐拉科斯，V。；Goodman，N.，《数据库系统中的并发控制和恢复》（1987），Addison-Wesley:Addison-Whesley Reading
[3] El Abbadi，A。；Skeen，D。；Cristian，F.，《复制数据管理的高效容错协议》（第四届ACM数据库系统原理研讨会论文集，俄勒冈州波特兰（1985）），215-228
[4] El Abbadi，A。；Tough，S.，分区复制数据库的可用性，（第五届ACM数据库系统原理研讨会论文集，马萨诸塞州剑桥（1986）），240-251
[5] 傅，A。；Kameda，T.，访问B树的嵌套事务的并发控制，（第八届ACM数据库系统原理研讨会论文集（1989）），270-285
[6] 费科特，A。；林奇，N。；Weihl，W.E.，嵌套事务的序列化图构造，（第九届ACM数据库系统原理研讨会论文集（1990）），94-108
[7] Fekete，A。；林奇，N。；梅里特，M。；Whiel，W.E.，《原子交易》（1994），Morgan Kaufmann:Morgan Koufmann Los Altos，CA
[8] Fekete，A。；林奇，N。；梅里特，M。；Whiel，W.E.，嵌套事务和读/写锁定，（第六届ACM数据库系统原理研讨会论文集，加利福尼亚州圣地亚哥（1987）），97-111
[9] Fekete，A。；林奇，N。；梅里特，M。；Weihl，W.E.，基于交换性的嵌套事务锁定，《系统科学杂志》，41，1，65-156（1990）·Zbl 0716.68028号
[10] Gifford，D.，复制数据的加权投票，（第七届操作系统原理研讨会论文集，加利福尼亚州太平洋格罗夫（1979）），150-159
[11] Goldman，K。；Lynch，N.，《嵌套事务和法定人数共识》，ACM数据库系统事务，19，4，537-585（1994）
[12] 格雷，J。；Lorie，W。；Putzolu，G。；Traiger，I.，《共享数据库中锁的粒度和一致性程度》，（Nijssen，G.，《数据库管理系统建模》（1976），爱思唯尔/北荷兰：爱思唯尔/北荷兰阿姆斯特丹）
[13] Lee，J.K.，嵌套事务系统的精确锁定，（第二届信息与知识管理国际会议（CIKM’93），美国（1993））
[14] Lee，J.K。；Fekete，A.，《嵌套事务系统的多粒度锁定》（MFDBS’91年会议记录）。MFDBS’91会议录，计算机科学讲义，第495卷（1991），施普林格：施普林格柏林），160-172
[15] Lee，J.K。；Fekete，A.，嵌套事务系统的谓词锁定，（澳大利亚数据库研究会议论文集（1992）），217-231
[16] N.Lynch，M.Tuttle，《输入/输出自动机导论》，《技术备忘录》，麻省理工学院计算机科学实验室，麻省理工学院，剑桥，1988年；N.Lynch，M.Tuttle，《输入/输出自动机简介》，技术备忘录，MIT/LCS/TM-373，麻省理工学院计算机科学实验室，马萨诸塞州剑桥市，1988年·Zbl 0677.68067号
[17] Lynch，N.，弹性嵌套事务的并发控制，计算研究进展，335-376（1986）
[18] 林奇，N。；Merrit，M.，《嵌套事务理论导论》，《理论计算机科学》，62123-185（1988）·Zbl 0671.68043号
[19] 奥基，B。；Liskov，B.，《Viewstamp复制：支持高可用分布式系统的新主拷贝方法》（第七届ACM分布式计算原理研讨会论文集（1988年8月））
[20] 马德里亚，S.K。；马赫什瓦里，S.N。；Chandra，B.，使用I/O自动机模型的开放和安全嵌套事务模型的并发控制算法的形式化和正确性，（第八届国际数据管理会议（COMAD'97）论文集，印度马德拉斯（1997））
[21] S.K.Madria，S.N.Maheshwari，B.Chandra，使用嵌套事务和I/O自动机模型对线性散列结构进行形式化，收录于：第三届数据库技术问题和应用国际研讨会（IADT’98），与第三届集成设计和工艺技术国际会议（IDPT），德国柏林，1998年7月6日至9日，第521-530页。《数据与知识工程》37（2001）139-176中出现的扩展版本；S.K.Madria，S.N.Maheshwari，B.Chandra，使用嵌套事务和I/O自动机模型的线性哈希结构的形式化，在：第三届数据库技术问题和应用国际研讨会（IADT'98）与第三届集成设计和过程技术国际会议（IDPT），德国柏林，1998年7月6日至9日，第521-530页。数据与知识工程37（2001）139-176中出现的扩展版本
[22] S.K.Madria，S.N.Maheshwari，B.Chandra，嵌套事务环境中虚拟分区算法的正确性，载于：第三届数据库和信息系统进展国际研讨会论文集（ADBIS'99），斯洛文尼亚马里博尔，1999年9月，计算机科学讲义，第1691卷，柏林施普林格，第98-112页；S.K.Madria，S.N.Maheshwari，B.Chandra，嵌套事务环境中虚拟分区算法的正确性，摘自：第三届数据库和信息系统进展国际研讨会（ADBIS’99）会议记录，斯洛文尼亚马里伯，1999年9月，计算机科学讲义，第1691卷，柏林斯普林格，第98-112页
[23] J.E.B.Moss，嵌套事务：可靠分布式计算方法。博士论文，MIT/LCS/TR-260麻省理工学院计算机科学实验室技术报告，马萨诸塞州剑桥，1981年4月；J.E.B.Moss，嵌套事务：可靠分布式计算方法。博士论文，MIT/LCS/TR-260麻省理工学院计算机科学实验室技术报告，马萨诸塞州剑桥，1981年4月
[24] D.P.Reed，《分散计算机系统中的命名和同步》，博士论文。此外，《MIT/LCS/TR-205技术报告》，麻省理工学院计算机科学实验室，马萨诸塞州剑桥，1978年；D.P.Reed，《分散计算机系统中的命名和同步》，博士论文。此外，《MIT/LCS/TR-205技术报告》，麻省理工学院计算机科学实验室，马萨诸塞州剑桥，1978年
[25] Stonebraker，M.，分布式INGRES中多副本数据的并发控制和一致性，IEEE软件工程学报，5，3，188-194（1979）·Zbl 0396.68018号
[26] Thomas，R.，多副本数据库并发控制的多数共识方法，ACM数据库系统事务，4，2，180-209（1979）
[27] Weihl，W.E.，抽象数据类型的基于交换性的并发控制，IEEE计算机事务，37，12，1488-1505（1988）·Zbl 0674.68016号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。