1. A query execution system, comprising: an identification component that identifies an iterate-aggregate shape query; and an execution component that processes the query recursively in parallel over multiple partitions.