RIA: Semantic Concurrency Control for Real-Time Object- Oriented Databases

RIA：实时面向对象数据库的语义并发控制本研究解决了实时面向对象数据库的并发控制技术的设计。本研究分为两个部分：(1)开发面向对象的实时数据库系统的形式化模式模型；(2)开发实时并发控制技术，该技术利用应用程序语义和不精确来支持实时面向对象数据库中所有形式的约束的实施。这些形式的约束是：数据对象逻辑一致性约束、数据对象时间一致性约束、事务逻辑一致性约束和事务时序约束。并发控制技术使用封装在每个对象中的并发控制组件，该组件表示对象方法的条件兼容性和语义锁定。本项目利用一个原型的实时面向对象数据库系统实现语义实时并发控制技术。该研究可用于具有大量时间约束数据的实时控制应用，例如：医疗重症监护患者监测，车辆控制，制造和程序化股票交易；同时也为复杂应用中的实时数据管理引入了更好的通用范式。

RIA: Semantic Concurrency Control for Real-Time Object-Oriented Databases This research addresses the design of concurrency control techniques for real-time object-oriented databases. There are two components to the research: (1) development of a formal schema model of a real-time object-oriented database system; and (2) development of real-time concurrency control techniques that employ application semantics and imprecision to support enforcement of all of the forms of constraints in a real-time object-oriented database. These forms of constraints are: data object logical consistency constraints, data object temporal consistency constraints, transaction logical consistency constraints, and transaction timing constraints. The concurrency control technique uses a concurrency control component encapsulated within each object that expresses conditional compatibility and semantic locking of object methods. This project implements the semantic real-time concurrency control techniques using a prototype real-time object-oriented database system. The research is useful in real-time control applications with large amounts of time-constrained data, such as: medical intensive care patient monitoring, vehicle control, manufacturing, and programmed stock trading; as well as for introducing a better general paradigm for management of real- time data in complex applications.