EQUIVALENCE AND OPTIMIZATION OF RELATIONAL TRANSACTIONS

被引：19

作者：

ABITEBOUL, S ^{[1
]}

VIANU, V ^{[1
]}

机构：

[1] UNIV CALIF SAN DIEGO,DEPT COMP SCI & ENGN,LA JOLLA,CA 92093

来源：

关键词：

D O I：

10.1145/42267.42271

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：70 / 120

页数：51

共 19 条

[1] IFO - A FORMAL SEMANTIC DATABASE MODEL
ABITEBOUL, S
HULL, R
[J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (04): : 525 - 565
[2] ABITEBOUL S, 1984, 10TH P VLDB, P46
[3] UPDATE SEMANTICS OF RELATIONAL VIEWS
BANCILHON, F
SPYRATOS, N
[J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (04): : 557 - 575
[4] BERNSTEIN PA, 1981, ACM COMPUT SURV, V13, P185
[5] BRODIE ML, 1981, 7TH P INT C VER LARG, P32
[6] CASTILHO IMV, 1982, 8TH P INT C VER LARG, P280
[7] FORMAL SEMANTICS FOR TIME IN DATABASES
CLIFFORD, J
WARREN, DS
[J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1983, 8 (02): : 214 - 254
[8] CODD EF, 1970, COMMUN ACM, V13, P377, DOI 10.1145/357980.358007
[9] DEANTONELLIS V, 1981, 7TH P INT C VER LARG, P23
[10] HECHT M, 1981, 4 ATT BELL LAB DAT R