richardr1126/spider-context-instruct huggingface dataset:
### Instruction:

Convert text to sql: What are the durations of the longest and the shortest tracks in milliseconds? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select max ( milliseconds ) , min ( milliseconds ) from track

### Instruction:

Convert text to sql: Find the maximum and minimum durations of tracks in milliseconds. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select max ( milliseconds ) , min ( milliseconds ) from track
### Instruction:

Convert text to sql: Show the album names, ids and the number of tracks for each album. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select album.title , track.albumid , count ( * ) from album join track on album.albumid = track.albumid group by track.albumid

### Instruction:

Convert text to sql: What are the names and ids of the different albums, and how many tracks are on each? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select album.title , track.albumid , count ( * ) from album join track on album.albumid = track.albumid group by track.albumid
### Instruction:

Convert text to sql: What is the name of the most common genre in all tracks? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select genre.name from genre join track on genre.genreid = track.genreid group by track.genreid order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: Find the name of the genre that is most frequent across all tracks. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select genre.name from genre join track on genre.genreid = track.genreid group by track.genreid order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What is the least common media type in all tracks? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select mediatype.name from mediatype join track on mediatype.mediatypeid = track.mediatypeid group by track.mediatypeid order by count ( * ) asc limit 1

### Instruction:

Convert text to sql: What is the name of the media type that is least common across all tracks? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select mediatype.name from mediatype join track on mediatype.mediatypeid = track.mediatypeid group by track.mediatypeid order by count ( * ) asc limit 1
### Instruction:

Convert text to sql: Show the album names and ids for albums that contain tracks with unit price bigger than 1. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select album.title , track.albumid from album join track on album.albumid = track.albumid where track.unitprice > 1 group by track.albumid

### Instruction:

Convert text to sql: What are the titles and ids for albums containing tracks with unit price greater than 1? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select album.title , track.albumid from album join track on album.albumid = track.albumid where track.unitprice > 1 group by track.albumid
### Instruction:

Convert text to sql: How many tracks belong to rock genre? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select count ( * ) from genre join track on genre.genreid = track.genreid where genre.name = 'Rock'

### Instruction:

Convert text to sql: Count the number of tracks that are part of the rock genre. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select count ( * ) from genre join track on genre.genreid = track.genreid where genre.name = 'Rock'
### Instruction:

Convert text to sql: What is the average unit price of tracks that belong to Jazz genre? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select avg ( unitprice ) from genre join track on genre.genreid = track.genreid where genre.name = 'Jazz'

### Instruction:

Convert text to sql: Find the average unit price of jazz tracks. | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select avg ( unitprice ) from genre join track on genre.genreid = track.genreid where genre.name = 'Jazz'
### Instruction:

Convert text to sql: What is the first name and last name of the customer that has email "luisg@embraer.com.br"? | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select firstname , lastname from customer where email = 'luisg@embraer.com.br'

### Instruction:

Convert text to sql: Find the full name of the customer with the email "luisg@embraer.com.br". | album : albumid , title , artistid | artist : artistid , name | customer : customerid , firstname , lastname , company , address , city , state , country , postalcode , phone , fax , email , supportrepid | employee : employeeid , lastname , firstname , title , reportsto , birthdate , hiredate , address , city , state , country , postalcode , phone , fax , email | genre : genreid , name | invoice : invoiceid , customerid , invoicedate , billingaddress , billingcity , billingstate , billingcountry , billingpostalcode , total | invoiceline : invoicelineid , invoiceid , trackid , unitprice , quantity | mediatype : mediatypeid , name | playlist : playlistid , name | playlisttrack : playlistid , trackid | track : trackid , name , albumid , mediatypeid , genreid , composer , milliseconds , bytes , unitprice | album.artistid = artist.artistid | customer.supportrepid = employee.employeeid | employee.reportsto = employee.employeeid | invoice.customerid = customer.customerid | invoiceline.trackid = track.trackid | invoiceline.invoiceid = invoice.invoiceid | playlisttrack.trackid = track.trackid | playlisttrack.playlistid = playlist.playlistid | track.mediatypeid = mediatype.mediatypeid | track.genreid = genre.genreid | track.albumid = album.albumid | 

### Response:

select firstname , lastname from customer where email = 'luisg@embraer.com.br'