osmc:Metodologia/Algoritmo SQL
Detalhamento metodológico, descrevendo os algoritmos implementados em linguagem SQL.
Configuração do país
Depois de percorrido todo o roteiro de decisões soberanas, o país está apto a implementar seu geocódigo oficial. As decisões são resumidas num arquivo YAML. Exemplos:
- Configurações do Brasil https://git.osm.codes/BR_new/blob/main/conf.yaml#L34
- Configurações de Camarões https://git.osm.codes/CM/blob/main/conf.yaml#L37
- Configurações da Colômbia https://git.osm.codes/CO_new/blob/main/conf.yaml#L34
Os parâmetros principais do YAML, ao invés de serem lidos diretamente do arquivo (pendente implementar essa estratégia), são copiadas/coladas na unção de inclusão desses dados na sua tabela. Exemplos:
- Inclusão da configuração do Brasil https://git.osm.codes/GGeohash/blob/main/src/step04def-ini.sql#L95
- Inclusão da configuração de Camarões https://git.osm.codes/GGeohash/blob/main/src/step04def-ini.sql#L96
- Inclusão da configuração da Colômbia https://git.osm.codes/GGeohash/blob/main/src/step04def-ini.sql#L98
A configuração é efetivada pela chamada com o país específico, por exemplo Brasil SELECT osmc.L0cover_upsert('BR');
Deveria se chamar L0_upsert_get(contry). A função de que fato implementa as configurações é osmc.L0_upsert(). Importante notar que, dentro dela, temos um comando unnest(a,b) que não deve ser confundido com o produto cruzado, o PostgreSQL alinha as duas arrays mesmo que de tamanhos diferentes, fazendo uma espécie de left join. Ilustrando com duas arrays reduzidas:
SELECT count(*) n, count(distinct prefix) n_prefix -- n=5 | n_prefix=3
FROM unnest('{40,41,42}'::int[],'{00,01,02,0a,0b}'::text[]) t(prefix,quadrant);
A função L0_upsert() atualiza a tabela osmc.coverage com linhas is_country e sem popular as colunas cindex, is_overlay ou kx_prefix (utilizadas apenas por coberturas municipais). A consulta abaixo ilustra os casos típicos do Brasil e Colômbia.
SELECT isolabel_ext ||' = '||(b'0000000000000000000000'||cb10::bit(32)::int ||' = '||cb10 as pais,
is_contained,
cb10::text||'.'||substring(cbits,11)::text as cbits,
status,
round(st_area(geom)/1000000.0) as area_km2
FROM (select *, substring(cbits,1,10) as cb10) from osmc.coverage) t
WHERE is_country ORDER BY 1,2,cbits;
| pais | is_contained | cbits | status | area_km2 |
|---|---|---|---|---|
| BR = 76 = 0001001100 | f | 0001001100.00000110 | 1 | 1099512 |
| BR = 76 = 0001001100 | t | 0001001100.00000000 | 1 | 275241 |
| BR = 76 = 0001001100 | t | 0001001100.00000001 | 1 | 757637 |
| BR = 76 = 0001001100 | t | 0001001100.00000010 | 1 | 645014 |
| ... | ||||
| BR = 76 = 0001001100 | t | 0001001100.00010000 | 1 | 1519 |
| BR = 76 = 0001001100 | t | 0001001100.00010001 | 1 | 3618 |
| CM = 120 = 0001111000 | f | 0001111000.1001 | 1 | 68719 |
| CM = 120 = 0001111000 | t | 0001111000.0001 | 1 | 2469 |
| CM = 120 = 0001111000 | t | 0001111000.0010 | 1 | 24181 |
| ... | ||||
| CM = 120 = 0001111000 | t | 0001111000.1101 | 1 | 47183 |
| CM = 120 = 0001111000 | t | 0001111000.1110 | 1 | 5164 |
| CO = 170 = 0010101010 | t | 0010101010.0000 | 1 | 8083 |
| CO = 170 = 0010101010 | t | 0010101010.0001 | 1 | 141953 |
| CO = 170 = 0010101010 | t | 0010101010.0010 | 1 | 57590 |
| ... | ||||
| CO = 170 = 0010101010 | t | 0010101010.1110 | 1 | 84471 |
| CO = 170 = 0010101010 | t | 0010101010.1111 | 1 | 61264 |
Os códigos de país podem ser obtidos com zeros a esquerda, por exemplo Brasil select (b'0000000000000000000000'||b'00010011')::bit(32)::int; é 76.
Há um bug de nomenclatura. Analisando as áreas do Brasil, o flag foi apenas para os 1099512 km2 de área, cuja raís quadada é uma das potências de dois .
Outras dicas:
-- Simulando a chamada online da cobertura do município de Boa Vista:
select i, natcod.vbit_to_str(i::bit(5),'32nvu') as x_b32nvu,
substr( api.osmcode_decode_postal( natcod.vbit_to_str(i::bit(5),'32nvu') ,'BR-RR-BoaVista')::text, 1,120) as geojson_cit120
from generate_series(0,31) t(i);