Composition Models of Databases

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.