Cozo database documentation

Welcome to the documentation for CozoDB, a feature-rich, transactional, relational database that uses Datalog for queries, focuses on graph data and algorithms, is capable of time travel, and makes no performance compromises.

You can start immediately with the Tutorial, which you can follow without installing anything.

For installation instructions and language-specific APIs, please refer to the GitHub page.

Contents

• Tutorial
  • First steps
  • Time travel
  • Extended example: the air routes dataset
  • Importing dataset the hard way
• Queries
  • Inline rules
  • Fixed rules
  • Query options
• Stored relations and transactions
  • Stored relations
  • Chaining queries
  • Triggers and indices
• Time travel
• System ops
  • Explain
  • Ops for stored relations
  • Monitor and kill
  • Maintenance
• Types
  • Runtime types
  • Literals
  • Column types
• Query execution
  • Disjunctive normal form
  • Stratification
  • Magic set rewrites
  • Semi-naïve evaluation
  • Ordering of atoms
  • Evaluating atoms
  • Early stopping
• Tips for writing queries
  • Dealing with nulls
  • How to join relations
• Functions and operators
  • Non-functions
  • Operators representing functions
  • Equality and Comparisons
  • Boolean functions
  • Mathematics
  • String functions
  • List functions
  • Binary functions
  • Type checking and conversions
  • Random functions
  • Regex functions
  • Timestamp functions
• Aggregations
  • Semi-lattice aggregations
  • Ordinary aggregations
• Utilities and algorithms
  • Utilities
  • Connectedness algorithms
  • Pathfinding algorithms
  • Community detection algorithms
  • Centrality measures
  • Miscellaneous
• Beyond CozoScript
  • export_relations
  • import_relations
  • backup
  • restore
  • import_from_backup
• Notes
  • Some use cases for Cozo
  • Cozo runs (almost) everywhere
  • On performance
  • Time travel in a database: a Cozo story

Indices

• Index