aherntech/sparc huggingface dataset:
Database: store_1
Question sequence:
Show the employee information on employee with name Nancy Edwards!
Show just her email!
Actually show just her phone!
SQL query sequence:
SELECT * FROM employees WHERE first_name = "Nancy" AND last_name = "Edwards";
SELECT email FROM employees WHERE first_name = "Nancy" AND last_name = "Edwards";
SELECT phone FROM employees WHERE first_name = "Nancy" AND last_name = "Edwards";
Final question: What is employee Nancy Edwards's phone number?
Final SQL: SELECT phone FROM employees WHERE first_name = "Nancy" AND last_name = "Edwards";
Database: store_1
Question sequence:
Show all the employe information ordered by oldest to youngest!
Just show the birthdate of the oldest!
How about that of the youngest!
What is the youngest's name?
SQL query sequence:
SELECT * FROM employees ORDER BY birth_date ASC;
SELECT birth_date FROM employees ORDER BY birth_date ASC LIMIT 1;
SELECT birth_date FROM employees ORDER BY birth_date DESC LIMIT 1;
SELECT first_name , last_name FROM employees ORDER BY birth_date DESC LIMIT 1;
Final question: Who is the youngest employee in the company? List employee's first and last name.
Final SQL: SELECT first_name , last_name FROM employees ORDER BY birth_date DESC LIMIT 1;
Database: store_1
Question sequence:
What is the name of the most recent employee?
How about the first employee?
How about the most recent 10 most recent employees?
List first 10 employees!
SQL query sequence:
SELECT first_name , last_name FROM employees ORDER BY hire_date ASC LIMIT 1;
SELECT first_name , last_name FROM employees ORDER BY hire_date DESC LIMIT 1;
SELECT first_name , last_name FROM employees ORDER BY hire_date DESC LIMIT 10;
SELECT first_name , last_name FROM employees ORDER BY hire_date ASC LIMIT 10;
Final question: List top 10 employee work longest in the company. List employee's first and last name.
Final SQL: SELECT first_name , last_name FROM employees ORDER BY hire_date ASC LIMIT 10;
Database: store_1
Question sequence:
Show all the different cities that employees are from.
How many are from each one!
How many are of the title Sales Support Agent?
How about IT Staff?
SQL query sequence:
SELECT distinct city FROM employees
SELECT count(*) ,  city FROM employees GROUP BY city
SELECT count(*) ,  city FROM employees WHERE title  =  'Sales Support Agent' GROUP BY city
SELECT count(*) ,  city FROM employees WHERE title  =  'IT Staff' GROUP BY city
Final question: Find the number of employees whose title is IT Staff from each city?
Final SQL: SELECT count(*) ,  city FROM employees WHERE title  =  'IT Staff' GROUP BY city
Database: store_1
Question sequence:
What are the name of the employees that do not manage any other employees?
Show me all the names of all the others!
Who manages the max number of people?
Also provide the number of people managed!
SQL query sequence:
SELECT first_name, last_name from employees where id in (select id from employees except select reports_to from employees)
SELECT T2.first_name , T2.last_name ,  count(T1.reports_to) FROM employees AS T1 JOIN employees AS T2 ON T1.reports_to = T2.id;
SELECT T2.first_name , T2.last_name FROM employees AS T1 JOIN employees AS T2 ON T1.reports_to = T2.id GROUP BY T1.reports_to ORDER BY count(T1.reports_to) DESC LIMIT 1;
SELECT T2.first_name , T2.last_name ,  count(T1.reports_to) FROM employees AS T1 JOIN employees AS T2 ON T1.reports_to = T2.id GROUP BY T1.reports_to ORDER BY count(T1.reports_to) DESC LIMIT 1;
Final question: Which employee manage most number of peoples? List employee's first and last name, and number of people report to that employee.
Final SQL: SELECT T2.first_name , T2.last_name ,  count(T1.reports_to) FROM employees AS T1 JOIN employees AS T2 ON T1.reports_to = T2.id GROUP BY T1.reports_to ORDER BY count(T1.reports_to) DESC LIMIT 1;
Database: store_1
Question sequence:
For all the invoices, show the invoice ids and customer ids!
How many have each customer ordered!
Show their names for each!
Show the number for customer named Lucas Mancini!
SQL query sequence:
SELECT id, customer_id FROM invoices;
SELECT T1.id, count(*) FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id group by T1.id;
SELECT T1.first_name, T1.last_name, T1.id, count(*) FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id group by T1.id;
SELECT count(*) FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id WHERE T1.first_name = "Lucas" AND T1.last_name = "Mancini";
Final question: How many orders does Lucas Mancini has?
Final SQL: SELECT count(*) FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id WHERE T1.first_name = "Lucas" AND T1.last_name = "Mancini";
Database: store_1
Question sequence:
Show the number of orders for each customer name!
Also include the total amount each has spent!
Show the entry for customer named Lucas Mancini.
Actually, just show the total amount of money!
SQL query sequence:
SELECT count(*), T1.first_name, T1.last_name FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id group by T1.id;
SELECT sum(T2.total), count(*), T1.first_name, T1.last_name FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id group by T1.id;
SELECT sum(T2.total), count(*), T1.first_name, T1.last_name FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id WHERE T1.first_name = "Lucas" AND T1.last_name = "Mancini";
SELECT sum(T2.total) FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id WHERE T1.first_name = "Lucas" AND T1.last_name = "Mancini";
Final question: What is the total amount of money spent by Lucas Mancini?
Final SQL: SELECT sum(T2.total) FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id WHERE T1.first_name = "Lucas" AND T1.last_name = "Mancini";
Database: store_1
Question sequence:
For each track, show the track name and album name!
Also include the genre name !
Show just the ones of the genre named Rock!
Show just the track names!
SQL query sequence:
SELECT T1.name, T2.title  FROM tracks AS T1 JOIN albums AS T2 ON T1.album_id = T2.id;
SELECT T3.name, T1.name, T2.title  FROM tracks AS T1 JOIN albums AS T2 ON T1.album_id = T2.id join genres as T3 on T1.genre_id = T3.id;
SELECT T3.name, T1.name, T2.title  FROM tracks AS T1 JOIN albums AS T2 ON T1.album_id = T2.id join genres as T3 on T1.genre_id = T3.id WHERE T3.name = "Rock";
SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.name = "Rock";
Final question: What is the name of tracks whose genre is Rock?
Final SQL: SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.name = "Rock";
Database: store_1
Question sequence:
Who is the composer for track named "Balls to the Wall";
How long is it?
How about its price?
the title of the album it belongs to?
SQL query sequence:
SELECT composer FROM tracks where name = "Balls to the Wall";
SELECT milliseconds FROM tracks where name = "Balls to the Wall";
SELECT unit_price FROM tracks where name = "Balls to the Wall";
SELECT T1.title FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.album_id WHERE T2.name = "Balls to the Wall";
Final question: What is title of album which track Balls to the Wall belongs to?
Final SQL: SELECT T1.title FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.album_id WHERE T2.name = "Balls to the Wall";
Database: store_1
Question sequence:
What are all the album names and respective track names?
Show them ordered by album name!
Show just the track names for album called "Balls to the Wall"
SQL query sequence:
SELECT T1.title, T2.name FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id;
SELECT T1.title, T2.name FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id order by T1.title;
SELECT T2.name FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.title = "Balls to the Wall";
Final question: List name of all tracks in Balls to the Wall.
Final SQL: SELECT T2.name FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.title = "Balls to the Wall";
Database: store_1
Question sequence:
How many have greater than 5?
greater than 10?
What are their titles?
SQL query sequence:
Select count(*) from (SELECT * FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.album_id GROUP BY T1.id HAVING count(T1.id)  >  15);
Select count(*) from (SELECT * FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.album_id GROUP BY T1.id HAVING count(T1.id)  >  10);
SELECT T1.title FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.album_id GROUP BY T1.id HAVING count(T1.id)  >  10;
Final question: List title of albums have the number of tracks greater than 10.
Final SQL: SELECT T1.title FROM albums AS T1 JOIN tracks AS T2 ON T1.id = T2.album_id GROUP BY T1.id HAVING count(T1.id)  >  10;
Database: store_1
Question sequence:
Show me all the tracks names and their media types!
Which ones are MPEG files?
Also provide the genres for each of these!!
Which names of the ones are in the genre Rock?
SQL query sequence:
SELECT T1.name, T2.name FROM tracks AS T1 JOIN media_types AS T2 ON T2.id = T1.media_type_id;
SELECT T1.name, T2.name FROM tracks AS T1 JOIN media_types AS T2 ON T2.id = T1.media_type_id WHERE T2.name = "MPEG audio file";
SELECT T1.name, T2.name, T3.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id JOIN media_types AS T3 ON T3.id = T2.media_type_id WHERE T3.name = "MPEG audio file";
SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id JOIN media_types AS T3 ON T3.id = T2.media_type_id WHERE T1.name = "Rock" AND T3.name = "MPEG audio file";
Final question: List the name of tracks belongs to genre Rock and whose media type is MPEG audio file.
Final SQL: SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id JOIN media_types AS T3 ON T3.id = T2.media_type_id WHERE T1.name = "Rock" AND T3.name = "MPEG audio file";
Database: store_1
Question sequence:
Show the names of each track and their genre names!
Show me the names of the tracks that are in the genre Rock!
Show me any names of tracks whose media type is an MPEG audio file!
Can you show a list of both of these names?
SQL query sequence:
SELECT T1.name, T2.name FROM tracks AS T1 JOIN genres AS T2 ON T1.genre_id = T2.id;
SELECT T1.name FROM tracks AS T1 JOIN genres AS T2 ON T1.genre_id = T2.id where T2.name  = "Rock";
SELECT T1.name FROM tracks AS T1 JOIN media_types AS T2 ON T2.id = T1.media_type_id WHERE T2.name = "MPEG audio file";
SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id JOIN media_types AS T3 ON T3.id = T2.media_type_id WHERE T1.name = "Rock" OR T3.name = "MPEG audio file";
Final question: List the name of tracks belongs to genre Rock or media type is MPEG audio file.
Final SQL: SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id JOIN media_types AS T3 ON T3.id = T2.media_type_id WHERE T1.name = "Rock" OR T3.name = "MPEG audio file";
Database: store_1
Question sequence:
What genre names for each track by track name!
Show us all the tracks that belong to genre Rock.
How about those that belong to genre Jazz.
Which ones belong to either one?
SQL query sequence:
SELECT T1.name, T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.name = "Rock"
SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.name = "Rock"
SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.name = "Jazz"
SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.name = "Rock" OR T1.name = "Jazz"
Final question: List the name of tracks belongs to genre Rock or genre Jazz.
Final SQL: SELECT T2.name FROM genres AS T1 JOIN tracks AS T2 ON T1.id = T2.genre_id WHERE T1.name = "Rock" OR T1.name = "Jazz"
Database: store_1
Question sequence:
How many tracks are there?
How many are in a playlist of a Movie?
Which ones ?
SQL query sequence:
Select count(*) from tracks;
SELECT count(*) FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id = T2.track_id JOIN playlists AS T3 ON T3.id = T2.playlist_id WHERE T3.name = "Movies";
SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id = T2.track_id JOIN playlists AS T3 ON T3.id = T2.playlist_id WHERE T3.name = "Movies";
Final question: List the name of all tracks in the playlists of Movies.
Final SQL: SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id = T2.track_id JOIN playlists AS T3 ON T3.id = T2.playlist_id WHERE T3.name = "Movies";
Database: store_1
Question sequence:
What are the names of all the playlist?
For each, what are the names of their tracks?
For each playlist name, count the number of tracks!
Show the only the names of the playlists with more than 100!
SQL query sequence:
Select name from playlists;
SELECT T3.name, T2.name FROM playlist_tracks AS T1 JOIN playlists AS T2 ON T2.id = T1.playlist_id JOIN tracks as T3 on T1.track_id = T3.id;
SELECT T2.name, count(T1.track_id) FROM playlist_tracks AS T1 JOIN playlists AS T2 ON T2.id = T1.playlist_id GROUP BY T1.playlist_id;
SELECT T2.name FROM playlist_tracks AS T1 JOIN playlists AS T2 ON T2.id = T1.playlist_id GROUP BY T1.playlist_id HAVING count(T1.track_id)  >  100;
Final question: List the name of playlist which has number of tracks greater than 100.
Final SQL: SELECT T2.name FROM playlist_tracks AS T1 JOIN playlists AS T2 ON T2.id = T1.playlist_id GROUP BY T1.playlist_id HAVING count(T1.track_id)  >  100;
Database: store_1
Question sequence:
Show me the customer information about a customer named Daan Peeters.
How many invoices has he had?
In each invoice, how many tracks did he buy?
Can you show just all the names of these tracks!
SQL query sequence:
Select * from customers where first_name = "Daan" and last_name = "Peeters";
SELECT count(*) FROM customers AS T1 JOIN invoices AS T2 ON T1.id = T2.customer_id  WHERE T1.first_name = "Daan" AND T1.last_name = "Peeters";
SELECT T2.id, count(*) FROM invoice_lines AS T1 JOIN invoices AS T2 ON T2.id = T1.invoice_id JOIN customers AS T3 ON T3.id = T2.customer_id  WHERE T3.first_name = "Daan" AND T3.last_name = "Peeters" group by T2.id;
SELECT T1.name FROM tracks AS T1 JOIN invoice_lines AS T2 ON T1.id = T2.track_id JOIN invoices AS T3 ON T3.id = T2.invoice_id JOIN customers AS T4 ON T4.id = T3.customer_id WHERE T4.first_name = "Daan" AND T4.last_name = "Peeters";
Final question: List all tracks bought by customer Daan Peeters.
Final SQL: SELECT T1.name FROM tracks AS T1 JOIN invoice_lines AS T2 ON T1.id = T2.track_id JOIN invoices AS T3 ON T3.id = T2.invoice_id JOIN customers AS T4 ON T4.id = T3.customer_id WHERE T4.first_name = "Daan" AND T4.last_name = "Peeters";
Database: store_1
Question sequence:
What different types of playlists are there?
What are the names of the tracks are in the movie playlist?
Which of these are also in the music playl
How about those that are not!
SQL query sequence:
Select name from playlists
SELECT T1.name, T3.name from tracks as T1 join playlist_tracks as T2 on T1.id = T2.track_id join playlists as T3 on T2.playlist_id = T3.id WHERE T3.name  =  'Movies'
SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Movies' INTERSECT SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Music';
SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Movies' EXCEPT SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Music';
Final question: Find the name of tracks which are in Movies playlist but not in music playlist.
Final SQL: SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Movies' EXCEPT SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Music'
Database: store_1
Question sequence:
How many different playlist are there?
What are they?
What are the tracks in each one?
What are the names of the ones are in both Movies and music!
SQL query sequence:
Select count(*) from playlists;
Select name from playlists;
Select T1.name, T3.name from tracks as T1 join playlist_tracks as T2 on T1.id = T2.track_id join playlists as T3 on T2.playlist_id = T3.id;
SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Movies' INTERSECT SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Music'
Final question: Find the name of tracks which are in both Movies and music playlists.
Final SQL: SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Movies' INTERSECT SELECT T1.name FROM tracks AS T1 JOIN playlist_tracks AS T2 ON T1.id  =  T2.track_id JOIN playlists AS T3 ON T2.playlist_id  =  T3.id WHERE T3.name  =  'Music'
Database: protein_institute
Question sequence:
What are the heights of buildings?
give the max.
What is its name?
SQL query sequence:
SELECT height_feet from building
SELECT max(height_feet) from building
SELECT name FROM building ORDER BY height_feet DESC LIMIT 1
Final question: What is the name of the tallest building?
Final SQL: SELECT name FROM building ORDER BY height_feet DESC LIMIT 1
Database: protein_institute
Question sequence:
How many floors does each building name have?
What is the average?
Give statistics about the avg, max, and min.
SQL query sequence:
SELECT name, floors from building
SELECT avg(floors) FROM building
SELECT avg(floors) ,  max(floors) ,  min(floors) FROM building
Final question: What are the average, maximum, and minimum number of floors for all buildings?
Final SQL: SELECT avg(floors) ,  max(floors) ,  min(floors) FROM building
Database: protein_institute
Question sequence:
How many buildings have height abouve average?
What about floors above average?
Give the union of the above.
SQL query sequence:
SELECT count(*) FROM building WHERE height_feet  >  (SELECT avg(height_feet) FROM building)
SELECT count(*) FROM building WHERE height_feet  >  (SELECT avg(floors) FROM building)
SELECT count(*) FROM building WHERE height_feet  >  (SELECT avg(height_feet) FROM building) OR floors  >  (SELECT avg(floors) FROM building)
Final question: Show the number of buildings with a height above the average or a number of floors above the average.
Final SQL: SELECT count(*) FROM building WHERE height_feet  >  (SELECT avg(height_feet) FROM building) OR floors  >  (SELECT avg(floors) FROM building)
Database: protein_institute
Question sequence:
Which buildings are taller than 200?
Which have floors greater or equal to 20?
Intersect those.
SQL query sequence:
SELECT name FROM building WHERE height_feet  >=  200
SELECT name FROM building WHERE floors  >=  20
SELECT name FROM building WHERE height_feet  >=  200 AND floors  >=  20
Final question: List the names of buildings with at least 200 feet of height and with at least 20 floors.
Final SQL: SELECT name FROM building WHERE height_feet  >=  200 AND floors  >=  20
Database: protein_institute
Question sequence:
What are the names and founded dates for the institutions?
Also show the private/public status.
Show the names and locations of institutions that are founded after 1990 and have the type "Private".
SQL query sequence:
SELECT institution, founded from institution
SELECT institution, founded, type from institution
SELECT institution ,  LOCATION FROM institution WHERE founded  >  1990 AND TYPE  =  'Private'
Final question: Show the names and locations of institutions that are founded after 1990 and have the type "Private".
Final SQL: SELECT institution ,  LOCATION FROM institution WHERE founded  >  1990 AND TYPE  =  'Private'
Database: protein_institute
Question sequence:
What are the unique types of institution?
Count those.
Also sum over enrollment.
SQL query sequence:
SELECT distinct type from institution
SELECT TYPE, count(*) FROM institution GROUP BY TYPE
SELECT TYPE ,  count(*) ,  sum(enrollment) FROM institution GROUP BY TYPE
Final question: Show institution types, along with the number of institutions and total enrollment for each type.
Final SQL: SELECT TYPE ,  count(*) ,  sum(enrollment) FROM institution GROUP BY TYPE
Database: protein_institute
Question sequence:
How many institutions have type Tribal?
Show the institution type with the largest number of institutions.
SQL query sequence:
SELECT count(*) FROM institution WHERE type = 'Tribal'
SELECT TYPE FROM institution GROUP BY TYPE ORDER BY count(*) DESC LIMIT 1
Final question: Show the institution type with the largest number of institutions.
Final SQL: SELECT TYPE FROM institution GROUP BY TYPE ORDER BY count(*) DESC LIMIT 1
Database: protein_institute
Question sequence:
Which institutions were founded after 1990?
What are their types?
Show the institution type with an institution founded after 1990 and an institution with at least 1000 enrollment.
SQL query sequence:
SELECT institution FROM institution WHERE founded  >  1990
SELECT institution, type FROM institution WHERE founded  >  1990
SELECT TYPE FROM institution WHERE founded  >  1990 AND enrollment  >=  1000
Final question: Show the institution type with an institution founded after 1990 and an institution with at least 1000 enrollment.
Final SQL: SELECT TYPE FROM institution WHERE founded  >  1990 AND enrollment  >=  1000
Database: protein_institute
Question sequence:
which building ids have an institution?
Which do not?
Give just their names.
SQL query sequence:
SELECT DISTINCT building_id FROM institution
SELECT building_id FROM building WHERE building_id NOT IN (SELECT building_id FROM institution)
SELECT name FROM building WHERE building_id NOT IN (SELECT building_id FROM institution)
Final question: Show the name of buildings that do not have any institution.
Final SQL: SELECT name FROM building WHERE building_id NOT IN (SELECT building_id FROM institution)
Database: protein_institute
Question sequence:
Which institutions were founded in 2003?
What are the corresponding building ids?
What are the names of these buildings?
Which building names are not in there?
SQL query sequence:
SELECT institution from institution WHERE founded = 2003
SELECT building_id from institution WHERE founded = 2003
SELECT T1.name FROM building AS T1 JOIN institution AS T2 ON T1.building_id  =  T2.building_id WHERE T2.founded  =  2003
SELECT name FROM building EXCEPT SELECT T1.name FROM building AS T1 JOIN institution AS T2 ON T1.building_id  =  T2.building_id WHERE T2.founded  =  2003
Final question: Show the names of buildings except for those having an institution founded in 2003.
Final SQL: SELECT name FROM building EXCEPT SELECT T1.name FROM building AS T1 JOIN institution AS T2 ON T1.building_id  =  T2.building_id WHERE T2.founded  =  2003
Database: protein_institute
Question sequence:
How many institutions are in Citizens Bank Building?
Generalize this process for all buildings.
SQL query sequence:
SELECT  count(*) FROM building AS T1 JOIN institution AS T2 ON T1.building_id  =  T2.building_id GROUP BY T1.building_id HAVING T1.name = 'Citizens Bank Building'
SELECT T1.name ,  count(*) FROM building AS T1 JOIN institution AS T2 ON T1.building_id  =  T2.building_id GROUP BY T1.building_id
Final question: For each building, show the name of the building and the number of institutions in it.
Final SQL: SELECT T1.name ,  count(*) FROM building AS T1 JOIN institution AS T2 ON T1.building_id  =  T2.building_id GROUP BY T1.building_id