| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2023-10-12 11:05 選択演算と射影演算に対応する双方向変換の関数従属性のもとでの整合性検査 ○石田 潤・酒井聡太・石原靖哲（南山大）  SS2023-29 DC2023-35 |
|
| 抄録 | （和） | 関係データ共有のためのBIRDSと呼ばれる双方向変換フレームワークでは，双方向変換によって対応付けられたソースのデータとターゲットのデータのあらゆるペアが与えられた制約を満たす（整合性をもつ）かどうかを検査できる．しかし，制約が関数従属性の場合は一般には検査できないという課題がある．本研究では，選択演算と射影演算に相当する双方向変換が，与えられた関数従属性のもとで整合性をもつための判定可能な必要十分条件を与える． |
| （英） | A bidirectional transformation framework called BIRDS for relational data sharing can check whether every pair of source and target data mapped by a bidirectional transformation satisfies given constraints. However, in BIRDS, it cannot generally be checked when the constraints contain functional dependencies. In this study, we give the decidable, necessary and sufficient conditions for bidirectional transformations that correspond to selection and projection operations to be consistent under given functional dependencies. | |
| キーワード | （和） | 関係データ共有 / 双方向変換 / 関数従属性 / 整合性検査 / / / / |
| （英） | relational data sharing / bidirectional transformation / functional dependency / consistency checking / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 206, SS2023-29, pp. 44-49, 2023年10月. | |
| 資料番号 | SS2023-29 | |
| 発行日 | 2023-10-04 (SS, DC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2023-29 DC2023-35 |
|
| 研究会情報 | |
| 研究会 | SS DC |
| 開催期間 | 2023-10-11 - 2023-10-12 |
| 開催地（和） | 信州大学工学部（長野市） |
| 開催地（英） | |
| テーマ（和） | ディペンダブルコンピューティング，ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2023-10-SS-DC |
| 本文の言語 | 日本語 |
| タイトル（和） | 選択演算と射影演算に対応する双方向変換の関数従属性のもとでの整合性検査 |
| サブタイトル（和） | |
| タイトル（英） | Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 関係データ共有 / relational data sharing |
| キーワード(2)（和/英） | 双方向変換 / bidirectional transformation |
| キーワード(3)（和/英） | 関数従属性 / functional dependency |
| キーワード(4)（和/英） | 整合性検査 / consistency checking |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 石田 潤 / Jun Ishida / イシダ ジュン |
| 第1著者 所属（和/英） | 南山大学 (略称： 南山大) Nanzan University (略称： Nanzan University) |
| 第2著者 氏名（和/英/ヨミ） | 酒井 聡太 / Sota Sakai / サカイ ソウタ |
| 第2著者 所属（和/英） | 南山大学 (略称： 南山大) Nanzan University (略称： Nanzan University) |
| 第3著者 氏名（和/英/ヨミ） | 石原 靖哲 / Yasunori Ishihara / イシハラ ヤスノリ |
| 第3著者 所属（和/英） | 南山大学 (略称： 南山大) Nanzan University (略称： Nanzan University) |
| 講演者 | 第1著者 |
| 発表日時 | 2023-10-12 11:05:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2023-29, DC2023-35 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.206(SS), no.207(DC) |
| ページ範囲 | pp.44-49 |
| ページ数 | 6 |
| 発行日 | 2023-10-04 (SS, DC) |
[研究会発表申込システムのトップページに戻る]