Abstract
Special models of databases are constructed based on principles of composition programming. The determinacy, subordination and separation principles define a semantic-syntactic style of approach proposed, and the naming, functionality and compositionality principles define the algebraic method of formalization of informational and manipulational aspects. The informational model is considered to be the special subclass of named data, satisfying integrity constraints, and the manipulational model is defined by sets of basic manipulational functions and compositions. Computational completeness of the constructed models for general classes of named data, tabular and quasirelational data is studied.
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
V.N. Red’ko, Composition of programs and composition programming, Programmirovanie, No 5, 3–24 (1978). In Russian.
V.N. Red’ko, Fundamentals of composition programming, Programmirovanie, No 3, 3–13 (1979). In Russian.
I.A. Basarab, V.N. Red’ko, A logical-functional approach to databases, Programmirovanie, No. 2, 53–67 (1984). In Russian.
B.V. Gubsky, V.N. Red’ko, Semantics of data manipulation languages: composition approach, Proc. 12th international seminar on DBMS, Suzdal, USSR, Oct. 17–20, 65–76 (1989).
N.S. Nikitchenko, V.I. Zadorozhny, An algebraic approach to deductive databases query languages formalization, Programmirovanie, N. 6, 29–47 (1992). In Russian.
I.A. Basarab, N.S. Nikitchenko, V.N. Red’ko, Composition data bases, Kiev, Lybid’, 192 p. (1992). In Russian.
F. Bancilhon, S. Khoshafian, A calculus for complex objects, Proc. SIG-MOD 86, 53–59 (1986).
M. Atkinson, P. Richard, P. Trinder, Bulk data types for large scale programming, Technical report 7, FIDE project, University of Glasgow, Glasgow G128QQ, Scotland, 26 p. (1991).
I.A. Basarab, B.V. Gubsky, N.S. Nikitchenko, Composition models of object-oriented databases, International workshop on advances in databases and information systems ADBIS’94, Collection of abstracts, Institute for Problems of Informatics of the Russian Academy of Sciences, Moscow, p. 25 (1994).
J.A. Goguen, J. Meseguer, Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations, Theoretical Computer Science, 105, 217–273 (1992).
M. Atkinson, et. al. The object-oriented database system manifesto, DOOD’89, 40–57 (1989).
N.S. Nikitchenko, On the construction of classes of generalized computable functions and functionals, UkrNIINTI, techn. report No 856 Uk-84, Kiev (1984). In Russian.
V.N. Red’ko, N.S. Nikitchenko, Composition aspects of programmology, Kibernetika, part 1, No 5, 49–56 (1987), part 2, No 1, 28–34 (1988). In Russian.
D.B. Buj, B.V. Gubsky, V.N. Red’ko, Universality problems in the classes of computable named functions, Kibernetika, No 4, 58–65 (1988). In Russian.
B.V. Gubsky, E.V. Krapiva, I.V. Red’ko, Computable functions on relations and tables in countable and finite alphabets, Docl. Acad. Nauk. Ukr.SSR, Ser. A, No 10, 74–76 (1988). In Russian.
B.V. Gubsky, I.A. Basarab, Computable functions in the tabular data bases, Kibernetika, No 2, 24–25 (1989). In Russian.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Basarab, I.A., Gubsky, B.V., Nikitchenko, N.S., Red’ko, V.N. (1995). Composition Models of Databases. In: Eder, J., Kalinichenko, L.A. (eds) East/West Database Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3577-7_16
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3577-7_16
Publisher Name: Springer, London
Print ISBN: 978-3-540-19946-5
Online ISBN: 978-1-4471-3577-7
eBook Packages: Springer Book Archive