跳到主要內容

臺灣博碩士論文加值系統

(18.97.14.84) 您好!臺灣時間:2025/01/14 21:17
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:周永豐
研究生(外文):Jou, Yung-Feng
論文名稱:一個植基於Prolog的分散式物件導向環境
論文名稱(外文):A Distributed Prolog-Based Object-Oriented Environment
指導教授:貝諾爾
指導教授(外文):Daniel J. Buehrer
學位類別:碩士
校院名稱:國立中正大學
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1993
畢業學年度:81
語文別:英文
論文頁數:57
中文關鍵詞:分散式物件導向推演式
外文關鍵詞:DistributedObject-Orienteddeductive
相關次數:
  • 被引用被引用:0
  • 點閱點閱:134
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
設計物件導向資料庫的目的是用來解決大部份傳統資料庫所難以應付的問
題,例如:處理複雜結構及遞迴式定義的物件,資料庫中主動式的物件,
以及提供瀏灠和能處理複雜物件的資料庫語言。  我們將描述一個小型
的Prolog程式庫,這個程式庫提供一個物件導向環境,它可以管理複雜且
不常更動的資料。這個環境是結合了物件導向觀念及邏輯程式語言的優點
,我們稱這個環境為"MODEL_OODB",它是一個大約1200行以Prolog寫成的
程式。這種結合了物件導向觀念及邏輯程式語言的方法有許多優點。第一
,MODEL_OODB所提供的資料庫語言非常接近邏輯式語言,所以具備了物件
抽象化的能力。第二,在Prolog中有一個內建的推理機,MODEL_OODB也利
用了此推理機,所以也擁有推理的能力。第三, Prolog中雜湊函數的執
行效率並不太差,這對MODEL_OODB中動態連接助益頗大。在我們這個環境
中,MODEL_OODB提供的操作模式就好像UNIX的檔案系統一樣,它可以輕易
解決相同檔名的困擾,這也使得分散式的檔案管理不致混淆。MODEL_OODB
分散式能力的作法是把遠方的檔案拷貝到目前工作的基台上,如果使用者
鎖定遠方的檔案,則其他任何人都無法更動它,直到鎖定解開。這個鎖定
的技巧,我們是用UNIX上的指令及遠程指令來完成,這個簡單的鎖定技巧
可以避免一個以上的使用者同時修改相同的檔案。

Object-oriented database systems were proposed to solve the
difficulties encountered in traditional databases, such as
deal with complex structures and recursively-defined
persistent objects, active database components, and support
browsing and complex queries. We will describe a small
library in Prolog. This library provides an object-
oriented environment which can maintain persistent,
complex data components. This environment combines the
advantages of both object-oriented concepts and a logic
programming language. We call this environment which is
about 1200 lines of Prolog code. There are some
advantages for this approach. First, the database language
in MODEL_OODB is like logic programming; it is a
declarative language, so it supports data abstraction.
Second, there is an inference engine in Prolog, and the
MODEL_OODB has a built-in deductive capability. Third,
the performance of Prolog's hashing function is not
bad, it is very helpful for doing dynamic binding in
MODEL_OODB. In the user environment, MODEL_OODB provides an
operation mode which is like that of the UNIX file system.
It can easily solve name conflict problems, so it is not
confused for its distributed consult files. The
distributed consulting of MODEL_OODB uses remote coyp of
the remote file into local host. If the user locks the remote
file, then no others can update it until it is unlocked.
Our locking mechanism uses UNIX shell commands or UNIX
remote shell commands. It provides a simple lock mechanism
to permit users to be sure that no more than one user are
updating the shared data simultaneously.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top