This project implements several core database design operations, including checking functional dependencies (FDs), computing attribute closures, identifying BCNF violations, and performing BCNF ...