Real-time database: semantics and resource scheduling
Tei‐Wei Kuo · 1995
This dissertation examines issues related to real-time database systems that must preserve data consistency and enforce timing constraints on data accesses. In particular, I provide a rigorous semantic basis for the correctness of concurrency control of real-time data accesses, discuss a framework and algorithms for load adjustment to accommodate dynamic real-time systems, describe efficient data-access policies which exploit a similarity relation over data objects, and present a distributed real-time data-access interface. These results enable the engineering of predictable real-time applications involving high-speed communication, information access, and multimedia.