Combining relational calculus and the Dijkstra-Gries method for deriving relational programs

被引：11
|
作者：
Berghammer, R [1 ]
机构：
[1] Univ Kiel, Inst Informat & Prakt Math, D-24105 Kiel, Germany
来源：
INFORMATION SCIENCES | 1999年 / 119卷 / 3-4期
关键词：
program derivation; relational algebra; relational programs; graph theory;
D O I：
10.1016/S0020-0255(99)00012-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We show how to derive imperative programs for relation-based discrete structures by combining relational calculus and the Dijkstra-Gries method. Three examples are given, viz. Warshall's algorithm for transitive closures, a breadth-first-search reachability algorithm, and an algorithm for spanning trees. (C) 1999 Elsevier Science Inc. All rights reserved.
引用
收藏
页码：155 / 171
页数：17
相关论文
共 10 条
  • [1] Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
    Berghammer, R
    Hoffmann, T
    SCIENCE OF COMPUTER PROGRAMMING, 2000, 38 (1-3) : 1 - 25
  • [2] Fieldbus evaluation method combining analytic hierarchy process and grey relational analysis
    Gao, Hong-Wei
    Tong, Wei-Ming
    Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University, 2008, 29 (12): : 1309 - 1314
  • [3] A wear particle identification method by combining principal component analysis and grey relational analysis
    Wang, Jingqiu
    Wang, Xiaolei
    WEAR, 2013, 304 (1-2) : 96 - 102
  • [4] A Method for Deriving the Coagulation Boundary of Liver Tissue Using a Relational Model of Viscoelasticity and Temperature in Radio Frequency Ablation
    Lu, XiaoWei
    Tsukune, Mariko
    Watanabe, Hiroki
    Yamazaki, Nozomu
    Isobe, Yosuke
    Kobayashi, Yo
    Miyashita, Tomoyuki
    Fujie, Masakatsu G.
    2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2012, : 187 - 190
  • [5] New CBR adaptation method combining with problem-solution relational analysis for mechanical design
    Hu, Jie
    Qi, Jin
    Peng, Yinghong
    COMPUTERS IN INDUSTRY, 2015, 66 : 41 - 51
  • [6] Feature Extraction of Hob Vibration Signals Using Denoising Method Combining VMD and Grey Relational Analysis
    Jia, Yachao
    Li, Guolong
    Dong, Xin
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2022, 47 (03) : 2925 - 2942
  • [7] Feature Extraction of Hob Vibration Signals Using Denoising Method Combining VMD and Grey Relational Analysis
    Yachao Jia
    Guolong Li
    Xin Dong
    Arabian Journal for Science and Engineering, 2022, 47 : 2925 - 2942
  • [8] Combining Grey Relational Analysis and a Bayesian Model Averaging Method to Derive Monthly Optimal Operating Rules for a Hydropower Reservoir
    Fang, Guohua
    Guo, Yuxue
    Huang, Xianfeng
    Rutten, Martine
    Yuan, Yu
    WATER, 2018, 10 (08)
  • [9] Application of a FMEA method combining interval 2-tuple linguistic variables and grey relational analysis in preoperative medical service process
    Shi, Suxia
    Fei, Hongying
    Xu, Xueguo
    IFAC PAPERSONLINE, 2019, 52 (13): : 1242 - 1247
  • [10] Combining Grey Relational Analysis and a Bayesian Model Averaging Method to Derive Monthly Optimal Operating Rules for a Hydropower Reservoir (vol 10, 1099, 2018)
    Fang, Guohua
    Guo, Yuxue
    Huang, Xianfeng
    Rutten, Martine
    Yuan, Yu
    WATER, 2018, 10 (12):
1