首页>
外国专利>
PARALLEL MATERIALISATION OF A SET OF LOGICAL RULES ON A LOGICAL DATABASE
PARALLEL MATERIALISATION OF A SET OF LOGICAL RULES ON A LOGICAL DATABASE
展开▼
机译:逻辑数据库上一组逻辑规则的并行材料化
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer-implemented method of providing a materialisation of a set of logical rules on a logical database comprising a set of logical facts. Each of a plurality of parallel processing threads performs the following steps. A logical fact that has not previously been received by any thread is received by the thread. By applying any of the logical rules to the received logical fact and/or any of the logical facts received by any thread prior to the received logical fact, the thread determines whether a new logical fact is implied, and if so the new logical fact is added to the set of logical facts. The thread then repeats the above steps on any further logical facts in the set of logical facts that have not previously been received by any thread. When all threads are waiting for a new logical fact, the method has completed.
展开▼