11. The one or more hardware memory devices of claim 10 , wherein the software components further comprise an input component for receiving an input query expression and a set of one or more physical property requirements.
11. The one or more hardware memory devices of claim 10 , wherein the software components further comprise an input component for receiving an input query expression and a set of one or more physical property requirements. 12. The one or more hardware memory devices of claim 11 , wherein the software components further comprise a logical exploration component that applies transformation rules to the input query expression to generate a plurality of logical query expressions.