Effiziente und nachweisbare Multi-Query-Optimierung