© 2001

Relational Methods for Computer Science Applications

  • Ewa Orłowska
  • Andrzej Szałas
  • Interdisciplinary spectrum of the state of the art of relational methods

  • New and original developments in the various fields of relational methods


Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 65)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Relations in Programming

    1. Front Matter
      Pages 1-1
    2. Jules Desharnais, Ridha Khédri, Ali Mili
      Pages 3-14
    3. Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer
      Pages 37-58
    4. Michael Winter, Peter Kempf
      Pages 59-73
  3. Relational Constraints

    1. Front Matter
      Pages 75-75
    2. Jarosław Kachniarz, Andrzej Szałas
      Pages 97-109
  4. Relations in Linguistics and Spatial Reasoning

    1. Front Matter
      Pages 111-111
    2. Ivo Düntsch
      Pages 113-133
    3. Joachim Lambek
      Pages 135-147
  5. Relations and Uncertainty

  6. Theories of Relations

    1. Front Matter
      Pages 217-217
    2. Lev Gordeev
      Pages 219-237
    3. Robin Hirsch, Ian Hodkinson
      Pages 239-246

About this book


This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields.
The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.


Applied Algebraic Logic Programming Prolog Relational Calculus Relational Database Theory algorithms computer computer science knowledge representation linguistics logic modeling uncertainty verification

Editors and affiliations

  • Ewa Orłowska
    • 1
  • Andrzej Szałas
    • 2
  1. 1.Institute of TelecommunicationsWarsawPoland
  2. 2.Institute of InformaticsUniversity of WarsawWarsawPoland

Bibliographic information

  • Book Title Relational Methods for Computer Science Applications
  • Editors Ewa Orlowska
    Andrzej Szalas
  • Series Title Studies in Fuzziness and Soft Computing
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Physica, Heidelberg
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-3-7908-1365-4
  • Softcover ISBN 978-3-662-00362-6
  • eBook ISBN 978-3-7908-1828-4
  • Series ISSN 1434-9922
  • Series E-ISSN 1860-0808
  • Edition Number 1
  • Number of Pages XIII, 297
  • Number of Illustrations 3 b/w illustrations, 0 illustrations in colour
  • Topics Arithmetic and Logic Structures
    Logics and Meanings of Programs
    Artificial Intelligence
  • Buy this book on publisher's site