A Cost Model for SPARK SQL | IEEE Journals & Magazine | IEEE Xplore