sharkiefff/RBAC-Text2SQL-Benchmark huggingface dataset:
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_1
Accessible Columns:
  - device: Applications, Carrier, Device, Device_ID, Package_Version
  - shop: * (all columns)
  - stock: * (all columns)

Question: Show the carriers of devices in stock at more than one shop.
Answer: SELECT T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID GROUP BY T1.Device_ID HAVING COUNT(*)  >  1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID GROUP BY T1.Device_ID HAVING COUNT(*)  >  1
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_1
Accessible Columns:
  - device: Applications, Carrier, Device, Device_ID, Package_Version
  - shop: * (all columns)
  - stock: * (all columns)

Question: What are the carriers of devices that are in stock in more than a single shop?
Answer: SELECT T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID GROUP BY T1.Device_ID HAVING COUNT(*)  >  1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID GROUP BY T1.Device_ID HAVING COUNT(*)  >  1
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: How many devices are there?
Answer: SELECT count(*) FROM device
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT count(*) FROM device
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Count the number of devices.
Answer: SELECT count(*) FROM device
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT count(*) FROM device
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: List the carriers of devices in ascending alphabetical order.
Answer: SELECT Carrier FROM device ORDER BY Carrier ASC
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Carrier FROM device ORDER BY Carrier ASC
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What are the different carriers for devices, listed in alphabetical order?
Answer: SELECT Carrier FROM device ORDER BY Carrier ASC
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Carrier FROM device ORDER BY Carrier ASC
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What are the carriers of devices whose software platforms are not "Android"?
Answer: SELECT Carrier FROM device WHERE Software_Platform != 'Android'
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Carrier FROM device WHERE Software_Platform != 'Android'
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Return the device carriers that do not have Android as their software platform.
Answer: SELECT Carrier FROM device WHERE Software_Platform != 'Android'
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Carrier FROM device WHERE Software_Platform != 'Android'
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What are the names of shops in ascending order of open year?
Answer: SELECT Shop_Name FROM shop ORDER BY Open_Year ASC
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Shop_Name FROM shop ORDER BY Open_Year ASC
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Return the names of shops, ordered by year of opening ascending.
Answer: SELECT Shop_Name FROM shop ORDER BY Open_Year ASC
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Shop_Name FROM shop ORDER BY Open_Year ASC
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What is the average quantity of stocks?
Answer: SELECT avg(Quantity) FROM stock
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT avg(Quantity) FROM stock
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Give the average quantity of stocks.
Answer: SELECT avg(Quantity) FROM stock
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT avg(Quantity) FROM stock
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What are the names and location of the shops in ascending alphabetical order of name.
Answer: SELECT Shop_Name ,  LOCATION FROM shop ORDER BY Shop_Name ASC
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Shop_Name ,  LOCATION FROM shop ORDER BY Shop_Name ASC
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Return the names and locations of shops, ordered by name in alphabetical order.
Answer: SELECT Shop_Name ,  LOCATION FROM shop ORDER BY Shop_Name ASC
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Shop_Name ,  LOCATION FROM shop ORDER BY Shop_Name ASC
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: How many different software platforms are there for devices?
Answer: SELECT count(DISTINCT Software_Platform) FROM device
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT count(DISTINCT Software_Platform) FROM device
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Count the number of different software platforms.
Answer: SELECT count(DISTINCT Software_Platform) FROM device
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT count(DISTINCT Software_Platform) FROM device
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: List the open date of open year of the shop named "Apple".
Answer: SELECT Open_Date ,  Open_Year FROM shop WHERE Shop_Name  =  "Apple"
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Open_Date ,  Open_Year FROM shop WHERE Shop_Name  =  "Apple"
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What are the open dates and years for the shop named Apple?
Answer: SELECT Open_Date ,  Open_Year FROM shop WHERE Shop_Name  =  "Apple"
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Open_Date ,  Open_Year FROM shop WHERE Shop_Name  =  "Apple"
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: List the name of the shop with the latest open year.
Answer: SELECT Shop_Name FROM shop ORDER BY Open_Year DESC LIMIT 1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Shop_Name FROM shop ORDER BY Open_Year DESC LIMIT 1
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What is the shop name corresponding to the shop that opened in the most recent year?
Answer: SELECT Shop_Name FROM shop ORDER BY Open_Year DESC LIMIT 1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT Shop_Name FROM shop ORDER BY Open_Year DESC LIMIT 1
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Show names of shops and the carriers of devices they have in stock.
Answer: SELECT T3.Shop_Name ,  T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID JOIN shop AS T3 ON T1.Shop_ID  =  T3.Shop_ID
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T3.Shop_Name ,  T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID JOIN shop AS T3 ON T1.Shop_ID  =  T3.Shop_ID
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: What are the names of device shops, and what are the carriers that they carry devices in stock for?
Answer: SELECT T3.Shop_Name ,  T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID JOIN shop AS T3 ON T1.Shop_ID  =  T3.Shop_ID
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T3.Shop_Name ,  T2.Carrier FROM stock AS T1 JOIN device AS T2 ON T1.Device_ID  =  T2.Device_ID JOIN shop AS T3 ON T1.Shop_ID  =  T3.Shop_ID
##Instruction:
Database: device
Total Tables: 3
Total Columns: 14

Table Schemas:

device contains tables such as device, shop, stock.
Table device has columns such as Device_ID, Device, Carrier, Package_Version, Applications, Software_Platform.
Device_ID is the primary key.
Table shop has columns such as Shop_ID, Shop_Name, Location, Open_Date, Open_Year.
Shop_ID is the primary key.
Table stock has columns such as Shop_ID, Device_ID, Quantity.
Shop_ID is the primary key.
The Device_ID of stock is the foreign key of Device_ID of device.
The Shop_ID of stock is the foreign key of Shop_ID of shop.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - device: * (all columns)
  - shop: * (all columns)
  - stock: * (all columns)

Question: Show names of shops that have more than one kind of device in stock.
Answer: SELECT T2.Shop_Name FROM stock AS T1 JOIN shop AS T2 ON T1.Shop_ID  =  T2.Shop_ID GROUP BY T1.Shop_ID HAVING COUNT(*)  >  1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T2.Shop_Name FROM stock AS T1 JOIN shop AS T2 ON T1.Shop_ID  =  T2.Shop_ID GROUP BY T1.Shop_ID HAVING COUNT(*)  >  1