Skip to main content
SpringerLink
Log in

Towards a Mereological System for Direct Products and Relations

  • Conference paper
  • First Online:
Rough Sets and Current Trends in Computing (RSCTC 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2475))

Included in the following conference series:

Abstract

An algebraic model for a “part of” relation proposed in [13] is applied to direct product and relations. The basic properties are proven.

Partially supported by NSERC of Canada.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. R. Abraham, Evaluating Generalized Tabular Expressions in Software Documentation, CRL Report 346, McMaster University, Hamilton, Ontario, Canada, 1997. Available at http://www.crl.mcmaster.ca/SERG/serg.publications.html

    Google Scholar 

  2. T. A. Alspaugh, S. R. Faulk, K. Heninger-Britton, R. A. Parker, D. L. Parnas, J. E. Shore, Software Requirements for the A-7E Aircraft, NRL Memoramdum Report 3876, Naval Research Lab., Washington, DC, 1992.

    Google Scholar 

  3. C. Brink, W. Kahl, G. Schmidt (eds.), Relational Methods in Computer Science, Springer 1997.

    Google Scholar 

  4. E. F. Codd, A relational model of data for large shared data banks, Comm. of the ACM, 13 (1970) 377–388.

    Article  MATH  Google Scholar 

  5. I. Düntsh, S. Mikulás, Cylindric structures and dependencies in data bases, Theoretical Computer Science, 269,1,2 (2001), 451–468.

    Article  MathSciNet  Google Scholar 

  6. J. Desharnais, R. Khédri, A. Mili, Towards a Uniform Relational Semantics for Tabular Expressions, Proc. RELMICS 98, Warsaw 1998.

    Google Scholar 

  7. N. Goodman, The Structure of Appearance, 3rd edition, D. Reidel, 1977

    Google Scholar 

  8. T. Imielinski, W. Lipski, The relational model of data and cylindric algebras, Journal of Computer and System Sciences, 28 (1984), 80–102.

    Article  MATH  MathSciNet  Google Scholar 

  9. R. Janicki, Towards a Formal Semantics of Parnas Tables, 17th International Conference on Software Engineering (ICSE’95), IEEE Computer Society, Seattle, WA, 1995, 231–240.

    Google Scholar 

  10. R. Janicki, On Formal Semantics of Tabular Expressions, CRL Report 355, McMaster University, Hamilton, Ontario, Canada 1997. Available at http://www.crl.mcmaster.ca/SERG/serg.publications.html

    Google Scholar 

  11. R. Janicki, Remarks on Mereology of Direct Products and Relations, in J. Desharnais (ed.), Relational Methods in Computer Science, Methodos Publ. 2002, to appear, early version at http://www.crl.mcmaster.ca/SERG/serg.publications.html

  12. R. Janicki, Y. Zhang, A Simplistic Mereological System for Relations, Proc. of Int. Workshop on Computational Models of Scientific Reasoning and Applications CMSRA’02, Las Vegas, USA, 2002.

    Google Scholar 

  13. R. Janicki, On a Mereological System for Relational Software Specifications, Proceedings of MFCS’02 (Mathematical Foundations of Computer Science), Lecture Notes in Computer Science, to appear.

    Google Scholar 

  14. R. Janicki, R. Khédri, On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39 (2001) 189–214.

    Article  MATH  MathSciNet  Google Scholar 

  15. R. Janicki, D. L. Parnas, J. Zucker, Tabular Representations in Relational Documents, in [3].

    Google Scholar 

  16. R. Khédri, Requirements Scenarios Formalization Technique: n Versions Towards One Good Version, Proc. of RELMICS’01, Genova 2001.

    Google Scholar 

  17. K. Kuratowski, A. Mostowski, Set Theory, North Holland, 1976.

    Google Scholar 

  18. D. L. Parnas, Tabular representations of relations, CRL Report 260, McMaster University, Hamilton, Ontario, Canada 1992.

    Google Scholar 

  19. D. L. Parnas, J. Madey, Functional Documentation for Computer System Egineering, Science of Computer Programming, 24,1 (1995), 41–61.

    Article  Google Scholar 

  20. L. Polkowski, On Connection Synthesis via Rough Mereology, Fundamenta Informaticae, 46 (2001) 83–96.

    MATH  MathSciNet  Google Scholar 

  21. L. Polkowski, A. Skowron, Rough Mereology; A New Paradigm for Approximate Reasoning, Journal of Approximate Reasoning, 15,4 (1997), 316–333.

    MathSciNet  Google Scholar 

  22. J. T. J. Strzednicki, V. F. Rickey (eds.), Lesniewski’s Systems, Kluwer Academic, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Software, McMaster University, Hamilton, ON, L8S 4K1, Canada

    Ryszard Janicki

Authors
  1. Ryszard Janicki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Penn State Great Valley School of Professional Graduate Studies, 30 East Swedesford Road, Malvern, PA, 19355, USA

    James J. Alpigini

  2. Department of Electrical and Computer Engineering, University of Manitoba, Winnipeg, MB, R3T 5V6, Canada

    James F. Peters

  3. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Andrzej Skowron

  4. Department of Systems and Information Engineering, Maebashi Institute of Technology, 460-1 Kamisadori-Cho, Maebashi-City, 371-0816, Japan

    Ning Zhong

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Janicki, R. (2002). Towards a Mereological System for Direct Products and Relations. In: Alpigini, J.J., Peters, J.F., Skowron, A., Zhong, N. (eds) Rough Sets and Current Trends in Computing. RSCTC 2002. Lecture Notes in Computer Science(), vol 2475. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45813-1_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-45813-1_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44274-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation