Developing a Deductive Relational Database for Uniform Handling of Complex Queries

概要

論文の詳細を見る
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.
一般社団法人情報処理学会の論文
1983-11-20