Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (3rd 1991 Rostock, Germany)