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

Convert text to sql: Return the names of shops, ordered by year of opening ascending. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop_name from shop order by open_year asc

### Instruction:

Convert text to sql: What is the average quantity of stocks? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select avg ( quantity ) from stock

### Instruction:

Convert text to sql: Give the average quantity of stocks. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select avg ( quantity ) from stock

### Instruction:

Convert text to sql: What are the names and location of the shops in ascending alphabetical order of name. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop_name , location from shop order by shop_name asc

### Instruction:

Convert text to sql: Return the names and locations of shops, ordered by name in alphabetical order. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop_name , location from shop order by shop_name asc

### Instruction:

Convert text to sql: How many different software platforms are there for devices? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select count ( distinct software_platform ) from device

### Instruction:

Convert text to sql: Count the number of different software platforms. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select count ( distinct software_platform ) from device
### Instruction:

Convert text to sql: List the open date of open year of the shop named "Apple". | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select open_date , open_year from shop where shop_name = 'Apple'

### Instruction:

Convert text to sql: What are the open dates and years for the shop named Apple? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select open_date , open_year from shop where shop_name = 'Apple'

### Instruction:

Convert text to sql: List the name of the shop with the latest open year. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop_name from shop order by open_year desc limit 1

### Instruction:

Convert text to sql: What is the shop name corresponding to the shop that opened in the most recent year? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop_name from shop order by open_year desc limit 1

### Instruction:

Convert text to sql: Show names of shops and the carriers of devices they have in stock. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name , device.carrier from stock join device on stock.device_id = device.device_id join shop on stock.shop_id = shop.shop_id

### Instruction:

Convert text to sql: What are the names of device shops, and what are the carriers that they carry devices in stock for? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name , device.carrier from stock join device on stock.device_id = device.device_id join shop on stock.shop_id = shop.shop_id
### Instruction:

Convert text to sql: Show names of shops that have more than one kind of device in stock. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name from stock join shop on stock.shop_id = shop.shop_id group by stock.shop_id having count ( * ) > 1

### Instruction:

Convert text to sql: What are the names of shops that have more than a single kind of device in stock? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name from stock join shop on stock.shop_id = shop.shop_id group by stock.shop_id having count ( * ) > 1

### Instruction:

Convert text to sql: Show the name of the shop that has the most kind of devices in stock. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name from stock join shop on stock.shop_id = shop.shop_id group by stock.shop_id order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: What is the name of the shop that has the most different kinds of devices in stock? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name from stock join shop on stock.shop_id = shop.shop_id group by stock.shop_id order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: Show the name of the shop that have the largest quantity of devices in stock. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name from stock join shop on stock.shop_id = shop.shop_id group by stock.shop_id order by sum ( stock.quantity ) desc limit 1
### Instruction:

Convert text to sql: What is the name of the shop that has the greatest quantity of devices in stock? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop.shop_name from stock join shop on stock.shop_id = shop.shop_id group by stock.shop_id order by sum ( stock.quantity ) desc limit 1

### Instruction:

Convert text to sql: Please show different software platforms and the corresponding number of devices using each. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select software_platform , count ( * ) from device group by software_platform

### Instruction:

Convert text to sql: What are the different software platforms for devices, and how many devices have each? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select software_platform , count ( * ) from device group by software_platform

### Instruction:

Convert text to sql: Please show the software platforms of devices in descending order of the count. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select software_platform from device group by software_platform order by count ( * ) desc

### Instruction:

Convert text to sql: What are the different software platforms for devices, ordered by frequency descending? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select software_platform from device group by software_platform order by count ( * ) desc

### Instruction:

Convert text to sql: List the software platform shared by the greatest number of devices. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select software_platform from device group by software_platform order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What is the software platform that is most common amongst all devices? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select software_platform from device group by software_platform order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: List the names of shops that have no devices in stock. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop_name from shop where shop_id not in ( select shop_id from stock )

### Instruction:

Convert text to sql: What are the names of shops that do not have any devices in stock? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select shop_name from shop where shop_id not in ( select shop_id from stock )

### Instruction:

Convert text to sql: Show the locations shared by shops with open year later than 2012 and shops with open year before 2008. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select location from shop where open_year > 2012 intersect select location from shop where open_year < 2008

### Instruction:

Convert text to sql: Which locations contains both shops that opened after the year 2012 and shops that opened before 2008? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select location from shop where open_year > 2012 intersect select location from shop where open_year < 2008

### Instruction:

Convert text to sql: List the carriers of devices that have no devices in stock. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select carrier from device where device_id not in ( select device_id from stock )
### Instruction:

Convert text to sql: What are the carriers of devices that are not in stock anywhere? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select carrier from device where device_id not in ( select device_id from stock )

### Instruction:

Convert text to sql: Show the carriers of devices in stock at more than one shop. | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select device.carrier from stock join device on stock.device_id = device.device_id group by stock.device_id having count ( * ) > 1

### Instruction:

Convert text to sql: What are the carriers of devices that are in stock in more than a single shop? | device : device_id , device , carrier , package_version , applications , software_platform | shop : shop_id , shop_name , location , open_date , open_year | stock : shop_id , device_id , quantity | stock.device_id = device.device_id | stock.shop_id = shop.shop_id | 

### Response:

select device.carrier from stock join device on stock.device_id = device.device_id group by stock.device_id having count ( * ) > 1
### Instruction:

Convert text to sql: How many bands are there? | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select count ( * ) from band

### Instruction:

Convert text to sql: Find the number of bands. | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select count ( * ) from band

### Instruction:

Convert text to sql: What are all the labels? | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select distinct label from albums

### Instruction:

Convert text to sql: What are the different album labels listed? | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select distinct label from albums
### Instruction:

Convert text to sql: Find all the albums in 2012. | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select * from albums where year = 2012

### Instruction:

Convert text to sql: return all columns of the albums created in the year of 2012. | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select * from albums where year = 2012

### Instruction:

Convert text to sql: Find all the stage positions of the musicians with first name "Solveig" | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select distinct performance.stageposition from performance join band on performance.bandmate = band.id where firstname = 'Solveig'

### Instruction:

Convert text to sql: What are the different stage positions for all musicians whose first name is "Solveig"? | songs : songid , title | albums : aid , title , year , label , type | band : id , firstname , lastname | instruments : songid , bandmateid , instrument | performance : songid , bandmate , stageposition | tracklists : albumid , position , songid | vocals : songid , bandmate , type | instruments.bandmateid = band.id | instruments.songid = songs.songid | performance.bandmate = band.id | performance.songid = songs.songid | tracklists.albumid = albums.aid | tracklists.songid = songs.songid | vocals.bandmate = band.id | vocals.songid = songs.songid | 

### Response:

select distinct performance.stageposition from performance join band on performance.bandmate = band.id where firstname = 'Solveig'