FORMAL SEMANTICS FOR TIME IN DATABASES

被引：71

作者：

CLIFFORD, J ^{[1
]}

WARREN, DS ^{[1
]}

机构：

[1] SUNY STONY BROOK,DEPT COMP SCI,STONY BROOK,NY 11794

来源：

ACM TRANSACTIONS ON DATABASE SYSTEMS | 1983年 / 8卷 / 02期

关键词：

D O I：

10.1145/319983.319986

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：214 / 254

页数：41

共 46 条

[1]

Bennett Michael, 1979, QUESTIONS MONTAGUE G

[2]

Bennett Michael R, 1974, THESIS U CALIFORNIA

[3] SEMANTICS OF DATA-BASES - SEMANTICS OF DATA MODELS [J].

BILLER, H ;

NEUHOLD, EJ .

[4]

Bobrow D. G., 1977, COGNITIVE SCI, V1, P3, DOI DOI 10.1207/S15516709C0G0101_

[5]

BUBENKO JA, 1977, ARCHITECTURE MODELS

[6]

Carnap Rudolf., 1947, MEANING NECESSITY

[7]

CASANOVA MA, 1979, 6TH P ACM S PRINC PR, P101

[8]

CHANG CL, 1978, LOGIC DATA BASES

[9]

Church A., 1941, ANN MATH STUD

[10]

CLIFFORD J, 1982, THESIS SUNY STONY BR