時系列センサデータベースシステムTIVAの開発