Skip to main content
SpringerLink
Log in

Decomposing Relations into Orderings

  • Conference paper
Book cover Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 2003)

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

Included in the following conference series:

Abstract

In various applications one is interested in decomposing a given relation in a suitable manner. In this paper we want to study several decompositions of a binary relation R of the form R=F;E;G ⌣, i.e., into a composition of a partial function F, an ordering E and the converse of a partial function G.

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. Chin, L.H., Tarski, A.: Distributive and modular laws in the arithmetic of relation algebras. University of California Press, Berkley (1951)

    Google Scholar 

  2. Codd, E.F.: A relational model of data for large shared data banks. Comm. ACM 13(6), 377–387 (1970)

    Article  MATH  Google Scholar 

  3. Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland, Amsterdam (1990)

    MATH  Google Scholar 

  4. Ganter, B., Wille, R.: Formal Concept Analysis - Mathematical Foundations. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  5. Jaoua, A., Belkhiter, N., Ounalli, H., Moukam, T.: Databases. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, Advances in Computer Science, pp. 196–210. Springer, Vienna (1997)

    Google Scholar 

  6. Olivier, J.P., Serrato, D.: Catégories de Dedekind. Morphismes dans les Catégories de Schröder. C.R. Acad. Sci. Paris 290, 939–941 (1980)

    MATH  MathSciNet  Google Scholar 

  7. Olivier, J.P., Serrato, D.: Squares and Rectangles in Relational Categories - Three Cases: Semilattice, Distributive lattice and Boolean Non-unitary. Fuzzy sets and systems 72, 167–178 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  8. Riguet, J.: Quelques propriétés des relations difonctionelles. C. R. Acad. Sci. Paris 230, 1999–2000 (1950)

    MATH  MathSciNet  Google Scholar 

  9. Riguet, J.: Les relations de Ferrers. C. R. Acad. Sci. Paris 232, 1729–1730 (1951)

    MATH  MathSciNet  Google Scholar 

  10. Schmidt, G., Ströhlein, T.: Relationen und Graphen. Springer, Heidelberg (1989); English version: Relations and Graphs. Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoret. Comput. Sci., Springer, Heidelberg (1993).

    Google Scholar 

  11. Schmidt, G., Hattensperger, C., Winter, M.: Heterogeneous Relation Algebras. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, Advances in Computer Science, pp. 40–54. Springer, Vienna (1997)

    Google Scholar 

  12. Winter, M.: Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdetermismus in Programmiersprachen. Dissertationsverlag NG Kopierladen GmbH, München (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Brock University, St. Catharines, Ontario, Canada, L2S 3A1

    Michael Winter

Authors
  1. Michael Winter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Christian-Albrechts-Universität Kiel, Olshausenstraße 40, 24098, Kiel, Germany

    Rudolf Berghammer

  2. Institute of Computer Science, University of Augsburg,  

    Bernhard Möller

  3. Department of Computer Science, University of Sheffield, United Kingdom

    Georg Struth

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Winter, M. (2004). Decomposing Relations into Orderings. In: Berghammer, R., Möller, B., Struth, G. (eds) Relational and Kleene-Algebraic Methods in Computer Science. RelMiCS 2003. Lecture Notes in Computer Science, vol 3051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24771-5_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24771-5_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22145-6

  • Online ISBN: 978-3-540-24771-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation