摘要
实时数据库(RTDB)系统的正确性就是与定时限制紧密相联的数据库一致性和事务正确性。文中对此作了详细讨论,指出RTDB的一致性包括内部一致、外部一致和相互一致;事务正确性包括结果正确性、行为正确性、结构正确性和时间正确性。进一步的关键问题是判断正确性的准则和表示方法,对此文中提出了一个经历模型,它可方便地用来说明各种恰当的正确性。
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.
出处
《计算机应用与软件》
CSCD
1995年第6期1-8,共8页
Computer Applications and Software
基金
国家自然科学基金
国防预研项目
关键词
实时数据库
数据库
事务正确性
Real-timo database, real-time .transaction, database consistency, transaction correctness, timing constraint, event, transaction history.
