Formal Semantics of Relational Algebra/Calculus for Spatiotemporal Operator in Spatiotemporal Data Model


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 1, pp. 11-20, Jan. 1999
10.3745/KIPSTE.1999.6.1.11,   PDF Download:

Abstract

Because conventional spatial databases process the spatial information that is valid at current time, it is difficult to manage historical information efficiently which has been changed from the past to current. Recently, there are rapid increasing of interest to solve this problem so that makes databases to support historical information as well as spatial management at the same time. It can be eventually used in a various application areas. The formal semantics in a database is used to represent database structures and operations in order to prove the correctiveness of them in terms of mathematics. It also plays an important role in database to design a database and database management system. So in this paper, we suggest spatiotemporal domain, object, data, and spatiotemporal geometric/topological operations. And we not only formalize relational algebra/calculus using formal semantics for a spatiotemporal data model, but also show the example of real world with them.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
C. Y. So, K. D. Ho, R. K. Ho, "Formal Semantics of Relational Algebra/Calculus for Spatiotemporal Operator in Spatiotemporal Data Model," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 1, pp. 11-20, 1999. DOI: 10.3745/KIPSTE.1999.6.1.11.

[ACM Style]
Cho Young So, Kim Dong Ho, and Ryu Keun Ho. 1999. Formal Semantics of Relational Algebra/Calculus for Spatiotemporal Operator in Spatiotemporal Data Model. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 1, (1999), 11-20. DOI: 10.3745/KIPSTE.1999.6.1.11.