Code to support our course on databases