Symposium on Mathematical Fundamentals of Database Systems (1st 1987 Dresden, Germany)