PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM

Numerous studies have been conducted to develop concurrency control schemes that can be applied to client-server systems, such as the Extended Serial Graph-Validation Queue (SG-VQ) scheme. Extended SG-VQ is a control concurrency scheme in client-server system which implements object caching on the c...

Full description

Saved in:
Bibliographic Details
Published in:BAREKENG: Jurnal Ilmu Matematika dan Terapan Vol. 18; no. 2; pp. 1359 - 1368
Main Authors: Salsabila, Fitra Nuvus, Bukhari, Fahren, Nurdiati, Sri
Format: Journal Article
Language:English
Published: Universitas Pattimura 01.06.2024
Subjects:
client-server
concurrency control
graph
locking
serializability
ISSN:1978-7227, 2615-3017
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Numerous studies have been conducted to develop concurrency control schemes that can be applied to client-server systems, such as the Extended Serial Graph-Validation Queue (SG-VQ) scheme. Extended SG-VQ is a control concurrency scheme in client-server system which implements object caching on the client side and locking strategy on the server side. This scheme employs validation algorithms based on queues on the client side and graphs on the server side. This research focuses on the mathematical analysis of the correctness of the Extended SG-VQ scheme using serializability as the criterion that needs to be achieved. Implementing a cycle-free transaction graph is a necessary and sufficient condition to achieve serializability. In this research, the serializability of the Extended SG-VQ scheme has been proven through the exposition of ten definitions, two propositions, three lemmas, and one theorem.
ISSN:1978-7227
2615-3017
DOI:10.30598/barekengvol18iss2pp1359-1368