Abstract: Type safety is important property of any type system. Modern programming languages support different mechanisms to work in type safe manner, e.g., properties, methods, events, attributes (annotations) and other structures, but none of the existing, general purpose, programming languages which support reflection provide type safe type (class/structure) member metadata access. Existing solutions provide no or limited type safety which are complex and processed at runtime which by definition is not built-in type-safe metadata access, but only more or less type safe workarounds called “best practices”. Problem can be solved by introducing method for type safe type member metadata access which could be processed at compile time.

Abstract: 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.

Abstract: Type safety is important property of any type system. Modern programming languages support different mechanisms to work in type safe manner, e.g., properties, methods, events, attributes (annotations) and other structures, but none of the existing, general purpose, programming languages which support reflection provide type safe type (class/structure) member metadata access. Existing solutions provide no or limited type safety which are complex and processed at runtime which by definition is not built-in type-safe metadata access, but only more or less type safe workarounds called “best practices”. Problem can be solved by introducing method for type safe type member metadata access which could be processed at compile time.