Skip to main content
SpringerLink
Log in

A Computer Algebra Approach to Relational Systems Using Gröbner Bases

  • Conference paper
  • First Online:
Relational Methods in Computer Science (RelMiCS 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2561))

Included in the following conference series:

  • 310 Accesses

Abstract

The aim of this paper is to suggest that Gröbner bases can be applied to the study of reflexive and transitive relations. To illustrate our suggestion, we consider two examples. The first example is a Rule-Based- Expert-System: the reflexive and transitive relation is the implication arrow. The second example deals with railway interlocking systems: the reflexive and transitive relation is the accessibility to sections in a railway network. The study is generic; it can be applied to any reflexive and transitive relation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. V. Adams and P. Loustaunau, An Introduction to Gröbner Bases. Graduate Studies in Mathematics 3. American Mathematical Society Press, Providence, RI (1994).

    Google Scholar 

  2. A. Capani, and G. Niesi, CoCoA User’s Manual (v. 3.0b), Dept. of Mathematics University of Genova (1996).

    Google Scholar 

  3. J. Chazarain, A. Riscos, J. A. Alonso and E. Briales, Multivalued Logic and Gröbner Bases with Applications to Modal Logic. Journal of Symbolic Computation, 11 (1991) 181–194.

    Article  MATH  MathSciNet  Google Scholar 

  4. I. Düntsch, G. Gediga, E. Orlowska, Relational attribute systems. Preprint.

    Google Scholar 

  5. L. M. Laita, E. Roanes-Lozano, V. Maojo, L. de Ledesma, L. Laita, An Expert System for Managing Medical Appropriateness Criteria based on Computer Algebra Techniques. Computers and Mathematics with Applications, 42/12(2001) 1505–1522.

    Article  MATH  Google Scholar 

  6. L. M. Laita, E. Roanes-Lozano, L. de Ledesma and J. A. Alonso, A Computer Algebra Approach to Verification and Deduction in Many-Valued Knowledge Systems, Soft Computing 3–1 (1999) 7–19.

    Article  Google Scholar 

  7. E. Roanes-Lozano, L. M. Laita and E. Roanes-Macías, A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra, Mathematics and Computers in Simulation 45/1 (1998) 83–99.

    Article  MATH  MathSciNet  Google Scholar 

  8. E. Roanes-Macías and E. Roanes-Lozano, Cĺculos matemáticos por ordenador con Maple V.5. Ed. RubiñOS 1860, Madrid (1999).

    Google Scholar 

  9. E. Roanes-Lozano, E. Roanes-Macías, L.M. Laita, Railway Interlocking Systems and Gröbner Bases, Mathematics and Computers in Simulation 51/5 (2000) 473–482.

    Article  Google Scholar 

  10. F. Winkler, Polynomial Algorithms in Computer Algebra. Springer, Wien (1996).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Artificial Intelligence, Universidad Politécnica de Madrid, Campus de Montegancedo, Boadilla del Monte, 28660, Madrid, Spain

    L.M. Laita & L. de Ledesma1

  2. Dept. Algebra, Universidad Complutense de Madrid, Edificio “Almudena”, c/ Rector Royo Villanova s/n, 28040, Madrid, Spain

    E. Roanes-Lozano

  3. Dept. de Ciencias de la Computación, Universidad de Alcalá, Escuela Politécnica,Campus Universitario, 28871, Alcalá de Henares, Madrid, Spain

    T. Calvo & L. Gozález-Sotos

Authors
  1. L.M. Laita
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. Roanes-Lozano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. de Ledesma1
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. T. Calvo
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. L. Gozález-Sotos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Tilburg University, P.O. Box 90153, 5000, LE Tilburg, The Netherlands

    Harrie C. M. de Swart

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laita, L., Roanes-Lozano, E., de Ledesma1, L., Calvo, T., Gozález-Sotos, L. (2002). A Computer Algebra Approach to Relational Systems Using Gröbner Bases. In: de Swart, H.C.M. (eds) Relational Methods in Computer Science. RelMiCS 2001. Lecture Notes in Computer Science, vol 2561. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36280-0_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-36280-0_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00315-1

  • Online ISBN: 978-3-540-36280-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation