Developing a Deductive Relational Database for Uniform Handling of Complex Queries

• Item type: JInfP(1)
• 公開日: 1983-11-20
• タイトル: Developing a Deductive Relational Database for Uniform Handling of Complex Queries
• タイトル / 言語: en
• タイトル: Developing a Deductive Relational Database for Uniform Handling of Complex Queries
• 言語: eng
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: Institute of interdisciplinary research faculty of engineering Tokyo University
• 著者所属(英): en
• 著者所属(英): Institute of interdisciplinary research faculty of engineering, Tokyo University
• 著者名: Yosihisa, Udagawa; Setsuo, Ohsuga
• 著者名(英): Yosihisa, Udagawa; Setsuo, Ohsuga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: This paper discusses design and implementation of a database system based upon the predicate logic. Logic was chosen as the design principle since it provides a useful way to derive the facts derivable by using general axioms together with facts stored explicitly in a data base. Since first order logic is not broad enough to express some of the practical queries we define a formal language for uniform handling of complex queries called the multi-layer logic for relational databases. Roughly speaking this logic is obtained by introducing a method of structuring types i.e. set into the first order many-sorted logic. As the result this formal language has enough descriptive power to express practical queries which contain functions whose arguments are grouped by some other varlables and/or which involve nested aggregation functions. In this paper we define the multi-layer logic for relational databases and discuss how to describe a query against relational databases with a formula in this logic. A query including virtual relations Could not be reduced directly into retrieval procedures. To evaluate such a query it is necessary to transform a query into one that contains no virtual relations. Query transformation algorithm is discussed. Implementation of SBDS-F3 is also given.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper discusses design and implementation of a database system based upon the predicate logic. Logic was chosen as the design principle since it provides a useful way to derive the facts derivable by using general axioms together with facts stored explicitly in a data base. Since first order logic is not broad enough to express some of the practical queries, we define a formal language for uniform handling of complex queries, called the multi-layer logic for relational databases. Roughly speaking, this logic is obtained by introducing a method of structuring types, i.e., set, into the first order many-sorted logic. As the result, this formal language has enough descriptive power to express practical queries which contain functions whose arguments are grouped by some other varlables and/or which involve nested aggregation functions. In this paper, we define the multi-layer logic for relational databases and discuss how to describe a query against relational databases with a formula in this logic. A query including virtual relations Could not be reduced directly into retrieval procedures. To evaluate such a query, it is necessary to transform a query into one that contains no virtual relations. Query transformation algorithm is discussed. Implementation of SBDS-F3 is also given.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA00700121
• 書誌情報: Journal of Information Processing; 巻 6, 号 3, p. 127-137, 発行日 1983-11-20
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-6652
• 出版者 / 言語: ja
• 出版者: 情報処理学会