From 8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Thu, 5 Mar 2026 23:42:15 -0300 Subject: ocaml re-migration --- docs/constraint-enforcement-strategies.puml | 42 ----------------------------- 1 file changed, 42 deletions(-) delete mode 100644 docs/constraint-enforcement-strategies.puml (limited to 'docs/constraint-enforcement-strategies.puml') diff --git a/docs/constraint-enforcement-strategies.puml b/docs/constraint-enforcement-strategies.puml deleted file mode 100644 index 6e0305d..0000000 --- a/docs/constraint-enforcement-strategies.puml +++ /dev/null @@ -1,42 +0,0 @@ -@startuml constraint-enforcement-strategies -!theme plain -title Constraint Enforcement Strategies - -state "Operation Request" as Request -state "Immediate Validation" as Immediate -state "Deferred Validation" as Deferred -state "Execute Operation" as Execute -state "Transaction Commit" as Commit -state "Rollback" as Rollback -state "Success" as Success - -Request --> Immediate: Strategy 1:\nEager -Request --> Execute: Strategy 2:\nDeferred - -Immediate --> Execute: Valid -Immediate --> Rollback: Invalid - -Execute --> Deferred: At commit -Deferred --> Commit: Valid -Deferred --> Rollback: Invalid - -Commit --> Success -Rollback --> Request: Retry - -note right of Immediate - Immediate Checking: - - Validate before execute - - Simple reasoning - - May reject valid intermediate states - - Lower performance -end note - -note right of Deferred - Deferred Checking: - - Validate at transaction end - - Allows intermediate invalid states - - Better performance - - Complex error handling -end note - -@enduml -- cgit v1.2.3