Files
eth-summaries/semester4/dmdb/parts/00_relational-model_logic