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


Vol. 6,  No. 1, pp. 11-20, Jan.  1999
10.3745/KIPSTE.1999.6.1.11


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals