1sf/bird-sql-train-with-schema huggingface dataset:
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: In which Country is the second highest volcanic mountain located in? Give the code of the country.
SQL: SELECT T3.Country FROM mountain AS T1 INNER JOIN geo_mountain AS T2 ON T1.Name = T2.Mountain INNER JOIN province AS T3 ON T3.Name = T2.Province ORDER BY T1.Height DESC LIMIT 1, 1
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: What is the longitude of the island on which Mount Olympos is located?
SQL: SELECT T3.Longitude FROM mountain AS T1 INNER JOIN mountainOnIsland AS T2 ON T1.Name = T2.Mountain INNER JOIN island AS T3 ON T3.Name = T2.Island WHERE T1.Name = 'Olympos'
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: For all the countries that is smaller than 100 square kilometres, which one has the most GDP?
SQL: SELECT T1.Name FROM country AS T1 INNER JOIN economy AS T2 ON T1.Code = T2.Country WHERE T1.Area < 100 ORDER BY T2.GDP DESC LIMIT 1
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: What is the total number of cities that Japan have?
Evidence: Japan is a country
SQL: SELECT COUNT(T3.Name) FROM country AS T1 INNER JOIN province AS T2 ON T1.Code = T2.Country INNER JOIN city AS T3 ON T3.Province = T2.Name WHERE T1.Name = 'Japan'
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: Which city has most population other than its capital in Bangladesh?
Evidence: Bangladesh is a country
SQL: SELECT T3.Name FROM country AS T1 INNER JOIN province AS T2 ON T1.Code = T2.Country INNER JOIN city AS T3 ON T3.Province = T2.Name WHERE T1.Name = 'Bangladesh' AND T3.Name <> T1.Capital ORDER BY T3.Population DESC LIMIT 1
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: Which non capital city has the most people of all?
SQL: SELECT T3.Name FROM country AS T1 INNER JOIN province AS T2 ON T1.Code = T2.Country INNER JOIN city AS T3 ON T3.Province = T2.Name WHERE T3.Name <> T1.Capital ORDER BY T3.Population DESC LIMIT 1
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: In which country is the city of Grozny? Give the full name of the country.
Evidence: Grozny is a province
SQL: SELECT T1.Name FROM country AS T1 INNER JOIN province AS T2 ON T1.Code = T2.Country INNER JOIN city AS T3 ON T3.Province = T2.Name WHERE T3.Name = 'Grozny'
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: Which religion has the majority of the people in Japan?
Evidence: Japan is a country
SQL: SELECT T2.Name FROM country AS T1 INNER JOIN religion AS T2 ON T1.Code = T2.Country WHERE T1.Name = 'Japan' ORDER BY T2.Percentage DESC LIMIT 1
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: Which two countries have the border in length of 803 km? Give the full names of the countries.
SQL: SELECT T1.Name, T3.Name FROM country AS T1 INNER JOIN borders AS T2 ON T1.Code = T2.Country1 INNER JOIN country AS T3 ON T3.Code = T2.Country2 WHERE T2.Length = 803