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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
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.
C. Brink, W. Kahl, G. Schmidt (eds.), Relational Methods in Computer Science, Springer 1997.
E. F. Codd, A relational model of data for large shared data banks, Comm. of the ACM, 13 (1970) 377–388.
I. Düntsh, S. Mikulás, Cylindric structures and dependencies in data bases, Theoretical Computer Science, 269,1,2 (2001), 451–468.
J. Desharnais, R. Khédri, A. Mili, Towards a Uniform Relational Semantics for Tabular Expressions, Proc. RELMICS 98, Warsaw 1998.
N. Goodman, The Structure of Appearance, 3rd edition, D. Reidel, 1977
T. Imielinski, W. Lipski, The relational model of data and cylindric algebras, Journal of Computer and System Sciences, 28 (1984), 80–102.
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.
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
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
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.
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.
R. Janicki, R. Khédri, On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39 (2001) 189–214.
R. Janicki, D. L. Parnas, J. Zucker, Tabular Representations in Relational Documents, in [3].
R. Khédri, Requirements Scenarios Formalization Technique: n Versions Towards One Good Version, Proc. of RELMICS’01, Genova 2001.
K. Kuratowski, A. Mostowski, Set Theory, North Holland, 1976.
D. L. Parnas, Tabular representations of relations, CRL Report 260, McMaster University, Hamilton, Ontario, Canada 1992.
D. L. Parnas, J. Madey, Functional Documentation for Computer System Egineering, Science of Computer Programming, 24,1 (1995), 41–61.
L. Polkowski, On Connection Synthesis via Rough Mereology, Fundamenta Informaticae, 46 (2001) 83–96.
L. Polkowski, A. Skowron, Rough Mereology; A New Paradigm for Approximate Reasoning, Journal of Approximate Reasoning, 15,4 (1997), 316–333.
J. T. J. Strzednicki, V. F. Rickey (eds.), Lesniewski’s Systems, Kluwer Academic, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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