LID 2009, Logic in Databases, Roskilde University, Denmark, 29-30 October 2009