A Method for Synthesizing Data Retrieving Programs

スポンサーリンク

概要

• 論文の詳細を見る

• A method is presented for synthesizing programs which retrieve stored data. Program specifications are given in the form of queries to a relational database. Queries are expressed in a language based on predicate calculus. Given a query at the conceptual level together with a description of physical representation of relations (or predicates), a program is synthesized which manipulates stored data at the physical level. The method of synthesis is based on successive transformations of queries by applying "rules" which express procedural interpretations of logical formulas. Queries expressed by recursively defined relations (or formulas) are suassfully handled by our method. A target language (in which synthesized programs are written) is required to support functional arguments. Some aspects of future programming styles are discussed at the end of the paper.

• 一般社団法人情報処理学会の論文
• 1982-06-30

著者

• Yonezawa Akinori

  Dept. Of Information Science Faculty Of Science The University Of Tokyo

関連論文

• A Method for Synthesizing Data Retrieving Programs
• A Comparison of Parallel α-β Search Algorithms
• A Method for Synthesis of Data Base Access Programs (Mathematical Methods in Software Science and Engineering : Second Conference)
• Specifying Software Systems with High Internal Concurrency Based on Actor Formalism

スポンサーリンク