CREATE TABLE Participates_in (stuid INT, actid INT)
CREATE TABLE Faculty (FacID INT, Lname VARCHAR, Fname VARCHAR, Rank VARCHAR, Sex VARCHAR, Phone INT, Room VARCHAR, Building VARCHAR)
CREATE TABLE Student (StuID INT, LName VARCHAR, Fname VARCHAR, Age INT, Sex VARCHAR, Major INT, Advisor INT, city_code VARCHAR)
CREATE TABLE Activity (actid INT, activity_name VARCHAR)
CREATE TABLE Faculty_Participates_in (FacID INT, actid INT)

I want to know the proportion of faculty members for each sex.
SELECT Sex, COUNT(*) FROM Faculty GROUP BY Sex
SELECT "Sex", COUNT(*) FROM "Faculty" GROUP BY "Sex"