Mathematical foundation of visual query language on spatial information

Visual Query Language on Spatial Information (SIVQL) is one kind of visual query language based on the extension of Query by Example (QBE). It is a visual operation based on graphics or media object, such as point, line and area elements. In this paper, the relation calculation and query function of SIVQL have been studied and discussed by using set theory and relation algebra. The theory foundation of SIVQL has been investigated by the mathematical method. Finally, its application examples are also given with the specific information system.