1997 Fiscal Year Final Research Report Summary
A funtadamental study on graph transforamtion systems with relational calculus
Project/Area Number 
07680363

Research Category 
GrantinAid for Scientific Research (C)

Allocation Type  Singleyear Grants 
Section  一般 
Research Field 
計算機科学

Research Institution  KYUSHU UNIVERSITY 
Principal Investigator 
KAWAHARA Yasuo Kyushu University, Department of Informatics, Professor > 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

CoInvestigator(Kenkyūbuntansha) 
OHSUKA Hiroshi Kyushu University, Department of Mathematics, Lecturer, 大学院・数理学研究科, 講師 (30203839)

Project Period (FY) 
1995 – 1997

Keywords  graph transformation / graph grammar / relational calculus / relation algebra / category theory / fuzzy set / fuzzy relation / fuzzy graph 
Research Abstract 
This reseach project obtained the following results : ・We developed an axiomatic formalisation of fuzzy relation algebras as a foundation of fuzzy relational calculus. By using the formalisation we generalized the representation problem for relation algebras, due to A.Tarski, to a representation problem for Dedekind and Zadeh categories, and we gave proofs of the representation problem for Dedekind and Zadeh categories. ・We proposed a new matching method for fuzzy graphs in a theory of fuzzy graph transformations based on fuzzy relational calculus. Then we proved the existence of pullbacks in a category of fuzzy graphs, which gurantees the foundation for pullback graph transformations. ・We invented relational set theory as an important foundation for graph transformations as well as mathematics and theoretical computer science. Also, we investigated its applications from a quite wide view. ・The detailed summary of this reseach project is described in the report of the reseach project (booklet), printed in Department of Informatics, Kyushu University. The head investigator, on behalf of investigators of the project, is grateful for giving the financial suport.

Research Products
(13 results)