Research of categorical model for modification predicate inquiries

Authors

  • V. I. Sheketa

Keywords:

predicate inquiries, categorical model, categorical deduction, functor interpretation, denotational semantics, theory of fixed values, indexed category, modification of knowledgebase

Abstract

The categorical model for modification predicate inquiries is offered on the basis of denotation semantics within the framework of fixed values theory and exploration of its properties is done through introduction of categorical deduction notion and its calculable answers. As a result the construction of indexed category, as an universum of all possible states of knowledgebase, to which can bring implementation of modification predicate query is done. For every state, the proper layer represents the set of deductions which can be executed, and functor interpretations, that are displaying the got syntactic and semantic categories through the use of modification unificators and reduction pairs of arrows.

Downloads

Abstract views: 105

Published

2010-11-12

How to Cite

[1]
V. I. Sheketa, “Research of categorical model for modification predicate inquiries”, Вісник ВПІ, no. 4, pp. 69–76, Nov. 2010.

Issue

No 4 (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).