ICDT: Database Theory