Categorial modelling of modification predicate| queries for information systems

Authors

  • V. I. Sheketa
  • L. M. Hobyr

Keywords:

categorical interpretation, mechanism of modification predicates, syntactic category, indexed category, model of modification predicate query

Abstract

Within the framework of fixed values theory and categoriсal deduction the construction of syntactic category in which the values of predicates is obviously set is performed and construction of functor interpretation, that displays the obtained syntactic and semantic indexed category, that is an universum of all possible states (values of global variable or current corteges of free variables), which can be initiated by implementation of modification predicate query are provided. For every possible state, the proper layer of indexed category represents the set of deductions. The obtained model of modification predicate query are considered, as one of its independent semantics, which are being interpreted as classes of arrows.

Downloads

Abstract views: 91

Published

2010-11-12

How to Cite

[1]
V. I. Sheketa and L. M. Hobyr, “Categorial modelling of modification predicate| queries for information systems”, Вісник ВПІ, no. 6, pp. 206–213, Nov. 2010.

Issue

No 6 (2005)

Section

Information technologies and computer sciences

Metrics

Downloads

Download data is not yet available.

License

Authors who publish with this journal agree to the following terms:

  • Authors retain copyright and grant the journal right of first publication.
  • Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
  • Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).