Zobrazeno 1 - 4
of 4
pro vyhledávání: '"関係代数"'
Autor:
FURUSHO, Shinji, IIZAWA, Atsushi, NAGAO, Tadashi, YAMAMOTO, Yukio, HAYABE, Shuichi, OZAMOTO, Yoshikatsu, KOBAYASHI, Masahide
Publikováno v:
宇宙航空研究開発機構研究開発報告: 宇宙科学情報解析論文誌: 第10号 = JAXA Research and Development Report: Journal of Space Science Informatics Japan: Volume 10. :1-65
宇宙科学分野では観測データなど膨大なデータが存在し、それらのビッグデータを組み合わせて解析するニーズが日常的に存在する。その多くはインデックス設計などのチューニングに
Publikováno v:
九州大学大学院システム情報科学紀要. 6(1):47-51
The purpose of this study is to apply the denotational semantics of the coordination language to the safety analysis of parallel programs. In this paper, the denotational semantics of a simple coordination language is defined by relational strings, w