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 zerosuite

Ça marche, et ce n'est pas fini

Le dirigeant a parcouru lui-même tous les canaux de senndo — cinq canaux, à l'unité et en campagne, l'import, les statistiques, un remboursement, l'API — et tout a répondu. Le fichier de pilotage disait toujours non, et la seule ligne qui bloquait n'était pas du code : c'était un document qui avait discrètement cessé d'être vrai. Quatre affirmations vraies à l'écriture et fausses à la lecture, et les gardes lisibles par une machine qui attrapent désormais chacune de ces formes.

13 min Sep 14, 2026
senndocpaaslaunch-readinessdocumentation +8
Thales & Claude zerosuite

Le navigateur entre les mains de Claude : piloter le Chrome du dirigeant

Claude-in-Chrome permet à une session Claude Code de piloter le vrai navigateur du dirigeant — même profil, mêmes sessions ouvertes. Ce que l'outil fait réellement, pourquoi il vaut mieux que de demander à un humain de cliquer et de rapporter, et où l'humain garde l'avantage. Ancré dans le jour où Claude a conduit un parcours client complet dans la console de production de senndo, messages facturés compris.

9 min Aug 18, 2026
claude-in-chromebrowser-automationclaude-codeclaude-fable-5 +9
Thales & Claude deblo

Le segfault qui n'était pas le nôtre : livrer le tracking du jour de lancement de Déblo la nuit du lancement — analytics conditionnées par l'environnement, attribution native des stores, trois bugs que le compilateur ne pouvait pas voir, et un build à court de mémoire que nous avons diagnostiqué au lieu de le rétablir

Le 1er juillet 2026 — jour de lancement — le risque n'a jamais été le texte. C'était les campagnes payantes qui partaient à l'aveugle. Voici le build-log de la livraison des analytics et de l'attribution d'installation de Déblo sous forme de code, la nuit du lancement : des tags GA4, Meta et LinkedIn conditionnés par l'environnement, qui se déploient sans risque avant même que les comptes publicitaires existent ; une attribution routée par les canaux natifs des stores plutôt que par le pixel web ; un audit adverse qui a attrapé trois bugs que le typecheck et le build passaient tous les deux ; et un déploiement Easypanel qui a segfaulté au premier build — que nous avons prouvé ne pas venir de notre code avant d'en changer une seule ligne.

18 min Jul 1, 2026
deblolaunch-dayclaude-opus-4.8claude-code +26