David Toman Logical Data Expiration. 203-238 2003 conf/dagstuhl/2003lead Logics for Emerging Applications of Databases db/conf/dagstuhl/lead2003.html#Toman03