Assessments Implementing Complex Algorithms
Database Design Theory involve learning complex (non-deterministic), multi-staged algorithms for enhancing the design of a database. We developed several algorithms that generate a random problem and explore all its possible solutions. These algorithms allowed us to provide students with auto-generated and randomized assessments that can be configured to increase or decrease the problem difficulty.
Functional Dependencies: Attribute Closure

Functional Dependencies: Finding the set of candidate keys

Boyce-Codd Normal Form (BCNF) and Third Normal Form (3NF)
BCNF Example:

3NF Example:

Transaction Management: Isolation Levels

Transaction Management: Two-Phase Locking Protocols
