AeroDB Documentation¶
Welcome to the official documentation for AeroDB, a strict, deterministic, and production-grade database system.
-
Getting Started
Learn how to install, configure, and run AeroDB in minutes.
-
Core Concepts
Understand the philosophy of correctness, determinism, and reliability.
-
Architecture
Deep dive into MVCC, WAL, Storage, and Replication/Failover models.
-
API Reference
Comprehensive guide to HTTP endpoints, Authentication, and Real-time APIs.
Key Features¶
Production Readiness
AeroDB is designed for mission-critical systems where data loss or corruption is unacceptable.
Correctness First¶
- Strict Schema Enforcement: No schemaless writes
- Deterministic Query Execution: Predictable performance
- Crash Safety: WAL-backed durability for every write
Robust Infrastructure¶
- Leader-Follower Replication: Atomic failover with split-brain protection
- Point-in-Time Recovery: Consistent snapshots and restoration
- Zero-Dependency: Self-contained binary, easy self-hosting
Modern Developer Experience¶
- Admin Dashboard: Visual management of data, users, and cluster
- Real-time Subscriptions: WebSocket-based live updates
- Serverless Functions: Integrated WASM runtime
Documentation Structure¶
The documentation is organized into clear sections matching the system's architecture:
- Core System: Fundamental invariants, storage engine, and lifecycle.
- MVCC: Multi-Version Concurrency Control implementation details.
- Replication: Distributed consensus, failover, and data synchronization.
- Performance: Optimization strategies, proof rules, and benchmarks.
- Developer Experience: SDKs, UI, and observability tools.
- Implementation Phases: Detailed roadmap and architectural decisions for each phase.
Contributing¶
AeroDB is open source software. We welcome contributions that align with our core values of reliability and correctness.