Parallel materialisation of a set of logical rules on a logical database

A computer-implemented method, performed by a computer system, the computer system including i) a logical database including a set of logical facts and at least one index that includes a pointer for locating a logical fact in the set of logical facts, and ii) a plurality of parallel processing threads, wherein each of the plurality of parallel processing threads has an associated reserved area in the logical database for adding a new logical fact to the set of logical facts, the method including updating, by the computer system, the logical database,

• wherein one or more threads of the plurality of parallel processing threads of the computer system perform steps comprising:
• receiving a new logical fact to be added to the logical database;
• adding the new logical fact only to the thread's associated reserved area in the logical database without locking the associated reserved areas of other parallel processing threads;
• performing an index update process to update the at least one index with the new logical fact without locking the at least one index;
• setting a status flag to indicate whether the at least one index has been successfully updated;
• and
• in a case where the status flag indicates that the at least one index has not been successfully updated, repeating the index update process until the status flag indicates that the at least one index has been successfully updated.

A non-transitory computer readable storage configured to store a program that, when executed by a computer system including i) a logical database including a set of logical facts and at least one index that includes a pointer for locating a logical fact in the set of logical facts, and ii) a plurality of parallel processing threads, wherein each of the plurality of parallel processing threads has an associated reserved area in the logical database for adding a new logical fact to the set of logical facts, performs a computer-implemented method including updating, by the computer system, the logical database,

• wherein one or more threads of the plurality of parallel processing threads of the computer system perform steps comprising:
• receiving a new logical fact to be added to the logical database;
• adding the new logical fact only to the thread's associated reserved area in the logical database without locking the associated reserved areas of other parallel processing threads;
• performing an index update process to update the at least one index with the new logical fact without locking the at least one index;
• setting a status flag to indicate whether the at least one index has been successfully updated;
• and
• in a case where the status flag indicates that the at least one index has not been successfully updated, repeating the index update process until the status flag indicates that the at least one index has been successfully updated.

A computer system including:

• a memory;
• and
• a plurality of parallel processing threads configured to execute a program that performs a computer-implemented method to update, by the computer system, a logical database,
• wherein the logical database includes a set of logical facts and at least one index that includes a pointer for locating a logical fact in the set of logical facts,
• wherein each of the plurality of parallel processing threads has an associated reserved area in the logical database for adding a new logical fact to the set of logical facts, and
• wherein one or more threads of the plurality of parallel processing threads perform steps comprising:
• receiving a new logical fact to be added to the logical database;
• adding the new logical fact only to the thread's associated reserved area in the logical database without locking the associated reserved areas of other parallel processing threads;
• performing an index update process to update the at least one index with the new logical fact without locking the at least one index;
• setting a status flag to indicate whether the at least one index has been successfully updated;
• and
• in a case where the status flag indicates that the at least one index has not been successfully updated, repeating the index update process until the status flag indicates that the at least one index has been successfully updated.