@techreport{oai:ipsj.ixsq.nii.ac.jp:00021595, author = {田中, 聡 and 権藤, 克彦 and Satoshi, Tanaka and Katsuhiko, Gondow}, issue = {4(1999-SE-125)}, month = {Jan}, note = {真のソフトウェアデータベースの実現への第一歩として、本研究では対象をUNIXファイルシステムに絞り、PCTEを用いてコマンドやファイル間の制約・関係の記述を試みる。制約には意図に関する制約や動的情報に関する制約など、計算機上での記述が困難なものが多数存在する。そういった制約のいくつかの例題に対して計算機の支援方法を提案し、完全に実現できない制約をどこまで記述が出来るかを、実際にその実現を試みたうえで検討する。UNIXコマンドにおける制約の実現をいくつか試みることにより、制約は同じような手段で実現できるものに分類出来ることが確認できた。, In this study, we try to implement a UNIX command database using Emeraude PCTE, which gives us information of relations and restrictions. it is a first step to realize useful software databases. But we found it difficult to realize, restrictions including dynamic information or software semantics. For several examples, we propose partial solutions to describe such restrictions. We consider how to cope with restrictions that is not able to realize completely, and we try to realize restrictions. We classify their restrictions based on the experience.}, title = {PCTEを用いたUNIXコマンドデータベースの作成}, year = {2000} }