A CAUSAL MODEL FOR ANALYZING DISTRIBUTED CONCURRENCY-CONTROL ALGORITHMS

被引:3
作者
BHARGAVA, B [1 ]
HUA, CT [1 ]
机构
[1] HONEYWELL INFORMAT SYST INC,DIV LARGE COMP PROD,PHOENIX,AZ 85005
关键词
D O I
10.1109/TSE.1983.234783
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:470 / 486
页数:17
相关论文
共 26 条
[1]  
ANDLER S, 1979, CMUCS79134 CARN MELL
[2]   FORMAL ASPECTS OF SERIALIZABILITY IN DATABASE CONCURRENCY CONTROL [J].
BERNSTEIN, PA ;
SHIPMAN, DW ;
WONG, WS .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (03) :203-216
[3]  
BERNSTEIN PA, 1981, ACM COMPUT SURV, V13, P185
[4]  
BHARGAVA B, 1980, 4TH IEEE P INT COMP, P444
[5]  
BHARGAVA B, 1983, SOFTWARE ENG HDB
[6]  
CAMPBELL RH, 1974, LECTURE NOTES COMPUT, V16, P89
[7]  
ELLIS CA, 1977, 6TH P ACM S OPER SYS
[8]   NOTIONS OF CONSISTENCY AND PREDICATE LOCKS IN A DATABASE SYSTEM [J].
ESWARAN, KP ;
GRAY, JN ;
LORIE, RA ;
TRAIGER, IL .
COMMUNICATIONS OF THE ACM, 1976, 19 (11) :624-633
[9]  
GENRICH HJ, 1979, LECT NOTES COMPUTER, V70, P123, DOI DOI 10.1007/BFB0022459
[10]  
GRAY JN, 1980, RJ2895 IBM RES DIV S