Management of logical statements in a distributed database environment

An apparatus for managing logical statements for use with a system comprising a first data structure for storing non-unique logical statements and a separate second data structure for storing unique logical statements under control of a first database management system node of a distributed database, said distributed database comprising a plurality of nodes, each node comprising a database managed by an independently operating database management system, the apparatus comprising:

• a computing device comprising at least one processor, said at least one processor being configured to implement:
• a checker, responsive to receipt of a first logical statement for the first database management system node, for checking whether the first logical statement is stored in the distributed database;
• and
• an inserter, responsive to a determination that the first logical statement is not stored in the distributed database, for storing the first logical statement in the second data structure for storing unique logical statement;
• and, responsive to a determination that the fist logical statement is stored in the distributed database, for storing the first logical statement in the first data structure for storing non-unique logical statements.

A computer program product for managing logical statements in a distributed database, the computer program product comprising:

• a computer usable memory device having computer usable program code embodied therewith, the computer usable program code comprising:
• computer usable program code configured to receive a first logical statement;
• computer usable program code configured to check a segment of the distributed database to determine if the first logical statement is currently stored within the distributed database, said distributed database comprising a plurality of nodes, each node comprising a database managed by an independently operating database management system;
• computer usable program code configured to store the first logical statement in a unique fact table, responsive to a determination that the first logical statement is not stored within the distributed database and to store the first logical statement in a separate non-unique fact table in response to a determination that the first logical statement is already stored within the distributed database;
• and
• computer usable program code configured to, if the first logical statement is stored in the unique fact table, infer a second logical statement by applying a logical rule to the first logical statement in combination with other logical statements stored within the distributed database.