Database for Horizon, an OS in development by Requiem