-- Database schema
| Ref_Document_Types : document_type_code [ TEXT ] primary_key , document_type_description [ TEXT ] | Roles : role_code [ TEXT ] primary_key , role_description [ TEXT ] | Addresses : address_id [ INT ] primary_key , address_details [ TEXT ] | Ref_Document_Status : document_status_code [ TEXT ] primary_key , document_status_description [ TEXT ] | Ref_Shipping_Agents : shipping_agent_code [ TEXT ] primary_key , shipping_agent_name [ TEXT ] , shipping_agent_description [ TEXT ] | Documents : document_id [ INT ] primary_key , document_status_code [ TEXT ] Documents.document_status_code = Ref_Document_Status.document_status_code , document_type_code [ TEXT ] Documents.document_type_code = Ref_Document_Types.document_type_code , shipping_agent_code [ TEXT ] Documents.shipping_agent_code = Ref_Shipping_Agents.shipping_agent_code , receipt_date [ TEXT ] , receipt_number [ TEXT ] , other_details [ TEXT ] | Employees : employee_id [ INT ] primary_key , role_code [ TEXT ] Employees.role_code = Roles.role_code , employee_name [ TEXT ] , other_details [ TEXT ] | Document_Drafts : document_id [ INT ] primary_key Document_Drafts.document_id = Documents.document_id , draft_number [ INT ] , draft_details [ TEXT ] | Draft_Copies : document_id [ INT ] primary_key Draft_Copies.document_id = Document_Drafts.document_id , draft_number [ INT ] Draft_Copies.draft_number = Document_Drafts.draft_number , copy_number [ INT ] | Circulation_History : document_id [ INT ] primary_key Circulation_History.document_id = Draft_Copies.document_id , draft_number [ INT ] Circulation_History.draft_number = Draft_Copies.draft_number , copy_number [ INT ] Circulation_History.copy_number = Draft_Copies.copy_number , employee_id [ INT ] Circulation_History.employee_id = Employees.employee_id | Documents_Mailed : document_id [ INT ] primary_key Documents_Mailed.document_id = Documents.document_id , mailed_to_address_id [ INT ] Documents_Mailed.mailed_to_address_id = Addresses.address_id , mailing_date [ TEXT ] |
-- -- 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;