节点文献

实时数据库系统的正确性

THE CORRECTNESS PROPERTIES OF REAL-TIME DATABASE SYSTEMS

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 刘云生胡国玲

【Author】 LIU YUNSHENG HU GUOLING (Huazhong University of Science and Technology)

【机构】 华中理工大学华中理工大学

【摘要】 实时数据库(RTDB)系统的正确性就是与定时限制紧密相联的数据库一致性和事务正确性。文中对此作了详细讨论,指出RTDB的一致性包括内部一致、外部一致和相互一致;事务正确性包括结果正确性、行为正确性、结构正确性和时间正确性。进一步的关键问题是判断正确性的准则和表示方法,对此文中提出了一个经历模型,它可方便地用来说明各种恰当的正确性。

【Abstract】 Correctness properties of Real-Time DataBase Systems (KTDBS’s) are ones of database consistency and transaction correctness which both, are closely assc-ciated with timing-constraints. This paper discusses various aspects of them, in details, and shows that RTDB consistency captures internal, external and mutual consistency and that transaction correctness properties include correctness of resulta, behavior, structure and temporal behavior of transactions. The further key issue is correctness criteria and its specifications. The paper presents a transaction history model which can be used to specify varieties of appropriate correctness requrrements.

【基金】 国家自然科学基金;国防预研项目
  • 【文献出处】 计算机应用与软件 ,Computer Applications and Software , 编辑部邮箱 ,1995年06期
  • 【分类号】TP311.13
  • 【被引频次】39
  • 【下载频次】128
节点文献中: 

本文链接的文献网络图示:

本文的引文网络