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