MODELING AND ANALYSIS OF TRANSACTION EXECUTION IN DATABASE-SYSTEMS

被引：15

作者：

LAFORTUNE, S ^{[1
]}

机构：

[1] UNIV MICHIGAN,COMP RES LAB,ANN ARBOR,MI 48109

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1988年 / 33卷 / 05期

关键词：

Manuscript received August 13; 1987; revised December 28; 1987. Paper recommended by Associate Editor; B. H. Krogh. This work was supported in part by a Rackham Faculty Grant from the School of Graduate Studies; The University of Michigan; and by the National Science Foundation under Grant ECS-8707671. The author is with the Department of Electrical Engineering and Computer Science; and the Computing Research Laboratory; University of Michigan; Ann Arbor; MI 48109. IEEE Log Number 8819550;

D O I：

10.1109/9.1222

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：439 / 447

页数：9

共 23 条

[1]

AGRAWAL D, 1985, MAY P ACM SIGMOD INT

[2]

Bernstein Philip A., 1987, CONCURRENCY CONTROL

[3]

CIESLAK R, 1986, DEC P IEEE C DEC CON, P604

[4] STABILITY OF A QUEUING SYSTEM WITH CONCURRENT SERVICE AND LOCKING [J].

COURCOUBETIS, CA ;

REIMAN, MI ;

SIMON, B .

SIAM JOURNAL ON COMPUTING, 1987, 16 (01) :169-178

[5]

Date C.J., 1983, INTRO DATABASE SYSTE, V2

[6] 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

[7]

FEKETE A, 1987, MITLCSTM340 LAB COMP

[8]

HO YC, 1987, IEEE T AUTOMAT CONTR, V32, P563

[9]

KUNG HT, 1979, P ACM SIGMOD INT C M

[10]

LAFORTUNE S, 1986, THESIS U CALIF BERKE

← 1 2 3 →