Introduction to Distributed Systems – Primitives for Distributed Communication – Design Challenges – Distributed Systems like Models for Distributed Computations – Overview of Distributed Databases -Structure of Distributed Databases. Virtual Time in Distributed System: Logical Time - Scalar Time – Vector Time Lamport's Algorithm – Case Study -Logical Clocks in Riak - Global and Snapshot Recording Algorithms – Model - Snapshot Algorithms for FIFO Channels - Chandy–Lamport Algorithm – Snapshot Algorithms for Non FIFO Channels. Message Ordering And Group Communication - Message Ordering Paradigms – Asynchronous anSynchronous Execution - Causal Order – Total Order – Group Communication – Case Study (Horus , Totem) –Distributed Multicast Algorithms. Distributed Mutual Exclusion: Lamports Algorithm -Ricart– Agrawala Algorithm - Quorum-based Mutual Exclusion Algorithms. Deadlock Detection : Models of Deadlock – Classification of Deadlock Detection Algorithms -Mitchell and Merritt’s algorithm for the Single Resource Model - Chandy–Misra–Haas Algorithm For The AND/OR Model. Consensus and Agreement Algorithms and Failure Detection - Agreement in Failure Free Systems and Systems with Failures –The Consensus Problem – Byzantine Fault Tolerance. Case Study : Condor. Distributed
Database Design: Design Strategies - Design issues - Fragmentation and Allocation. Semantic Data Control: View Management Distributed Query Processing: Overview of Query Processing – Transforming Global Queries to Fragment Queries - Query Decomposition - Localization of Distributed data. Distributed Transaction Processing and Concurrency Control – 2PC -3PC.