論理・代数・データベース : 知の工学の基礎

Author(s)

Bibliographic Information

論理・代数・データベース : 知の工学の基礎

ピーター・グレイ著 ; 田中穂積, 徳永健伸訳

産業図書, 1990.1

Other Title

Logic, algebra and databases

Title Transcription

ロンリ ダイスウ データベース : チ ノ コウガク ノ キソ

Available at  / 127 libraries

Note

原著(Ellis Horwood, c1984)の翻訳

企画・編集: ST

参考文献: p291-298

Description and Table of Contents

Description

本書はデータベース質問言語を通じて、論理プログラミングと適用型プログラミングのデータベースへの応用について解説している。最近注目されている論理型言語Ｐｒｏｌｏｇの初歩から始めて、先進的な使い方までを解説している。また、ＡＳＴＲＩＤ関係代数を例にとり関係代数の能力についても述べている。

Table of Contents

  • 命題論理
  • 述語論理
  • ラムダ式とリスト処理
  • 節によるプログラムの表現
  • 関数型記法によるプログラムの表現
  • 関係モデル
  • 論理に基づく言語
  • 関係代数：適用型言語
  • 関係代数と関係論理の間の質問の変換
  • 関数データモデル
  • ＣＯＤＡＳＹＬ　ＤＢＴＧデータベース
  • ＣＯＤＡＳＹＬデータベースの関数型質問言語
  • 付録１　ワールドカップデータベース中の関係
  • 付録２　ＡＳＴＲＩＤ関数代数の構文
  • 付録３　ワールドカップデータベースのＢａｃｈｍａｎ図とＩＤＳ‐２スキーマＤＤＬ
  • 付録４　ＳＱＬの構文
  • 付録５　Ｄａｐｌｅｘの構文

by "BOOK database"

Details

Page Top