Persistance, transactions et cohérence
Référence : cette page est une synthèse technique fondée sur le chapitre LaTeX cité ci-dessous. Pour la syntaxe exacte, la disponibilité ou les signatures ABI, vérifier le source versionné, le manifeste et les tests exécutables.
Portée et frontière de la source
Atomicité des transactions, persistance et synchronisation différée sont des garanties distinctes.
Collections, datasets et vues à curseur servent à accéder aux données applicatives et à les projeter. La source distingue sémantique des requêtes, fournisseurs de persistance, portée transactionnelle et durée de vie des objets Runtime. Un résultat en cache ne doit pas être confondu avec une décision métier ou une écriture faisant autorité.
Règles d’ingénierie
- Choisir la forme de collection ou dataset requise par la requête.
- Gérer la durée de vie du curseur et du fournisseur dans le Runtime propriétaire.
- Rendre explicites transaction et portée de cohérence des écritures.
- Traiter projections et caches de vues comme états dérivés pouvant être invalidés.
Plan du chapitre (intitulés LaTeX d’origine)
- Conceptual Identity
- Consistency Across Facets
- Transaction Boundaries
- Process-Level Consistency
- Design Rules
- Summary
Provenance LaTeX
Chapitre principal : Declarative Conceptual Programming with the logiCells Platform/developer-guide/chapters/transactions-consistency-and-identity.tex.