Table of Contents

Holyrel Overview
Fundamentals
Definitions
Type system
Type system - Type system.
Tuples
Tuple - Tuple.
Relations
Relation - Relations.
Base Relation - Base relation.
Operators - Relational operators.
Indexes
Hash Index - Hash index.
AVL Tree Index - AVL tree index.
Miscellaneous
Helper functions - Helper functions.
Stack - Stack.
Hash Table - Hash table.
BTree - BTrees.