The use of basic SQL aggregates in recursive queries enables programmers to employ query languages to develop complete big-data applications, including graph, machine learning and data mining applications. To achieve this goal, programmers must make sure that their SQL queries can be converted into equivalent Datalog programs that combine rigorous declarative semantics with very eficient and highly scalable fixpoint based semantics. Thus, our approach provides methods and tools to verify that (i) queries with recursive aggregate have Stable Model Semantics (SMS) and (ii) such SMS can be represented via a fixpoint-based computation that is conducive to bulk-synchronous and stale-synchronous parallelism. We also provide techniques to restructure queries that satisfy (i) but not (ii) into queries that satisfy both.