Mutual consistency in real-time databases
DSpace at IIT Bombay
View Archive InfoField | Value | |
Title |
Mutual consistency in real-time databases
|
|
Creator |
JHA, AK
XIONG, M RAMAMRITHAM, K |
|
Subject |
temporal consistency
transactions |
|
Description |
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The freshness of these objects is maintained by update transactions that sample the real world entities. The literature proposes various ways to derive a schedule of transactions that preserves the freshness (also known as absolute consistency) of these objects. But these approaches do not take care of the mutual consistency of the objects, i.e., whether together they represent a logical state of the System. We investigate the problem of checking whether given an update transaction schedule, a periodic query would be able to read mutually consistent values. We propose solutions for both single- and multiple-query cases in the presence of non-preemptable query executions. Specifically, we first investigate formulas that give the maximal value of mutual gaps among a set of data read at a certain point in time. (A mutual gap for two object values read from the database refers to the difference between the times at which the two objects were updated.) We then propose design approaches to (1) decide the period and relative deadline of a query so that it would guarantee mutual consistency; (2) decide if a given set of queries with relative deadlines and periods can guarantee mutual consistency. Finally, we suggest ways of reducing the complexity of our proposed approaches for both harmonic periods and general cases.
|
|
Publisher |
IEEE COMPUTER SOC
|
|
Date |
2011-10-25T03:00:19Z
2011-12-15T09:11:25Z 2011-10-25T03:00:19Z 2011-12-15T09:11:25Z 2006 |
|
Type |
Proceedings Paper
|
|
Identifier |
27th IEEE International Real-Time Systems Symposium, Proceedings,335-343
978-0-7695-2761-1 1052-8725 http://dx.doi.org/10.1109/RTSS.2006.30 http://dspace.library.iitb.ac.in/xmlui/handle/10054/15582 http://hdl.handle.net/100/2053 |
|
Source |
27th IEEE International Real-Time Systems Symposium,Rio de Janeiro, BRAZIL,DEC 05-08, 2006
|
|
Language |
English
|
|