DHF Correctness and Constraints

Lecture 18 addresses the formal correctness verification and integrity constraints governing Derived Horizontal Fragmentation. Students explore how completeness, reconstruction, and disjointness apply to derived partitions. Completeness and disjointness in DHF rely heavily on the referential integrity of foreign key relationships: if a member tuple contains a null foreign key or references a nonexistent owner key (dangling tuple), it may be omitted from all derived fragments, violating completeness. The lecture details how referential integrity constraints guarantee that derived fragments are mutually disjoint and collectively exhaustive. Techniques for handling multi-owner relationships—where a member relation is linked to multiple parent relations—and resolving cyclic derived fragmentation dependencies are analyzed. Timestamp-ordering concurrency control mechanisms illustrate how physical and logical timestamps enforce serial ordering without deadlock vulnerability. Multi-version and conservative timestamp ordering algorithms are analyzed for read-heavy workloads and long-duration distributed transactions. Distributed query processing lifecycles trace query decomposition, algebraic normalization, semantic analysis, and elimination of redundant operations. Data localization algorithms transform global algebraic operator trees into localized fragment queries using relational reduction rules. Heuristic query optimization techniques illustrate how selection and projection operations are pushed down close to local physical fragments. Cost-based query optimization models analyze CPU overhead, disk page access costs, and communication network transmission delays. Distributed join optimization strategies contrast broadcast joins, partitioned hash joins, and semi-join reducers like the SDD-1 algorithm. Distributed reliability architectures examine failure classifications, including transaction aborts, site crashes, and network partitioning anomalies. Atomic commitment protocols, notably Two-Phase Commit (2PC) and Three-Phase Commit (3PC), are demonstrated with formal state transition diagrams. Parallel database system architectures, spanning Shared-Memory, Shared-Disk, and Shared-Nothing topologies, are contrasted for speedup and scaleup performance. Parallel data placement techniques, including round-robin, hash partitioning, and range partitioning, illustrate workload balancing across processing nodes. Parallel join algorithms evaluate parallel nested-loop, associative, and parallel hash join executions in high-throughput query environments. Distributed Object-Oriented Database Management Systems (OODBMS) explore object identity, encapsulation, complex object hierarchies, and pointer swizzling. Client-server and page-server architectures in distributed OODBMS are analyzed for cache coherence, client caching, and transaction synchronization.