Text this: Una semántica formal para Apache Spark en lógica de reescritura