PDF 1997 Spatial Data Types for Database Systems Finite Resolution Geometry for Geographic Information Systems Lecture Notes in Computer Science