Banco de dados, armazenamento e governança: modelo mental e decisões

O problema e por que importa

O banco preserva fatos e relações do sistema, mas não adivinha o significado correto. Modelagem fraca permite estados impossíveis; índices ausentes tornam consultas lentas; migrações improvisadas quebram versões antigas. Governança acrescenta responsabilidade sobre origem, retenção, acesso e qualidade.

Na OS 742, a pergunta é: quais mudanças precisam ser atômicas, quem pode ver cada campo e como provar de onde veio o status mostrado ao usuário? A resposta conecta modelo, transação, autorização, auditoria e linhagem.

Vocabulário antes das siglas

• tabela: estrutura relacional composta por linhas e colunas com significado e restrições definidos.
• chave: atributo ou conjunto de atributos usado para identificar linhas ou relacioná-las.
• relacionamento: vínculo semântico entre conjuntos de dados, protegido por regras quando aplicável.
• transação: conjunto de operações confirmado ou desfeito como uma unidade conforme as garantias do banco.
• isolamento: grau em que transações concorrentes deixam de observar estados intermediários umas das outras.
• índice: estrutura adicional que acelera certos acessos em troca de espaço e custo de escrita.
• plano de execução: estratégia escolhida pelo otimizador para acessar e combinar os dados de uma consulta.
• migração: mudança versionada do esquema ou dos dados, planejada para implantação e reversão seguras.
• retenção: regra que determina por quanto tempo uma categoria de dado deve ser preservada ou eliminada.
• linhagem: registro da origem, transformações e destinos de um dado ao longo do sistema.

Índice não corrige semântica, transação não substitui autorização e backup não substitui retenção. Cada controle responde a uma pergunta diferente sobre consistência, desempenho ou governança.

Modelo mental

o banco é um livro-caixa concorrente: schema protege significado, transação protege mudança e backup protege continuidade. A analogia ajuda a localizar responsabilidades; ela deixa de valer quando esconde concorrência, falhas parciais ou atores maliciosos. Software distribuído não tem uma única percepção de tempo nem sucesso: uma resposta pode se perder depois de um efeito ter ocorrido.

Fronteira e responsabilidade

O domínio define invariantes; o esquema reforça as que podem ser expressas como tipos, unicidade, referências e checks. A aplicação controla autorização e fluxo. O banco oferece garantias transacionais, mas a equipe escolhe o nível de isolamento e trata conflitos.

Migrações devem conviver com mais de uma versão da aplicação durante o rollout. A sequência segura costuma expandir o esquema, migrar consumidores e dados, verificar uso e só então contrair a forma antiga. Essa disciplina evita depender de rollback impossível.

Decisão orientada por risco

Pergunta de projeto	Decisão inicial	Evidência exigida
Qual consistência é necessária?	Começar pela invariante do negócio	Teste concorrente reproduz conflito
Qual índice criar?	Consulta real mais plano de execução	Ganho e custo de escrita são medidos
Como migrar?	Expand–migrate–contract	Versões antiga e nova coexistem no teste
Quanto guardar?	Política por finalidade e obrigação	Job de expurgo possui auditoria

A alternativa mais complexa só é promovida quando essa evidência mostra que a solução atual não atende ao risco. A decisão registra também custo operacional, forma de reversão e responsável.

Caso real: manutenção conectada ao ERP

O eletricista conclui a OS 742. O sistema valida identidade, unidade, estado atual e evidências; persiste a mudança; registra auditoria; publica a integração; informa “sincronização pendente” se o ERP não responder. A decisão deste livro aparece ao preservar fatos corretos, consultáveis, recuperáveis e governados ao longo do tempo. O sucesso não é apenas HTTP 200: banco, usuário, fila, ERP e telemetria precisam convergir para um estado conhecido.

Falha orientadora

duas conclusões simultâneas consomem a mesma peça e uma migração bloqueia produção. Trate a falha como cenário de projeto, não exceção improvável. O controle principal é constraints, transações, índices medidos, migrations expand–migrate–contract, backup e restore testado. Seu teste deve falhar antes do controle e passar depois dele.

Segurança, privacidade e custo

• Conceda à aplicação somente operações e esquemas de que ela precisa.
• Separe dados pessoais e aplique retenção, mascaramento e auditoria compatíveis com a finalidade.
• Parametrize consultas e valide identificadores que não podem ser parametrizados.
• Teste restauração e migração com dados representativos protegidos, nunca cópia de produção indiscriminada.

O manual de Cybersecurity aprofunda threat modeling, identidade, proteção de dados, supply chain e resposta a incidentes; os controles acima são a aplicação específica nesta disciplina.

Erros frequentes e diagnóstico

1. Tecnologia antes do problema: registre hipótese e atributo de qualidade que justificam a escolha.
2. Caminho feliz apenas: injete timeout, duplicata, concorrência, permissão negada e dado inválido.
3. Métrica de vaidade: acompanhe p95 de consulta, locks, bloat, crescimento, falhas de constraint, RPO e tempo de restauração e ligue o sinal a uma decisão.
4. Automação sem condição de parada: limite tentativas e torne o estado pendente visível.
5. Documentação sem prova: execute exemplos e conecte diagramas a arquivos, owners e testes.

Critérios de aceite

• Fronteira, dono, entradas, saídas e dependências estão diagramados.
• Caminho feliz e falha parcial possuem testes reproduzíveis.
• O controle “constraints, transações, índices medidos, migrations expand–migrate–contract, backup e restore testado” tem evidência observável.
• Segurança, privacidade, acessibilidade, custo e operação foram avaliados.
• A métrica “p95 de consulta, locks, bloat, crescimento, falhas de constraint, RPO e tempo de restauração” possui unidade, janela e responsável.
• Runbook informa diagnóstico, mitigação, recuperação e escalonamento.

Prática e recuperação ativa

1. Desenhe a jornada da OS 742 e marque onde esta camada começa e termina.
2. Explique a diferença entre ocultar uma ação e negar sua autorização no servidor.
3. Injete a falha “duas conclusões simultâneas consomem a mesma peça e uma migração bloqueia produção” e capture evidência antes/depois do controle.
4. Transfira o raciocínio para um pedido de e-commerce: o que permanece e o que muda?

Entregável verificável: modelo relacional comentado, transação concorrente reproduzível, plano de execução comparado e migração expand–migrate–contract testada. A entrega só é aceita quando outra pessoa consegue repetir a verificação.

Fontes primárias e oficiais

Revisão editorial: 2 de agosto de 2026. Confirme versões antes de implementar configuração volátil.

• https://www.postgresql.org/docs/current/
• https://www.postgresql.org/docs/current/ddl-constraints.html
• https://www.postgresql.org/docs/current/backup.html

Da compreensão à execução

O modelo anterior explica o que precisa permanecer verdadeiro. Agora o caderno transforma essa compreensão em um experimento. Antes de executar, escreva sua previsão; depois compare o observado com o esperado e registre a primeira fronteira onde o estado divergiu.

Objetivo, hipótese e ambiente

Objetivo: demonstrar preservar fatos corretos, consultáveis, recuperáveis e governados ao longo do tempo em uma fatia da jornada de manutenção. Hipótese: o controle “constraints, transações, índices medidos, migrations expand–migrate–contract, backup e restore testado” reduz a falha escolhida sem violar o contrato das camadas vizinhas.

Pré-requisitos: Git, terminal, TypeScript ou a tecnologia indicada no exemplo, ambiente local isolado e dados sintéticos. Duração orientativa: 90–180 minutos; depende de prática, não de leitura. Não use credenciais reais nem produção.

sequenceDiagram
  actor E as Eletricista
  participant W as Aplicativo
  participant A as API de manutenção
  participant D as Estado canônico
  participant R as ERP
  E->>W: conclui OS 742
  W->>A: intenção + identidade + idempotency-key
  A->>D: valida e persiste
  A-->>W: estado confirmado ou pendente
  A->>R: integração controlada
  R-->>A: confirmação, rejeição ou timeout

Passo 1 — registre o contrato antes do código

Escreva pré-condição, pós-condição, erros esperados, timeout e política de repetição. Separe “aceito para processamento” de “confirmado pelo ERP”. Defina o que a pessoa verá durante incerteza. O contrato deve caber em uma tabela e ser revisado por negócio, desenvolvimento, segurança e operação.

Situação	Resultado público	Estado interno	Próxima ação
Entrada válida	confirmado ou 202 pendente	registrado	processar/observar
Sem permissão	negação estável	nenhuma mutação	auditar
Duplicata	mesmo resultado lógico	um efeito	responder idempotente
Dependência lenta	timeout controlado	pendente conhecido	retry com limite
Dado incompatível	erro de contrato	quarentena	corrigir/reprocessar

Passo 2 — implemente a menor fatia vertical

O trecho é didático e precisa ser adaptado ao runtime indicado. Ele ilustra a decisão central, não constitui aplicação completa.

ALTER TABLE work_orders ADD CONSTRAINT valid_status
CHECK (status IN ('open', 'doing', 'done'));
CREATE INDEX CONCURRENTLY ix_orders_status ON work_orders(status);

Mantenha a mudança pequena: interface, regra, persistência, teste e sinal operacional no mesmo ticket. Evite construir “toda a infraestrutura” antes de uma jornada observável.

Passo 3 — prove o caminho feliz e o negativo

1. Execute uma OS válida e capture resposta, estado persistido e correlation ID.
2. Repita a mesma intenção; o efeito lógico deve continuar único.
3. Remova a permissão; nenhum estado deve mudar.
4. Force timeout do ERP; a UI deve mostrar estado honesto e a fila não pode crescer sem limite.
5. Corrompa um campo do contrato; rejeite-o com erro útil, sem stack trace nem segredo.

O teste negativo é parte do produto. Sem ele, o controle pode existir apenas no diagrama.

Passo 4 — instrumente a decisão

Registre duração, resultado, dependência, versão do contrato e correlação. Não use nome, e-mail, token, payload completo nem user_id como dimensão ilimitada de métrica. Para este livro, acompanhe p95 de consulta, locks, bloat, crescimento, falhas de constraint, RPO e tempo de restauração. Defina SLI, janela, limiar e ação humana associada.

Exemplo de evento estruturado conceitual:

{
  "event": "work_order.transition",
  "order_id": "742",
  "result": "pending_erp",
  "contract_version": "v1",
  "correlation_id": "demo-01",
  "duration_ms": 184
}

Passo 5 — injete falha e recupere

Falha-alvo: duas conclusões simultâneas consomem a mesma peça e uma migração bloqueia produção.

• Detectar: qual sinal diferencia falha real de tráfego normal?
• Conter: como impedir propagação, repetição ilimitada ou perda de dados?
• Mitigar: qual recurso pode ser desativado ou degradado com segurança?
• Recuperar: como reprocessar sem duplicar efeito?
• Aprender: qual teste, alerta, ADR ou limite impedirá recorrência?

Use timeout curto no laboratório e retry limitado com atraso e jitter. Um retry não é recuperação quando a operação não é idempotente. Registre itens que exigem intervenção humana em fila consultável; não esconda exceções em log.

Segurança e abuso

Faça uma mini análise: ativo, ator, fronteira, ameaça, impacto, controle e teste. Teste acesso horizontal entre unidades, elevação de perfil, payload grande, repetição rápida, dado fora de ordem e indisponibilidade. O controle esperado é constraints, transações, índices medidos, migrations expand–migrate–contract, backup e restore testado. Valide no servidor e preserve evidência sem expor segredos.

Troubleshooting

Sintoma	Hipótese	Verificação	Correção segura
Estado diverge do ERP	efeito parcial	correlação + outbox/inbox	reconciliar idempotentemente
Latência cresce	fila ou dependência saturada	p95/p99, lag, pool	backpressure e capacidade
Só um tenant falha	escopo, dado ou quota	dimensão de tenant controlada	corrigir política/dado
Retry aumenta erro	operação não idempotente	contar efeitos por chave	deduplicar e limitar
Dashboard “verde”	SLI não representa jornada	teste sintético E2E	medir resultado do usuário

Critérios de aceite verificáveis

• Caminho feliz, entrada inválida, negação, duplicata e timeout foram executados.
• O segundo envio com a mesma chave não produz segundo efeito.
• Nenhum segredo ou dado pessoal aparece em saída, log ou fixture.
• A falha é detectada por sinal antes da reclamação do usuário.
• Existe estado explícito para pendência e procedimento de reconciliação.
• O resultado inclui teste, captura de telemetria, ADR e atualização do runbook.

Evidência, limpeza e solução comentada

Guarde: comandos, versões, saída dos testes, screenshot do fluxo, consulta de estado e gráfico do sinal. Remova ambiente e dados sintéticos; revogue qualquer credencial de laboratório. A solução adequada não é uma ferramenta específica: é a menor composição que satisfaz o contrato e demonstra recuperação.

Exercícios de transferência

1. Troque ERP por gateway de pagamento. Quais garantias ficam mais rígidas?
2. Troque OS por leitura de sensor offline. Onde ordenar e deduplicar?
3. Reduza o RTO pela metade. Qual custo e complexidade aparecem?
4. Explique em voz alta por que o banco é um livro-caixa concorrente: schema protege significado, transação protege mudança e backup protege continuidade é útil e onde a analogia quebra.

Fontes

Consulte as fontes oficiais do capítulo conceitual e registre versão/data no relatório do laboratório. Para observabilidade, use OpenTelemetry; para segurança, use o manual canônico.