木構造データに対する宣言的操作の完全性と健全性
スポンサーリンク
概要
- 論文の詳細を見る
リスト,木,グラフなどの自己参照型オブジェクトのスキーマは巡回構造を持つ.OQLやXML-QLなど複合オブジェクトのための宣言型言語はいくつか提案されているが,そのほとんどは自己参照型のオブジェクトを扱うことができない.また,検索されたオブジェクトに対しての編集操作はほとんど研究されていない.本稿では,木構造データを操作するためのビュー機能を提案する.ビュー機能は領域変数と検索条件を用いて定義される.領域変数は木構造のノード,枝,部分木にマッチングする.選択条件は所望の木を検索するだけでなく,変更後の木の状態を指定するためにも用いる.我々は,ビュー機能の完全性と健全性について定義し,それを証明する.
- 社団法人電子情報通信学会の論文
- 2002-05-10
著者
関連論文
- サンプルを用いたJavaのクラスライブラリ検索システムの開発 : コンテキストに依存するルーチンへの対応およびデータ構造の考慮
- ソフトウェア設計支援ツールPerseusに対するリバースエンジニアリング機能の組み込み
- 9.高度IT人材育成フォーラム(ITフォーラムへの誘い)
- 統合型電子マネーにおける売上情報の活用と個人情報管理(セッション10C : ビジネス・データベース応用)
- 統合型電子マネーにおける売上情報の活用と個人情報管理(ビジネス・データベース応用)(「夏のデータベースワークショップ(DBWS2003)」一般)
- 静的なオブジェクト指向プログラムに対するインスタンスを考慮した理解コスト計量法
- 静的なオブジェクト指向プログラムに対する理解コスト計量法と実験的評価
- 認知心理学的アプローチに基づくソフトウェア理解度計量法
- オブジェクト指向プログラムにおけるインスタンス間関連の構造化ガイドライン
- シグモイド状の入力-平均出力特性をもつ振動ユニットを使ったホップフィールドニューラルネットワーク
- 入力-平均出力特性がシグモイド状となる振動ユニットを用いたHopfieldニューラルネットワークとエネルギー関数値導出の方法
- 「高度応用のための情報ベースモデルとその実現技術」を目指して (メディア統合および環境統合のための高機能データベースシステム、および一般)
- 多次元分類 : 木構造分類とキーワード分類の複合的アプローチ
- 多次元分類 : 木構造分類とキーワード分類の複合的アプローチ
- Chidamberのメトリクスとメソッド : 属性グラフを用いたOOPのクラス分割
- 高速バスを活用したトランザクション処理アーキテクチャの性能評価
- 高速バスを活用したトランザクション処理アーキテクチャの性能評価
- オブジェクト指向プログラムにおけるインスタンス間関連の複雑さ計量法
- ブロードキャストを利用したディスク間の動的データ再配置方式の性能評価
- サンプルを用いたVisual Basic関数検索システムの開発
- サンプルを用いたVisual Basic関数検索システムの開発
- 静的なJavaプログラムにおける振る舞いの理解コスト計量アルゴリズム
- IT分野のスキル標準を用いた知識・スキル項目の体系化と教育プログラムの分析事例
- オブジェクト指向データベースを利用した汎用スケジュール管理ツール
- 計画作成用データベースツールVicePlannerのビュー機能
- オブジェクト指向データベースを利用した汎用スケジュール管理ツール
- 通常時と故障時の動的負荷分散を行う並列ディスクアーキテクチャ
- ディスクアレイを接続した複数バス間での動的負荷分散
- 2000-DBS-122-16 サンプルを用いた検索方式における仮想的なシステム状態の構築
- DE2000-38 サンプルを用いた検索方式における仮想的なシステム状態の構築
- ぺた語義:コラム:ジグソーパズルのピースを組み合わせると
- 構造化されたアルゴリズムを対象とした教育支援ツールPerseus
- 多次元分類を用いた情報整理における管理容易性と検索柔軟性
- インターネット上の情報を整理・共有するDBツール
- 複合オブジェクトを宣言的に操作するためのビュー機能
- 佐賀のIT戦略は教育から(地域社会とIT)
- 静的なJavaプログラムを対象とした構造の理解コスト計量ツール
- データ操作のグループ化によるディスクアクセスの低減
- 木構造データに対する宣言的操作の完全性と健全性
- 仕様に基づいたRDBクエリ検索システム
- 仕様に基づいたRDBクエリ検索システム
- 仕様に基づいたRDBクエリ検索システム
- 集合間の相違を明確にする要素辞書
- DB要素検索のための実体インデクス
- 論理式による内包情報のモデル化とその操作
- サンプルを用いた論理式検索機構の評価
- サンプルを用いた論理式検索機構の評価
- 宣言的なデータベース操作のためのビュー機能のインターフェース
- 宣言的なデータベース操作のためのビュー機能のインターフェース
- ビュー機能を用いたE-Rモデルデータベースの操作
- ビュー機能を用いたRDBとOODBの操作
- 設計データベースにおけるツールキットによる並列処理制御方式
- RO-003 OLAP操作を活用したファイル整理ツールHyper Classifier(情報システム,査読付き論文)
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- 産学官連携による高度IT人材育成の現状と展望 : 高度IT人材育成フォーラム・公開イベント報告
- JABEE認定基準に対応した教育システムの構築と運営
- 多次元分類方式における木構造構成の自動化
- サンプルを用いたVisual Basic関数検索システムの評価実験
- サンプルを用いたVisual Basic関数検索システムの評価実験
- ソフトウェアグループ化ガイドラインに対応するC++プログラム
- 保守性を重視したC++言語の再設計構想
- ビューを活用した複合オブジェクトの一貫性検査
- ビューを活用した複合オブジェクトの一貫性検査
- ブロードキャストを利用した高効率トランザクション処理マシンの基本アーキテクチャ
- パターンマッチングに基づいたCプログラムの落し穴検出法
- ディスクアレイを接続した複数バス間での動的負荷分散
- 外部組織が実施する高度IT資格制度の認定に関する情報処理学会モデル
- 個人に対する高度IT資格認証制度に関する情報処理学会モデル
- 高度IT資格制度に関する情報処理学会のビジョン
- 高度IT技術者の資格制度-エグゼクティブサマリ-
- 「高度IT資格制度」特集号について
- astah* professionalを活用した要求管理教育支援ツールREMEST
- 既存プログラムを対象としたソフトウェア設計の理解過程の分析
- ビュー機能を用いたデータベーススキーマの操作
- 穴埋め問題を用いたプログラミング教育支援ツールpgtracerの概要と学生用機能の実装
- REBOKに基づく要求管理教育支援ツールREMEST
- 穴埋め問題を用いたプログラミング教育支援ツールpgtracerにおける教員用機能の実装