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