Monadic type preservation for query operators
AssigneeMicrosoft Corporation
InventorsBart De Smet, Henricus Johannes Maria Meijer, Jeffrey Van Gogh, John Wesley Dyer
Life of this patent
Estimating the term…
Abstract
Monadic types are preserved for query operators to further query operator compositionality utilizing operators defined over a monad. Query operators that are defined over a monad and are suited to return non-monadic types are constructed or altered to return a monadic type. For instance, aggregate query operators defined over a local or remote sequence monad can be generated that return a monadic type.
Claims20
A method of querying data, comprising:
- employing at least one processor configured to execute computer-executable instructions stored in memory to perform the following acts:
- executing a query operator defined over a sequence monad and suitable to return a single-value type;
- and
- returning a monadic type.
A query system, comprising:
- a processor coupled to a memory, the processor configured to execute the following computer-executable components stored in the memory:
- an aggregate query operator component defined over a sequence monad and configured to return a monadic type.
A computer-readable medium having instructions stored thereon that enables at least one processor to perform the following acts:
- executing an aggregate query operator defined over a sequence monad;
- and
- returning a monadic type.
Dependencies are inferred from the claim text.