Logics for Emerging Applications of Databases (Dagstuhl Seminar 00291)