Fork algebras are a formalism based on the relational calculus with a particular appeal to computer science. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.