Diagrams (#18)

1 files changed, 72 insertions, 0 deletions

diff --git a/docs/roadmap.puml b/docs/roadmap.puml
new file mode 100644
index 0000000..42ad8c2
--- /dev/null
+++ b/docs/roadmap.puml
@@ -0,0 +1,72 @@
+@startuml roadmap
+!theme plain
+title Suggested Implementation Roadmap
+
+package "Phase 1: Stable Interface (MVP)" {
+  [domino.erl wrapper] as P1_1
+  [Command interface] as P1_2
+  [Basic constraint validation] as P1_3
+  [Karuta FFI bindings] as P1_4
+}
+
+package "Phase 2: Type System" {
+  [Fake-relations primitives] as P2_1
+  [Constraint-based refinement] as P2_2
+  [Subtype checking] as P2_3
+  [Type inference] as P2_4
+}
+
+package "Phase 3: Advanced Constraints" {
+  [Foreign keys] as P3_1
+  [Functional dependencies] as P3_2
+  [Tuple/relation-level constraints] as P3_3
+  [Transition constraints] as P3_4
+}
+
+package "Phase 4: Query Features" {
+  [Updatable views] as P4_1
+  [Materialized views] as P4_2
+  [Query optimization] as P4_3
+  [Explain plans] as P4_4
+}
+
+package "Phase 5: Distribution" {
+  [Merkle sync] as P5_1
+  [Multi-node replication] as P5_2
+  [Partition strategies] as P5_3
+  [Consistency protocols] as P5_4
+}
+
+package "Phase 6: Advanced Features" {
+  [Temporal queries] as P6_1
+  [Reactive queries] as P6_2
+  [Constraint solving] as P6_3
+  [Datalog engine] as P6_4
+}
+
+P1_1 -down-> P2_1
+P1_2 -down-> P2_2
+P1_3 -down-> P3_1
+P1_4 -down-> P2_1
+
+P2_1 -down-> P3_1
+P2_2 -down-> P3_2
+P2_3 -down-> P3_3
+P2_4 -down-> P4_1
+
+P3_1 -down-> P4_1
+P3_2 -down-> P4_2
+P3_3 -down-> P4_3
+P3_4 -down-> P4_4
+
+P4_1 -down-> P5_1
+P4_2 -down-> P5_2
+P4_3 -down-> P5_3
+P4_4 -down-> P6_1
+
+P5_1 -down-> P6_1
+P5_2 -down-> P6_2
+P5_3 -down-> P6_3
+P5_4 -down-> P6_4
+
+@enduml