Back to flin
flin

Contraintes et validation dans FlinDB

Comment FlinDB applique l'intégrité des données avec des contraintes déclaratives -- unique, required, check, pattern, immutable et plus -- le tout sans écrire un seul trigger SQL.

Juste A. Gnimavo (Thales) & Claude | March 26, 2026 2 min flin
EN/ FR/ ES
flinflindbconstraintsvalidationintegrity

Une base de données qui accepte tout est une base de données qui contient des déchets. L'intégrité des données n'est pas une fonctionnalité optionnelle -- c'est le fondement dont chaque couche applicative au-dessus de la base de données dépend.

FlinDB implémente un système de contraintes déclaratif, lisible et complet. La session 161 fut le marathon qui l'a rendu réel -- neuf types de contraintes, 31 tests, et un système de cascade qui gère correctement la suppression douce et la destruction dure.

Les trois niveaux de contraintes

P1 : contraintes essentielles

Contraintes d'unicité : ``flin entity User { email: text @unique username: text @unique } ``

Contraintes required : les champs sans le suffixe ? sont requis par défaut.

Application des clés étrangères : vérifie que les entités référencées existent.

Comportement ON DELETE : cascade, restrict, set_null.

P2 : contraintes importantes

Contraintes check : ``flin entity Product { price: number @check(price > 0) quantity: int @check(quantity >= 0) } ``

Required conditionnel : ``flin entity Order { delivery_type: text shipping_address: text @required_if(delivery_type == "shipping") } ``

Validation par pattern : ``flin entity User { email: text @pattern(email, "^[a-zA-Z0-9+_.-]+@[a-zA-Z0-9.-]+$", "Invalid email format") } ``

P3 : contraintes utiles

Unique partielle, unique insensible à la casse, champs immuables.

Messages d'erreur qui aident

Les messages d'erreur de FlinDB sont conçus pour être compris immédiatement :

  • "User with email '[email protected]' already exists" (violation d'unicité)
  • "User requires field 'name' but it was not provided" (violation required)
  • "Product price must satisfy: price > 0" (violation check)
  • "Transaction field 'amount' is immutable and cannot be changed" (violation d'immuabilité)

Pourquoi les contraintes appartiennent au modèle de données

Quand les contraintes vivent dans la couche applicative, elles peuvent être contournées. Quand les contraintes sont déclaratives -- écrites comme annotations sur les champs d'entité -- elles servent à la fois de validation et de documentation.

Le système de contraintes de FlinDB n'est pas une fonctionnalité. C'est une philosophie : le modèle de données doit être complet et auto-appliqué.


Ceci est la partie 4 de la série « How We Built FlinDB ».

Navigation de la série : - [056] FlinDB: Zero-Configuration Embedded Database - [057] Entities, Not Tables - [058] CRUD Without SQL - [059] Constraints and Validation in FlinDB (vous êtes ici) - [060] Aggregations and Analytics

Share this article:

Responses

Write a response
0/2000
Loading responses...

Related Articles

Thales & Claude thales

Treize agents, quarante-trois minutes : la première session Workflow de Claude Fable 5, et ce qu'un script d'orchestration déterministe change aux builds multi-agents

Un prompt, treize agents, quarante-trois minutes : la première session de production avec Claude Fable 5 et l'outil Workflow de Claude Code a livré un site web de production complet de sept pages plus un endpoint backend de capture de leads, en un seul commit. Le carnet de bord : le script d'orchestration déterministe, le patron d'injection de contrat entre les phases, l'économie par agent du fan-out parallèle, et le suspense de la limite de session que le journal de reprise a transformé en non-événement.

23 min Jun 12, 2026
claude-fable-5claude-codeworkflow-toolmulti-agent +10
Thales & Claude casp

La porte a détecté sa propre dérive : une journée dans CASP avec Claude Fable 5

Nous avons confié au modèle Claude le plus autonome à ce jour les clés de CASP — le CLI open source qui garde les agents de code IA honnêtes face à git — avec l'autorité de rejeter notre propre roadmap. Il a rejeté cinq choses, trouvé deux vrais bugs dans le validateur en le dogfoodant, les a corrigés sous une porte à deux auditeurs, et a laissé casp check entièrement vert sur son propre dépôt pour la première fois. CASP 0.3.0 en est le résultat.

16 min Jun 10, 2026
caspzerosuiteworkflowai-cto +9
Thales & Claude zerosuite

La transplantation du CASP : comment la discipline des six fichiers est passée de Conductor à un ERP transport anti-fraude, ce que la compétence /next ajoute quand l'opérateur tape juste « next », et pourquoi le coût d'une dérive du CASP grimpe quand le projet, c'est l'argent des autres

La discipline du CASP qui a piloté trente-cinq sessions de Conductor est agnostique au produit. Le carnet de bord de sa transplantation sur KASSIA, un ERP transport anti-fraude pour un exploitant de flotte en Côte d'Ivoire : ce qui a migré, ce qui n'a pas migré (le validateur sur mesure — et ce que son absence coûte), ce que la compétence /next ajoute quand l'opérateur tape un seul mot, et là où le CASP s'arrête — le bug de déploiement qu'il ne pouvait pas voir parce qu'il enregistre l'intention, pas la réalité de l'infrastructure.

23 min Jun 8, 2026
kassiaerp-kassia-transport-logistiquezerosuiteCASP +15