Marianne Winslett Review - Towards a Logical Reconstruction of Relational Database Theory. 2001 3 ACM SIGMOD Digital Review db/journals/dr/dr3.html#Winslett01 db/journals/dr/Winslett01.html conf/db-workshops/Reiter82