Polygon computation based on MySQL OpenGIS