SYMPHOSIUM on mathematical fundamental of database and knowledge base systems Rostock, Germany, may 6 - 9, 1991 (Springer-Verlag, 1991)