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/temporal-queries.puml | 61 ---------------------------------------------- 1 file changed, 61 deletions(-) delete mode 100644 docs/temporal-queries.puml (limited to 'docs/temporal-queries.puml') diff --git a/docs/temporal-queries.puml b/docs/temporal-queries.puml deleted file mode 100644 index 7d72ed5..0000000 --- a/docs/temporal-queries.puml +++ /dev/null @@ -1,61 +0,0 @@ -@startuml temporal-queries -!theme plain -title Temporal Queries with Immutable Database States - -database "DB @ t0" as DB0 -note bottom of DB0 - hash = abc123... - timestamp = 2024-01-01 10:00 - - relations: - employee => hash_e0 -end note - -database "DB @ t1" as DB1 -note bottom of DB1 - hash = def456... - timestamp = 2024-01-01 11:00 - - relations: - employee => hash_e1 -end note - -database "DB @ t2" as DB2 -note bottom of DB2 - hash = ghi789... - timestamp = 2024-01-01 12:00 - - relations: - employee => hash_e2 -end note - -database "Current DB" as DB3 -note bottom of DB3 - hash = jkl012... - timestamp = 2024-01-01 13:00 - - relations: - employee => hash_e3 -end note - -DB0 -right-> DB1: insert tuple -DB1 -right-> DB2: update salary -DB2 -right-> DB3: delete tuple - -note top of DB0 - **Time Travel Queries:** - - query_at_time(2024-01-01 10:00) - → returns DB0 - - query_at_time(2024-01-01 12:00) - → returns DB2 - - diff(DB0, DB3) - → (inserted: [...], deleted: [...], modified: [...]) - - history(employee, id: 1) - → [(t0, state0), (t1, state1), (t2, state2)] -end note - -@enduml -- cgit v1.2.3