发明名称 |
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. |
申请公布号 |
WO2015063491(A3) |
申请公布日期 |
2015.06.25 |
申请号 |
WO2014GB53230 |
申请日期 |
2014.10.30 |
申请人 |
ISIS INNOVATION LTD |
发明人 |
MOTIK, BORIS;NENOV, YAVOR;HORRICKS, IAN |
分类号 |
G06F17/30 |
主分类号 |
G06F17/30 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|