Rule-based topology system for spatial databases to validate complex geographic datasets. (June 2017)