António Casimiro

TACID Transactions

Marco Vieira, António Casimiro and Henrique Madeira

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep-05), Yokohama, Japan, June 2005


Abstract

Developing database applications with timeliness requirements is a difficult problem. During the execution of transactions, database applications with timeliness requirements have to deal with the possible occurrence of timing failures, when the operations specified in the transaction do not complete within the expected deadlines. In spite of the importance of timeliness requirements in database applications, database management systems (DBMS) do not assure any temporal property, not even the detection of the cases when the transaction takes longer than the expected/desired time. Our goal is to investigate ways to add timeliness properties to the typical ACID (Atomicity, Consistency, Isolation, and Durability) properties supported by most DBMS.

BibTeX


@inproceedings{Vieira:05a,
  author       = "Vieira, M. and Casimiro, A. and Madeira, H.",
  title        = "{TACID} Transactions",
  booktitle    = "Proceedings of the IEEE/IFIP International Conference on Dependable
                  Systems and Networks, 1st Workshop on Hot Topics in System
                  Dependability (HotDep-05)",
  year         = "2005",
  abstractURL  = "http://www.di.fc.ul.pt/~casim/papers/hotdep05/hotdep05.html",
  documentURL  = "http://www.di.fc.ul.pt/~casim/papers/hotdep05/hotdep05.pdf",
  pages        = "293--298",
  publisher    = "IEEE Computer Society Press",
  address      = "Yokohama, Japan",
  month        = jun
}

Paper

Download paper