ILS -Logic & Databases - 2013/2014
Towards a Logical Reconstruction of Relational Database Theory
(Ray Reiter), 1984
(
slides
)