I used Azure to create a database. I used Azure Data Studio and https://github.com/R0tenur/visualization to create the Entity Relationship Diagram / Relational Model (?) below.

Are the object-oriented tables in this database in Third Normal Form (3NF)?

According to Beginning Database Design Solutions by Rod Stephens (2008) Chapter 7. Normalizing Data, the main criteria that distinguishes a table in Second Normal Form from a version of that table in 3NF is that the table

contains no transitive dependencies. A transitive dependency is when one non-key field’s value depends on another non-key field’s value.

In table instructors does column is_current_employee depend on column name?