Formal Definition of Spatiotemporal Query Algebra Based on Second-order Signature
Gong Yu-chang · Jisuanji gongcheng · 2005
A framework for spatiotemporal query processing based on object-relational database and middleware technologies is proposed, and the spatiotemporal query algebra is mainly discussed. The second-order signature is introduced for the formal definition of spatiotemporal query algebra, and the definitions on the logical structure of spatiotemporal database, the type system, as well as the query operations are further presented.