Method, product, and system to provide a parser for property graph queries with precise error reporting and auto-completion based on information from property graph schemas
A method, apparatus, and product to provide a parser for property graph queries with precise error reporting and auto-completion based on information from property graph schemas. The approach generally comprises analysis of graph queries prior to their execution to identify issues prior to execution. In some embodiments, the approach includes any of: use of a property graph schema to determine whether names in a received property graph query exist within a corresponding property graph; determining whether the property graph query includes a comparison of mismatched data types; providing an autocomplete suggestion feature for assistance in resolving errors or corresponding to a cursor position within a query string; or evaluation of a property graph query to determine whether it would return an empty result. In some embodiments, property graph query analysis is performed using a context aware approach.
1. A computer-implemented method comprising:
receiving, at a user interface, a property graph query directed towards a property graph;
processing, prior to execution of the property graph query against the property graph, the property graph query against a previously stored property graph schema corresponding to the property graph by:
accessing the previously stored property graph schema, wherein the previously stored property graph schema was generated by a property graph schema generator that traversed the property graph to identify relationships in the property graph and represents the relationships in the previously stored property graph schema,
parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph; and
generating an output for display at the user interface, wherein
when an error in the property graph query is identified due to a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph, the output comprises an error message and an identification of a location in the property graph query corresponding to the error message, and
when an error in the property graph query is not identified due to a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph, the output comprises a result of processing the property graph query against the property graph.
2. The method of claim 1 , further comprising, when an error in the property graph query is not identified due to a mismatch between the property graph query and the previously stored property graph schema, determining whether the property graph query would return an empty result using a non-empty results validator by:
processing the property graph query against the previously stored property graph schema to determine if the property graph query maps to a valid context,
analyzing the property graph query against the property graph to determine whether at least one result would be provided in response to executing the property graph query, and
when it is not determined that the property graph query maps to a valid context or it is not determined that at least one result would be provided in response to executing the property graph query the output for display further comprises an error message indicating that the property graph query returns an empty result.
3. The method of claim 1 , wherein parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema comprises:
tokenizing the property graph query to generate a plurality of tokens,
analyzing, using a label name validator, a first one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any label name mismatches, and
analyzing, using a property name validator, a second one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any property name mismatches.
4. The method of claim 3 , wherein tokens in the previously stored property graph schema are filtered to possible valid properties based on a corresponding vertex or edge prior to analyzing the second one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any property name mismatches.
5. The method of claim 3 , wherein one or more tokens corresponding to one or more errors identified by the label name validator or the property name validator are passed to an autocomplete suggester comprising at least a label name suggester or a property name suggester, and processing the one or more tokens at least by:
identifying one or more valid label names or property names corresponding to the token based on one or more of pattern matching, heuristics, or a ranking schema, and wherein displaying the result for the property graph query further comprises displaying an autocomplete suggestion comprising the one or more valid label names or property names for the property graph query.
6. The method of claim 1 , wherein parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema comprises:
tokenizing the property graph query to generate a plurality of tokens,
identifying a token of the plurality of tokens comprising a comparison operator, and
analyzing one or more preceding tokens of the plurality of tokens against one or more proceeding tokens of the plurality of tokens against the previously stored property graph schema to identify any data type mismatches.
7. The method of claim 6 , wherein a token of the one or more preceding tokens or the one or more proceeding tokens comprises a function, and a data type of the token is based on a data type of an operand returned by the function.
8. The method of claim 7 , wherein the function is a user-defined function that is evaluated to determine the data type of the operand returned by the function.
9. A non-transitory computer readable medium having stored thereon a sequence of instructions which, when executed by a processor causes a set of acts comprising:
receiving, at a user interface, a property graph query directed towards a property graph;
processing, prior to execution of the property graph query against the property graph, the property graph query against a previously stored property graph schema corresponding to the property graph by:
accessing the previously stored property graph schema, wherein the previously stored property graph schema was generated by a property graph schema generator that traversed the property graph to identify relationships in the property graph and represents the relationships in the previously stored property graph schema,
parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph; and
generating an output for display at the user interface, wherein
when an error in the property graph query is identified due to a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph, the output comprises an error message and an identification of a location in the property graph query corresponding to the error message, and
when an error in the property graph query is not identified due to a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph, the output comprises a result of processing the property graph query against the property graph.
10. The non-transitory computer readable medium of claim 9 , wherein the set of acts further comprise, when an error in the property graph query is not identified due to a mismatch between the property graph query and the previously stored property graph schema, determining whether the property graph query would return an empty result using a non-empty results validator by:
processing the property graph query against the previously stored property graph schema to determine if the property graph query maps to a valid context,
analyzing the property graph query against the property graph to determine whether at least one result would be provided in response to executing the property graph query, and
when it is not determined that the property graph query maps to a valid context or it is not determined that at least one result would be provided in response to executing the property graph query the output for display further comprises an error message indicating that the property graph query returns an empty result.
11. The non-transitory computer readable medium of claim 9 , wherein parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema comprises:
tokenizing the property graph query to generate a plurality of tokens,
analyzing, using a label name validator, a first one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any label name mismatches, and
analyzing, using a property name validator, a second one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any property name mismatches.
12. The non-transitory computer readable medium of claim 11 , wherein tokens in the previously stored property graph schema are filtered to possible valid properties based on a corresponding vertex or edge prior to analyzing the second one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any property name mismatches.
13. The non-transitory computer readable medium of claim 11 , wherein one or more tokens corresponding to one or more errors identified by the label name validator or the property name validator are passed to an autocomplete suggester comprising at least a label name suggester or a property name suggester, and processing the one or more tokens at least by:
identifying one or more valid label names or property names corresponding to the token based on one or more of pattern matching, heuristics, or a ranking schema, and wherein displaying the result for the property graph query further comprises displaying an autocomplete suggestion comprising the one or more valid label names or property names for the property graph query.
14. The non-transitory computer readable medium of claim 9 , wherein parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema comprises:
tokenizing the property graph query to generate a plurality of tokens,
identifying a token of the plurality of tokens comprising a comparison operator, and
analyzing one or more preceding tokens of the plurality of tokens against one or more proceeding tokens of the plurality of tokens against the previously stored property graph schema to identify any data type mismatches.
15. The non-transitory computer readable medium of claim 14 , wherein a token of the one or more preceding tokens or the one or more proceeding tokens comprises a function, and a data type of the token is based on a data type of an operand returned by the function.
16. The non-transitory computer readable medium of claim 15 , wherein the function is a user-defined function that is evaluated to determine the data type of the operand returned by the function.
17. A computing system comprising:
a memory to hold a set of instructions;
a computer processor to execute the set of instructions, which when executed cause a set of acts comprising:
receiving, at a user interface, a property graph query directed towards a property graph;
processing, prior to execution of the property graph query against the property graph, the property graph query against a previously stored property graph schema corresponding to the property graph by:
accessing the previously stored property graph schema, wherein the previously stored property graph schema was generated by a property graph schema generator that traversed the property graph to identify relationships in the property graph and represents the relationships in the previously stored property graph schema,
parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph; and
generating an output for display at the user interface, wherein
when an error in the property graph query is identified due to a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph, the output comprises an error message and an identification of a location in the property graph query corresponding to the error message, and
when an error in the property graph query is not identified due to a mismatch between the property graph query and the previously stored property graph schema that was generated by the property graph schema generator that traversed the property graph, the output comprises a result of processing the property graph query against the property graph.
18. The computing system of claim 17 , wherein the set of acts further comprise, when an error in the property graph query is not identified due to a mismatch between the property graph query and the previously stored property graph schema, determining whether the property graph query would return an empty result using a non-empty results validator by:
processing the property graph query against the previously stored property graph schema to determine if the property graph query maps to a valid context,
analyzing the property graph query against the property graph to determine whether at least one result would be provided in response to executing the property graph query, and
when it is not determined that the property graph query maps to a valid context or it is not determined that at least one result would be provided in response to executing the property graph query the output for display further comprises an error message indicating that the property graph query returns an empty result.
19. The computing system of claim 17 , wherein parsing the property graph query using one or more property graph validators to determine whether there is a mismatch between the property graph query and the previously stored property graph schema comprises:
tokenizing the property graph query to generate a plurality of tokens,
analyzing, using a label name validator, a first one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any label name mismatches, and
analyzing, using a property name validator, a second one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any property name mismatches.
20. The computing system of claim 19 , wherein tokens in the previously stored property graph schema are filtered to possible valid properties based on a corresponding vertex or edge prior to analyzing the second one or more tokens of the plurality of tokens against the previously stored property graph schema to identify any property name mismatches.