Data parallel query analysis
AssigneeMicrosoft Corporation
InventorsIgor Ostrovsky, John Duffy, Mike Liddell, Edward G. Essey, Stephen H. Toub
Life of this patent
Estimating the term…
Abstract
A method of analyzing a data parallel query includes receiving a user-specified data parallel query that includes a plurality of query operators. An operator type for each of the query operators is identified based on a type of parallel input data structure the operator operates on and a type of parallel output data structure the operator outputs. It is determined whether the query is a prohibited query based on the identified operator types.
Claims19
A method of analyzing a data parallel query, comprising:
- receiving a user-specified data parallel query that includes a plurality of query operators;
- identifying an operator type for each of the query operators based on a type of parallel input data structure the operator operates on and a type of parallel output data structure the operator outputs, wherein each of the type of parallel input data structure and the type of parallel output data structure for each operator is one of a parallel array type of data structure and a parallel sequence type of data structure;
- providing query verification data that indicates allowed operations on the parallel array type of data structure and the parallel sequence type of data structure;
- and
- determining, using a processor, whether the user-specified data parallel query is a prohibited query based on the identified operator types and the query verification data.
A computer-readable storage medium storing computer-executable instructions for performing a method, comprising:
- receiving a user-specified data parallel query that includes a plurality of query operators, each query operator configured to operate on one of a parallel array type data structure and a parallel sequence type data structure, and each query operator configured to output one of the parallel array type data structure and the parallel sequence type data structure;
- providing query verification data that indicates allowed operations on the parallel array type data structure and the parallel sequence type data structure;
- and
- determining whether the user-specified data parallel query is a prohibited query based on the received query operators and the query verification data.
A method of analyzing a data parallel query, comprising:
- receiving a user-specified data parallel query that includes a plurality of query operators;
- identifying an operator type for each of the query operators based on a type of parallel input data structure the operator operates on and a type of parallel output data structure the operator outputs, wherein each of the type of parallel input data structure and the type of parallel output data structure for each operator is one of a parallel array type of data structure that provides indexed access to elements in the data structure and a parallel sequence type of data structure that provides enumerator access to elements in the data structure;
- providing query verification data that indicates allowed operations on the parallel array type of data structure and the parallel sequence type of data structure;
- and
- determining, using a processor, whether the user-specified data parallel query is a prohibited query based on the identified operator types and the query verification data.
Dependencies are inferred from the claim text.