Skip to content

Book Guides Python GitHub ↗

Documentation

The bookBuild, connect and run SQL SQL, Python and transactions Full-text and vector search One ordered history Quorum agreement and progress Durable execution Reads, retries and serial order Snapshots, restart and replacement Formal verification Work, memory and latency Performance evaluation Reference and source mapPractical guidesSelf-contained native builds SQLodin command-line client Native SQL service SQLAlchemy ORM transactionsPythonPython clientDesign discussionsSOD 0001: The SQLodin Discussion Process SOD 0002: SQLodin Architecture: Multi-Master Replicated SQLite Protocol SOD 0003: Mathematical Foundations and Safety Proofs for Multi-Master Consensus SOD 0004: Production SQL and Durable Throughput SOD 0005: Durable Turns, Fast Learning, Quorum Reads and a Journal-Backed ApplicationSpecificationsGeneration publication R1.2 grouped and serial application Certified image retirement R2 protocol, host and storage refinement Recovery and operator lifecycle under R4 R5 bounded service resources R6 service admission batching Session retirement under R1.3 Replicated SQL contract under R1.1 R1.4 real-time read and transaction order

Documentation

Practical guides

Instructions for building, connecting to, and operating SQLodin.

Self-contained native builds
SQLodin command-line client
Native SQL service
SQLAlchemy ORM transactions

Written by Vikrant Rathore, with assistance from Ronak Rathore.MIT license

Search the documentation

Words or a topic