Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases

Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases

p. 1-15

Saved in:
Bibliographic Details
Main Authors: Doan, Van Ban, Nguyen, Huu Ngu, Ho, Van Huong
Format: Article
Language:English
Published: H. : ĐHQGHN 2017
Subjects:
Protocol
Dynamic Adjustment
Databases
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/58394
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English
id oai:112.137.131.14:VNU_123-58394
record_format dspace
spelling oai:112.137.131.14:VNU_123-583942017-09-30T21:11:15Z Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases Doan, Van Ban Nguyen, Huu Ngu Ho, Van Huong Protocol Dynamic Adjustment Databases p. 1-15 In this paper, we apply a formal model of real time database systems using duration calculus (DC) to give specification of the Priority Cailing Protocol with Dynamic Adjustment of Serialization Order (PCP-DA) and a formal proof for the correctness of the PCP-DA using the DC proof system. 2017-08-28T03:06:06Z 2017-08-28T03:06:06Z 2003 Article 2588-1124 http://repository.vnu.edu.vn/handle/VNU_123/58394 en Vol. 19;No. 1 (2003) application/pdf H. : ĐHQGHN
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Protocol
Dynamic Adjustment
Databases
spellingShingle Protocol
Dynamic Adjustment
Databases
Doan, Van Ban
Nguyen, Huu Ngu
Ho, Van Huong
Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases
description p. 1-15
format Article
author Doan, Van Ban
Nguyen, Huu Ngu
Ho, Van Huong
author_facet Doan, Van Ban
Nguyen, Huu Ngu
Ho, Van Huong
author_sort Doan, Van Ban
title Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases
title_short Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases
title_full Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases
title_fullStr Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases
title_full_unstemmed Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases
title_sort formalising priority ceiling protocol with dynamic adjustment of serialization order in real time databases
publisher H. : ĐHQGHN
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/58394
_version_ 1680968419661316096

Similar Items