関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論)
スポンサーリンク
概要
著者
関連論文
- 関係デ-タベ-スにおける普遍質問の最適化の一手法
- 関係デ-タベ-スにおける挿入操作時のビュ-更新処理に関する多項式時間手続き
- 関係デ-タベ-スにおける整合性をもつデ-タベ-ススキ-ムの設計手続き
- 関係デ-タベ-スにおけるデ-タベ-ススキ-ムの整合性判定手続き
- 関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論)
- 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)
- 関係デ-タベ-スにおける従属性判定問題に対する一結果
- 関係デ-タベ-スにおける潜在多値従属の導出
- 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)
- 公開鍵暗号系の安全性保証の難しさ (計算の複雑性に関する研究)
- セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎)
- メソッドスキーマの型整合性の十分条件
- 多重文脈自由文法の認識問題について
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- 元副会長 田中幸吉先生を偲ぶ
- Analysis of a Disk Operating System (プログラムの基礎理論)
- 誤り訂正符号を用いた直積ファイルのディスク配置法の評価
- 関係デ-タベ-スにおけるビュ-に関する従属性所属問題〔含 付録〕
- 関係デ-タベ-スにおけるビュ-に関する幾つかの判定問題