Advertisement

Relational Methods for Computer Science Applications

  • Ewa Orłowska
  • Andrzej Szałas

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
    4. Yasuo Kawahara
      Pages 247-260
  7. Generalizations of Theories of Relations

    1. Front Matter
      Pages 261-261
    2. Ivo Düntsch, Ewa Orłowska
      Pages 263-285

About this book

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-7908-1828-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Physica, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-662-00362-6
  • Online ISBN 978-3-7908-1828-4
  • Series Print ISSN 1434-9922
  • Series Online ISSN 1860-0808
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
Aerospace