Table of Contents

Holyrel Overview
Fundamentals
Definitions
Type system
Type system - Type system.
Tuples
Tuple - Tuple.
Relations
Relation - Base class of all relations.
Restricted Relation - Restricted relation.
Sorted Relation - Sorted relation.
Miscellaneous
Stack - Stack.
BTree - BTrees.