Volume 1 - Relational Methods in Computer Science

Special volume



Table of contents also available in .ps or .pdf format. A BibTex-file for this volume is available here.

Preface
G. Schmidt, 1-2
pdf | ps


1. Tarskian Algebraic Logic
T. S. Ahmed, 3-26


2. Algebras of relations of various ranks, some current trends and applications
H. Andréka, J. X. Madarász, I. Neméti, 27-49


3.
Computation of Cut Completions and Concept Lattices Using Relational Algebra and RelView
R. Berghammer, 50-72


4.
Solving Design Problems in OO-Software Engineering with Relations and RelView
R. Berghammer, A. Fronk, 73-92


5.
Modal Kleene Algebra and Applications - A Survey
J. Desharnais, B. Möller, G. Struth, 93-131


6.
Relational Representation Theorems for Some Lattice-Based Structures
I. Düntsch, E. Orłowska, A. M. Radzkowska, D. Vakarelov, 132-160
abstract | pdf | ps | bibtex


7.
Algebraization and representation of  mereotopological structures
I. Düntsch, M. Winter, 161-180


8.
Fork Algebras: Past, Present and Future
M. Frias, P. A. S. Veloso, G. A. Baum, 181-216


9.
Discovering Regularities in Databases Using Cannonical Decomposition of Binary Relations
A. Jaoua, S. Elloumi, A. Hasnah, J. Jaam, I. Nafkha, 217-234


10.
Representable Sequential Algebras And Observation Spaces
P. Jipsen, 235-250


11.
A Survey on Decidable First-Order Fragments and Description Logics
U. Hustadt, R. A. Schmidt, L. Georgieva, 251-276


12.
Refactoring Heterogeneous Relation Algebras around Ordered Categories and Converse
W. Kahl, 277-313


13.
A Proposal for a Multilevel Relational Reference Language
G. Schmidt, 314-338


14.
Goguen Categories
M. Winter, 339-357