Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)354022145X, 9783540221456, 9783540247715

This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003.

The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.

---

Table of contents :
Front Matter….Pages –
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods….Pages 1-7
Kleene Algebra with Relations….Pages 8-20
Integrating Model Checking and Theorem Proving for Relational Reasoning….Pages 21-33
Fixed-Point Characterisation of Winning Strategies in Impartial Games….Pages 34-47
Checking the Shape Safety of Pointer Manipulations….Pages 48-61
Applying Relational Algebra in 3D Graphical Software Design….Pages 62-73
Investigating Discrete Controllability with Kleene Algebra….Pages 74-85
Tracing Relations Probabilistically….Pages 86-98
Pointer Kleene Algebra….Pages 99-111
Kleene Modules….Pages 112-123
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions….Pages 124-136
Towards a Formalisation of Relational Database Theory in Constructive Type Theory….Pages 137-148
SCAN Is Complete for All Sahlqvist Formulae….Pages 149-162
Relations and GUHA-Style Data Mining II….Pages 163-170
A Note on Complex Algebras of Semigroups….Pages 171-177
Calculational Relation-Algebraic Proofs in Isabelle/Isar….Pages 178-190
A Calculus of Typed Relations….Pages 191-201
Greedy-Like Algorithms in Modal Kleene Algebra….Pages 202-214
Rasiowa-Sikorski Style Relational Elementary Set Theory….Pages 215-226
Relational Data Analysis….Pages 227-237
Two Proof Systems for Peirce Algebras….Pages 238-251
An Institution Isomorphism for Planar Graph Colouring….Pages 252-264
Decomposing Relations into Orderings….Pages 265-277
Back Matter….Pages –