データベースの整合性と更新の正当性検証
スポンサーリンク
概要
著者
関連論文
- A BRIEF TUTORIAL ON THE PHYSICAL REPRESENTATION OF DATABASE STRUCTURE (デ-タ・セマンティクスの理論と実際に関する研究)
- 拡張関係述語で記述された質問文の処理
- 非正規関係上の第1階述語理論質問
- 非正規関係上の順序組論理質問
- 1. 古典データベースから演繹データベースヘ (演繹データベース)
- デ-タベ-ス・スキ-マの射影 : 自然結合変換について
- データ操作言語設計の基礎
- データベースと概念スキーマ : 形式論理による枠組
- データベースの整合性と更新の正当性検証
- ヒストリカル・データベース上のスキーマ同値問題