Análisis¶

Nueve tablas en la app mangroove_analisis: los perfiles de umbrales, la corrida con sus fechas e insumos fijados, y los resultados que la API publica.

La corrida es la unidad de verdad del sistema. Todo lo que un visitante ve pertenece a exactamente una corrida, y una corrida pertenece a exactamente una región, una madurez y una versión de perfil. Los resultados se escriben una vez, al terminar el cálculo, y no se tocan más (RN-14).

Requerimientos cubiertos¶

• RF-M-10 a RF-M-18
• RF-M-23
• RF-O-09 a RF-O-13
• RF-C-07
• RF-C-09 a RF-C-12

Diagrama¶

---
config:
  elk:
    nodePlacementStrategy: NETWORK_SIMPLEX
  fontFamily: monospace
  layout: elk
---
classDiagram
    class PerfilUmbrales {
        +uuid id
        +varchar(50) codigo
        +smallint version
        +varchar(100) nombre
        +real ow_hh_db
        +real ow_hv_db
        +real iv_hh_db
        +real iv_ratio_db
        +real otros_21_umbrales
    }
    class Corrida {
        +uuid id
        +uuid region_id
        +varchar(20) version
        +uuid perfil_id
        +varchar(12) madurez
        +varchar(50) modelo_marea
        +varchar(50) fuente_lluvia
        +varchar(5) orbita
        +smallint[] tracks
        +date desde
        +date hasta
        +varchar(40) codigo_version
        +integer semilla
        +varchar(12) estado
        +boolean vigente
        +smallint n_fechas
        +uuid solicitada_por_id
        +uuid publicada_por_id
        +timestamptz publicada_at
        +timestamptz retirada_at
        +text motivo_retiro
        +timestamptz purgar_despues_de
        +text error
    }
    class CorridaFecha {
        +uuid id
        +uuid corrida_id
        +uuid adquisicion_id
        +smallint orden
        +varchar(20) fecha_codigo
        +real desfase_db
        +real marea_m
        +varchar(12) marea_nivel
        +real lluvia_3d_mm
        +boolean usada_en_if_alta
    }
    class CorridaInsumo {
        +uuid id
        +uuid corrida_id
        +uuid insumo_id
    }
    class ResultadoCelda {
        +uuid id
        +uuid corrida_id
        +uuid celda_id
        +varchar(2) pais
        +boolean en_mascara
        +boolean humedal
        +smallint[] hh
        +smallint[] hv
        +smallint[] coherencia
        +smallint[] clases
        +smallint clase_tipica
        +real if_total
        +real if_alta
        +smallint n_fechas
        +smallint n_fechas_alta
        +boolean datos_suficientes
        +boolean desconectada
        +real p_error
        +real if_esperada
        +smallint cambio_orden
        +real cambio_confianza
        +real cambio_delta_hv_db
    }
    class ResumenPais
    class ResumenFecha
    class PruebaHipotesis
    class ResultadoEstanque
    PerfilUmbrales "1" --> "*" Corrida
    Corrida "1" --> "1..*" CorridaFecha
    Corrida "1" --> "*" CorridaInsumo
    Corrida "1" --> "*" ResultadoCelda
    Corrida "1" --> "*" ResumenPais
    CorridaFecha "1" --> "*" ResumenFecha
    Corrida "1" --> "*" PruebaHipotesis
    Corrida "1" --> "*" ResultadoEstanque

PerfilUmbrales¶

Una versión de un conjunto con nombre de todos los umbrales del método. Editar un perfil es crear su versión siguiente.

• Régimen: Solo inserción
• Volumen estimado: decenas de filas
• Origen: RF-O-09

Columnas¶

Los valores predeterminados son los del perfil predeterminado versión 1, tomados del método de la sección 6.4 del manual de NISAR y ajustados con la escena sintética de prueba.

Ningún campo es nulo salvo creado_por_id.

Constraints¶

CONSTRAINT chk_perfilumbrales_mareas
CHECK (marea_baja_m < marea_alta_m)

CONSTRAINT chk_perfilumbrales_fracciones
CHECK (
  coherencia_min BETWEEN 0 AND 1 AND if_alta_desconectada BETWEEN 0 AND 1
  AND if_esperada_min BETWEEN 0 AND 1 AND cusum_confianza BETWEEN 0 AND 1
)

CONSTRAINT chk_perfilumbrales_cusum
CHECK (cusum_b BETWEEN 20 AND 1000 AND cusum_perdida_db > 0)

CONSTRAINT chk_perfilumbrales_clases
CHECK (ow_hh_db < iv_hh_db AND sigma_db > 0 AND min_fechas_alta >= 1)

Los mismos rangos, más amplios que estos CHECK, acotan los umbrales que acepta una exploración pública (RF-C-12).

Corrida¶

Un análisis de una región con una madurez, un perfil y un conjunto de fechas e insumos fijados.

• Régimen: Mutable rastreada
• Volumen estimado: decenas por región y año
• Origen:

  • RF-O-10 a RF-O-13
  • RN-01, RN-14, RN-15

Columnas¶

Constraints¶

CONSTRAINT chk_corrida_version
CHECK (version ~ '^\d+\.\d+\.\d+$')

CONSTRAINT chk_corrida_estado
CHECK (estado IN ('pendiente', 'en_proceso', 'completada', 'fallida', 'publicada', 'retirada'))

CONSTRAINT chk_corrida_madurez
CHECK (madurez IN ('provisional', 'validado'))

CONSTRAINT chk_corrida_vigente_publicada
CHECK (NOT vigente OR estado = 'publicada')

CONSTRAINT chk_corrida_publicacion
CHECK ((estado IN ('publicada', 'retirada')) = (publicada_at IS NOT NULL AND publicada_por_id IS NOT NULL))

CONSTRAINT chk_corrida_retiro
CHECK ((estado = 'retirada') = (retirada_at IS NOT NULL AND motivo_retiro <> '' AND purgar_despues_de IS NOT NULL))

CONSTRAINT chk_corrida_falla
CHECK ((estado = 'fallida') = (error <> ''))

beta no está entre las madurezas admitidas: los productos beta no están calibrados y la guía de NISAR desaconseja usarlos para análisis.

Unicidad e índices¶

Triggers¶

CorridaFecha¶

Una adquisición dentro de una corrida, con lo que de ella depende del perfil: desfase, nivel de marea y si cuenta para if_alta. Es la entrada fechas del manifiesto.

• Régimen: Resultado de corrida
• Volumen estimado: n_fechas por corrida
• Origen:

  • RF-M-07
  • RF-M-10
  • RN-08, RN-09

CONSTRAINT chk_corridafecha_nivel
CHECK ((marea_m IS NULL) = (marea_nivel = 'desconocida'))

CONSTRAINT chk_corridafecha_if_alta
CHECK (NOT usada_en_if_alta OR marea_nivel = 'alta')

CorridaInsumo¶

Qué versión de cada tipo de insumo usó la corrida.

• Régimen: Resultado de corrida
• Origen: RF-M-23

trg_corridainsumo_coherente (BEFORE INSERT) exige que el insumo sea de la región de la corrida y que no haya otro del mismo tipo en ella.

ResultadoCelda¶

Todo lo que la corrida sabe de una celda: su serie, sus clases y sus métricas. Es la fila que lee el inspector.

• Régimen: Resultado de corrida
• Volumen estimado: igual a las celdas de la región, por corrida
• Origen:

  • RF-M-11 a RF-M-15
  • RF-C-07

Columnas¶

if es palabra reservada en Python; la columna se llama if_total y la API la publica como if.

Constraints¶

CONSTRAINT chk_resultadocelda_series_alineadas
CHECK (
  cardinality(hh) = cardinality(hv) AND cardinality(hh) = cardinality(clases)
  AND (cardinality(coherencia) = 0 OR cardinality(coherencia) = cardinality(hh))
)

CONSTRAINT chk_resultadocelda_clases
CHECK (clases <@ ARRAY[0, 1, 2, 3, 4]::smallint[] AND clase_tipica BETWEEN 0 AND 4)

CONSTRAINT chk_resultadocelda_fracciones
CHECK (
  (if_total IS NULL OR if_total BETWEEN 0 AND 1)
  AND (if_alta IS NULL OR if_alta BETWEEN 0 AND 1)
  AND (p_error IS NULL OR p_error BETWEEN 0 AND 1)
  AND (if_esperada IS NULL OR if_esperada BETWEEN 0 AND 1)
  AND (cambio_confianza IS NULL OR cambio_confianza BETWEEN 0 AND 1)
)

CONSTRAINT chk_resultadocelda_fuera_mascara
CHECK (
  en_mascara OR (
    if_total IS NULL AND if_alta IS NULL AND p_error IS NULL
    AND if_esperada IS NULL AND cambio_orden IS NULL
    AND NOT desconectada AND NOT datos_suficientes
  )
)

CONSTRAINT chk_resultadocelda_mascara_metricas
CHECK (NOT en_mascara OR (if_total IS NOT NULL AND p_error IS NOT NULL))

CONSTRAINT chk_resultadocelda_ifalta_suficiente
CHECK (datos_suficientes = (if_alta IS NOT NULL))

CONSTRAINT chk_resultadocelda_desconexion
CHECK (NOT desconectada OR (en_mascara AND datos_suficientes))

CONSTRAINT chk_resultadocelda_cambio_completo
CHECK (
  (cambio_orden IS NULL) = (cambio_confianza IS NULL)
  AND (cambio_orden IS NULL) = (cambio_delta_hv_db IS NULL)
)

chk_resultadocelda_desconexion no exige if_alta bajo el umbral: después del voto de mayoría, una celda puede quedar desconectada por sus vecinas con un if_alta algo mayor. Lo que sí garantiza es que nunca se declare desconectada una celda sin máscara o sin datos.

Unicidad¶

Triggers¶

Resúmenes y pruebas¶

Cuatro tablas pequeñas, todas en régimen de resultado de corrida, que la API sirve sin recalcular.

ResumenPais¶

Una fila por país y una con pais = '' para la región completa.

ResumenFecha¶

Hectáreas de cada clase por fecha y país, para la línea de tiempo y el CSV.

PruebaHipotesis¶

CONSTRAINT chk_pruebahipotesis_evaluable
CHECK (evaluable = (p_valor IS NOT NULL) AND evaluable = (motivo = ''))

ResultadoEstanque¶

CONSTRAINT chk_resultadoestanque_puntaje
CHECK (activo = (puntaje IS NULL))