A UNIFORM FORMAL DESCRIPTION OF DATA-BASE MANAGEMENT-SYSTEMS

被引：1

作者：

STEYER, F

机构：

来源：

关键词：

D O I：

10.1016/0306-4379(80)90004-6

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：127 / 135

页数：9

共 50 条

[1] DATA-BASE MANAGEMENT-SYSTEMS
HALL, M
FEINSTEIN, AM
[J]. CHEMICAL ENGINEERING PROGRESS, 1977, 73 (10) : 79 - 82
[2] BUILDING DATA-BASE MANAGEMENT-SYSTEMS THROUGH FORMAL SPECIFICATION
NEUHOLD, EJ
OLNHOFF, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 169 - 209
[3] DATA-BASE MANAGEMENT-SYSTEMS
BEACH, LM
[J]. INFORMATION MANAGEMENT, 1984, 18 (12): : 13 - &
[4] DATA-BASE MANAGEMENT-SYSTEMS DEVELOPMENT
IIDA, T
[J]. JAPAN TELECOMMUNICATIONS REVIEW, 1985, 27 (01): : 62 - 66
[5] IMPORTANCE OF DATA-BASE MANAGEMENT-SYSTEMS
SIRCAR, S
[J]. BUSINESS QUARTERLY, 1978, 43 (02): : 45 - 49
[6] INTRODUCTION TO DATA-BASE MANAGEMENT-SYSTEMS
ROSSITER, BN
[J]. COMPUTER PHYSICS COMMUNICATIONS, 1984, 33 (1-3) : 5 - 12
[7] TRENDS IN DATA-BASE MANAGEMENT-SYSTEMS
FIREWORKER, RB
KONZET, JD
[J]. JOURNAL OF SYSTEMS MANAGEMENT, 1982, 33 (05): : 30 - 33
[8] THE HISTORY OF DATA-BASE MANAGEMENT-SYSTEMS
不详
[J]. DATA MANAGEMENT, 1983, 21 (02): : 21 - 23
[9] DATA-BASE MANAGEMENT-SYSTEMS - SUITABLE FOR A CORPORATION
ALLEN, GR
[J]. INTERFACE AGE, 1984, 9 (07): : 23 - &
[10] THE EXECUTIVES GUIDE - TO DATA-BASE MANAGEMENT-SYSTEMS
HOLLAND, RH
[J]. ICP SOFTWARE BUSINESS REVIEW, 1983, 2 (01): : 46 - &