The CozoScript Manual# Contents Welcome 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 Indices# Index