Represeentation of Descriptive Names
スポンサーリンク
概要
- 論文の詳細を見る
We discuss in this papaer a new classification of descriptive names useful for referring computer resources which is based on a symbolic logic,and clarify the way of description of descriptive names.Descriptive names are defined in IS 7498-3(naming and addressing)[IS88] as'a name that identifies a set of one or more objects by means of a set of assertions concerning the properties of the objects of the set.'Thus,it is convernient to use descriptive names for resolving objects of computer resources, instead of identifiers, which are ordinary used, because descriptive names allow us not to know their accurate identifiers, especially in case of affecting identifiers due to changing circumstances, and help us to lead in the desired objects without difficulties. However, only properties of objects are too ambiguous to express, so that it is necessary to make clear what must be represented in a descriptive name. We do this in this paper by comparing the forms of a symbolic logic[SL53] and by constituting a framework of describing descriptive names.
- 一般社団法人情報処理学会の論文
- 1991-02-25
著者
関連論文
- Relational Algebra Machine GRACE
- Meaning Used in the Descriptive Names for Computer Resources
- Represeentation of Descriptive Names