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 条
  • [1] SPECIFYING MULTIPLEX DATA SYSTEMS.
    Fling, John J.
    Power Engineering (Barrington, Illinois), 1976, 8 (02): : 50 - 53
  • [2] DATA MODELLING AND PERFORMANCE OF DATA BASE SYSTEMS.
    Rossiter, B.N.
    1600, (33): : 1 - 3
  • [3] FRAMEWORK FOR EVALUATION OF DATA BASE SYSTEMS.
    Rodriguez-Rosell, Juan
    Hildebrand, David
    1975, : 77 - 81
  • [4] PERFORMANCE ANALYSIS OF DISTRIBUTED DATA BASE SYSTEMS.
    Stonebraker, Michael
    Woodfill, John
    Ranstrom, Jeff
    Murphy, Marguerite
    Kalash, Joseph
    Carey, Michael
    Arnold, Kenneth
    Database Engineering, 1982, 5 (04): : 58 - 65
  • [5] APPLICATION SPECIFICATION FOR DISTRIBUTED DATA BASE SYSTEMS.
    Hebalkar, Prakash G.
    1978, : 442 - 449
  • [6] ALGEBRAIC SPECIFICATION SCHEMES FOR DATA BASE SYSTEMS.
    Ehrig, Hartmut
    Kreowski, Hans-Joerg
    Weber, Herbert
    1978, : 427 - 440
  • [7] SEARCH PROCESSOR FOR DATA BASE MANAGEMENT SYSTEMS.
    Leilich, H.O.
    Stiege, G.
    Zeidler, H.Ch.
    1978, : 280 - 287
  • [8] ART OF SPECIFYING CENTRAL CONTROL SYSTEMS.
    Haines, Roger W.
    Actual Specifying Engineer, 1975, 33 (04): : 80 - 86
  • [9] SPECIFYING SOLID STATE LOGIC SYSTEMS.
    Swann, D.R.
    American Society of Mechanical Engineers (Paper), 1979,
  • [10] Method for Fast Testing of the Consistency of Data Base Systems.
    Weber, Christian
    Angewandte Informatik, Applied Informatics, 1981, 23 (11): : 497 - 501
12345