-
题名实时数据库系统的正确性
被引量：17
- 1
-
-
作者
刘云生
胡国玲
-
机构
华中理工大学
-
出处
《计算机应用与软件》
CSCD
1995年第6期1-8,共8页
-
基金
国家自然科学基金
国防预研项目
-
文摘
实时数据库(RTDB)系统的正确性就是与定时限制紧密相联的数据库一致性和事务正确性。文中对此作了详细讨论,指出RTDB的一致性包括内部一致、外部一致和相互一致;事务正确性包括结果正确性、行为正确性、结构正确性和时间正确性。进一步的关键问题是判断正确性的准则和表示方法,对此文中提出了一个经历模型,它可方便地用来说明各种恰当的正确性。
-
关键词
实时数据库
数据库
事务正确性
-
Keywords
Real-timo database, real-time .transaction, database consistency, transaction correctness, timing constraint, event, transaction history.
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
