The document discusses functional dependency and relational decomposition. It defines functional dependency as a relationship between attributes where the left side determines the right side. It describes different types of functional dependencies including trivial, non-trivial, and semi non-trivial. It also explains Armstrong's axioms for deriving additional functional dependencies through inference rules. Finally, it defines relational decomposition as breaking a relation into multiple tables and describes lossless decomposition and dependency preserving decomposition.