SPECIFYING DATA BASE SYSTEMS.

被引：0
|
作者：
Florentin, J.J.
机构：
来源：
| 1600年 / North-Holland Publ Co, Amsterdam, Neth卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper discusses the new issues arising when considering data manipulation. To make the discussion concrete a hierarchical interface is considered, although the issues are general. The following are discussed - relational versus abstract storage models, currency, data base state, privacy locks, ordering, access functions for the user and Data Base Administrator. The use of formal definitions to deduce general properties of data base management systems is briefly discussed; and, desirable properties for formal specifications of data base management systems are pointed out.
引用
收藏
相关论文
共 50 条
  • [41] DATA ATTRIBUTE TABLES FOR COMPUTER SYSTEMS.
    Fierst, P.E.
    Ovesen, J.R.
    IBM Technical Disclosure Bulletin, 1973, 15 (08): : 2489 - 2491
  • [42] Data Acquisition Instrument for Energy Systems.
    Gustovtsev, A.L.
    Gurchik, M.E.
    Kurkul'
    A. V.
    Sabalyauskas, A.I.
    Pribory i Sistemy Upravleniya, 1986, (01): : 31 - 33
  • [43] DATA EXCHANGE BETWEEN CAD SYSTEMS.
    Lambourne, E.B.
    Engineering materials and design, 1986, 30 (11): : 26 - 28
  • [44] PRESENT STATUS OF FIBEROPTIC DATA SYSTEMS.
    Weinberg, J.Morris
    Springer Series in Optical Sciences, 1979,
  • [45] Testing Problems in Data Communication Systems.
    Raasch, Eberhard
    NTZ Nachrichtentechnische Zeitschrift, NTZ Communications Journal, 1979, 32 (01): : 16 - 17
  • [46] DATA MANAGEMENT FOR LARGE SPACE SYSTEMS.
    Shelford, C.J.
    JBIS. Journal of the British Interplanetary Society, 1988, 41 (07): : 307 - 309
  • [47] DIGIT SYNCHRONISATION FOR DATA TRANSMISSION SYSTEMS.
    Ramsay, R.D.
    1973, 34 (02): : 51 - 58
  • [48] Automatic Optical Data Processing Systems.
    Vavrin, Petr
    Solc, Frantisek
    Automatizace Praha, 1983, 26 (11): : 286 - 290
  • [49] BATTERY DATA FOR USE IN EXPERT SYSTEMS.
    Hodgson, R.
    Oman, H.
    1600, (17): : 1 - 3
  • [50] DESIGNING FACTORY DATA COLLECTION SYSTEMS.
    Singer, Larry M.
    1600, (04):
12345