CREATE TABLE Employees (Id VARCHAR)
CREATE TABLE Circulation_History (Id VARCHAR)

List all employees in the circulation history of the document with id 1. List the employee's name.
SELECT Employees.employee_name FROM Employees JOIN Circulation_History ON Circulation_History.employee_id = Employees.employee_id WHERE Circulation_History.document_id = 1
SELECT "Employees"."employee_name" FROM "Employees" JOIN "Circulation_History" ON "Circulation_History"."document_id" = 1 AND "Circulation_History"."employee_id" = "Employees"."employee_id"