Vitalsource Technologies, Inc. Optimierung Von Nested Queries Unter Verwendung Der Nf2-algebra