サインイン
インサイト - データベース設計とクエリ
コネクテッドデータのデータモデリング： NoSQLグラフデータベースとビッグデータに焦点を当てた体系的文献レビュー
コネクテッドデータのデータモデリング手法に関する既存研究は、フォワードエンジニアリングのアプローチが主流であり、リバースエンジニアリングは発展途上である。
有限長のモジュラー束のS-glued和表現
有限長の任意のモジュラー束は、その極大原子区間を構成要素とするS-glued和として表現できる。
SQL クエリの理論を使った検証
SQL クエリの等価性を検証するために、有限バッグと有限関係の理論を拡張し、SQL の結合、射影、選択演算をモデル化する。
4DBInfer: 関係データベースの予測モデリングのための4次元ベンチマークツールボックス
関係データベースから有用な情報を抽出し、効率的な予測モデルを構築するための包括的なツールボックスを提案する。
データベースバックエンドプログラムのための分離ポリシー
データベースセキュリティとインフォメーションフローセキュリティの融合により、データベースバックエンドプログラムに対する分離ポリシーを形式的にモデル化し、静的に強制することができる。
属性の閉包を計算するための最小基底と直接基底の比較
属性の閉包を計算する際に、最小基底と直接基底のどちらを使うのが効率的かを分析する。
