This document discusses key concepts in distributed database systems including relational algebra operators, Cartesian products, joins, theta joins, equi-joins, semi-joins, horizontal fragmentation, derived horizontal fragmentation, and ensuring correctness through completeness, reconstruction, and disjointness of fragmentations. Horizontal fragmentations can be primary, defined directly on a relation, or derived, defined on a relation based on the fragmentation of another related relation it joins with. Ensuring correctness of fragmentations involves checking they are complete, the global relation can be reconstructed from fragments, and fragments are disjoint.