Efficient algorithms and performance results for multi-user knowledge bases