-- Database schema
| divisions : division [ TEXT ] primary_key , name [ TEXT ] , country [ TEXT ] | matchs : Div [ TEXT ] matchs.Div = divisions.division , Date [ DATE ] , HomeTeam [ TEXT ] , AwayTeam [ TEXT ] , FTHG [ INTEGER ] , FTAG [ INTEGER ] , FTR [ TEXT ] , season [ INTEGER ] |
-- -- How many teams that played in the 2012 season belong to any of the English divisions and what percentage play in each of the divisions?

SELECT ( SELECT COUNT(T1.Div) AS total FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 ) AS num , CASE WHEN 1 THEN T.result END AS percentage FROM ( SELECT 100.0 * COUNT(T1.Div) / ( SELECT COUNT(T1.Div) FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 ) AS result FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 GROUP BY T2.division ) AS T;