ABSTRACT, STRUCTURED DATA STORE QUERYING TECHNOLOGY

摘要

The present invention is abstract, structured data store querying technology (system) which is capable of running deduction process in environment disconnected from data store. Logic programming engines does not know which facts it will need to correctly process questions (queries) and they require loading in memory and processing all data store content. Problem is solved introducing an abstraction: meta-set, which is able to describe one or more facts (becoming meta-facts). This way it is possible to separate data store from logic programming engine turning it into meta-set calculus engine which combines meta-facts and rules to build resulting list of meta-sets which will be used to auto-generate queries to data store. Proposed solution allows running deduction process in distributed environments where deduction can be performed on the client tier, and queries for real objects will be sent to centralized data store servers.