This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cavallo R. E., Klir G. J.: ‘Reconstructability Analysis of Multidimentional Relations: a Theoretical Basis for Computer-Aided Determination of Acceptable System Models’ — Int. J. General Systems, 5, 143–171 (1979)
Conant R. C.: ‘Detecting Subsystems of a Complex System’ — IEEE on Systems, Man and Cybernetics, SMC-2, 4, 550–553, (1979)
Gorchinskaya O. Yu.: ‘Theoretical Aspects of Relational Data Base Design’ — Automation and Remote Control, 44, n. 1, part. 1, 1–17 (1983)
Gorchinskaya O. Yu., Petrov S.V., Tenenbaum L. A.: ‘Decomposition of Relation Schemes and Logical Design of Relational Data Bases’ — Automation and Remote Control, 44 I, n. 2, part 2, 269–275
Gorchinskaya O. Yu., Petrov S.V., Tenenbaum L. A.: ‘Decomposition of Relation Schemes and Logical Design of Relational Data Bases ’–Automation and Remote Control, II, n. 3, part 2, 399–406, (1983)
Beeri C., Vardi M. Y.: ‘Formal Systems for Tuple and Equality Generating Dependencies ’ — SIAM J. on COMPUTING, 13, n. 1, 76–98, (1984)
Yanakakis M., Papadimitriou C. H.: ‘Algebraic Dependencies ’ — J. of Computer and System Sciences, 25, 2–41, (1982).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 D. Reidel Publishing Company
About this chapter
Cite this chapter
Petrov, S.V. (1987). Application of Predicate Calculus to the Study of Structures of Systems. In: Caianiello, E.R., Aizerman, M.A. (eds) Topics in the General Theory of Structures. Theory and Decision Library, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-3819-9_6
Download citation
DOI: https://doi.org/10.1007/978-94-009-3819-9_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-8199-3
Online ISBN: 978-94-009-3819-9
eBook Packages: Springer Book Archive