Querying a graph database

A computer program product comprising a non-transitory computer-readable storage medium having computer-readable instructions stored thereon, the computer-readable instructions being executable by a computerized device to cause the computerized device to perform a method for querying a graph database, the graph database including a plurality of nodes connected by edges, the edges indicating relationships between nodes in the plurality of nodes, the method comprising:

• receiving a database query describing a graph database pattern, wherein the database query is expressed using a modal logic query language that includes at least one fixed-point operator;
• searching the graph database using the database query;
• in response to the searching, obtaining at least one Kripke structure, each of the at least one Kripke structure representing a fragment of the graph database that corresponds to the graph database pattern;
• and
• outputting data, based on the at least one Kripke structure, to provide a response to the database query.

An apparatus comprising:

• at least one processor;
• and
• at least one memory including computer program code, the at least one memory and the computer program code being configured to, with the at least one processor, cause the apparatus at least to perform a method for querying a graph database, the graph database including a plurality of nodes connected by edges, the edges indicating relationships between nodes in the plurality of nodes, the method comprising:
• receiving a database query describing a graph database pattern, wherein the database query is expressed using a modal logic query language that includes at least one fixed-point operator;
• searching the graph database using the database query;
• in response to the searching, obtaining at least one Kripke structure, each of the at least one Kripke structure representing a fragment of the graph database that corresponds to the graph database pattern;
• and
• outputting data, based on the at least one Kripke structure, to provide a response to the database query.