====== ILS -Logic & Databases - 2013/2014 ====== * {{:teaching:is:reiter_-_logicdb_1984_.pdf|Towards a Logical Reconstruction of Relational Database Theory}} (Ray Reiter), 1984 * ({{:teaching:is:ils-franconi.pdf|slides}})