ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 全国大会
  2. 48回
  3. ソフトウェア

Haskell言語上のClassおよびMonadを用いたデータベース操作インターフェイスの実装

https://ipsj.ixsq.nii.ac.jp/records/125657
https://ipsj.ixsq.nii.ac.jp/records/125657
5e8a3414-f3d7-4dcd-8eba-ee475ad2f80a
名前 / ファイル ライセンス アクション
KJ00001332446.pdf KJ00001332446.pdf (195.8 kB)
Item type National Convention(1)
公開日 1994-03-07
タイトル
タイトル Haskell言語上のClassおよびMonadを用いたデータベース操作インターフェイスの実装
タイトル
言語 en
タイトル Implementing database operations for the Haskell programming language using Monad and class mechanism
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
お茶の水女子大学理学部
著者所属
お茶の水女子大学理学部
著者所属
お茶の水女子大学理学部
著者所属
お茶の水女子大学理学部
著者所属
お茶の水女子大学理学部
著者所属(英)
en
Faculty of Science, Ochanomizu University
著者所属(英)
en
Faculty of Science, Ochanomizu University
著者所属(英)
en
Faculty of Science, Ochanomizu University
著者所属(英)
en
Faculty of Science, Ochanomizu University
著者所属(英)
en
Faculty of Science, Ochanomizu University
論文抄録
内容記述タイプ Other
内容記述 本研究は、純粋な関数型算譜言語(pure FP)とデータベース(DB)の操作体系との統合を目的としている。関数型データベース算譜言語(DBPL)の研究・開発が行われる一方で、pure FPは種々の参照透過な入出力機構を備えてきた。従って、Nikhilに指摘されたような、順次実行制御機構の欠落に起因する更新操作記述の困難さは解消可能である。関数型のDBPLではDBは記号束縛の環境で与えられ、更新は記号束縛の変更/生成、または記億域に束 縛された変数への代入により行われる。一方、pure FPでは実行時にトップレベルの束縛環境変更はできないため、なんらかの形で変数操作に対応する操作体系を持ち込む必要がある。本研究では、関数型算譜言語Haskell上に、モナド(Monad)による順次実行制御と、多重定義関数によるDB操作体系の導入を行った。多重定義はクラス(class)機構によって制御されているが、言語仕様の若干の変更が必要であったため、Glasgow Haskell Compilerに手を加える形で、これを実現した。簡単な操作例を図に示す。これは"university" DB中の学生データを更新する例であり、findStudentは名前で学生データを検索するためのユーザ定義関数である。以下、想定したデータモデルの簡単な説明に続いて、モナドの利用とDB操作体系の実現について順に説明をし、最後にまとめを行う。
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 全国大会講演論文集

巻 第48回, 号 ソフトウェア, p. 261-262, 発行日 1994-03-07
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-21 02:03:32.030541
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3