University of Illinois Urbana-Champaign

A Network Surveillance Mechanism to Support Partitioned Operation in Distributed Database Systems

Kim, Junguk Lawrence

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/69576

Description

Title
A Network Surveillance Mechanism to Support Partitioned Operation in Distributed Database Systems
Author(s)
Kim, Junguk Lawrence
Issue Date
1987
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Computer Science
Abstract
  • Data replication in distributed database systems is designed to achieve high reliability and availability. In case of network partitioning, the mutual consistency of data may become doubtful unless the transaction processing mechanism puts appropriate limits on its operation.
  • To achieve high availability, transactions must be processed despite failures. There are two basic approaches to network partitioning problems, conservative and optimistic. In a conservative approach, no update is allowed unless mutual consistency is guaranteed. An optimistic approach allows transactions to be executed in each partition and the database is reconciled when the partitions are merged. To coordinate the partition merge process correctly, the system must know the partitioning and merging points.
  • In this thesis, we present a new protocol that correctly supports partitioned operation. Basically, the status change surveillance mechanism detects changes in the status of the network and the system reconfiguration mechanism constructs a new network view after a status change is detected and distributes it to all sites in a reliable way. Proofs of correctness, including finite state analysis, are provided for the protocols.
Graduation Semester
1987
Type of Resource
text
Permalink
http://hdl.handle.net/2142/69576

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science