1. A method as implemented on a computing device comprising a processor and a memory, and further comprising a user interface, the method comprising: providing a business intelligence (BI) document, the business intelligence document comprising a directed acyclic graph connection of a plurality of entities comprising an arbitrary sequence of computational expressions with regard to data of a plurality of data sources, wherein: at least a first entity of the plurality of entities is designated for local execution on the computing device, and at least a second entity of the plurality of entities is designated for remote execution on a remotely located computing device: and input and output formats of connected entities are matched such that data output by one entity is compatible with an input format required by the entity to which that data is input; receiving, via the user interface, a data mining assertion identifying relationships within the data, the data mining assertion including a constraint on at least one element of the data, wherein the constraint restricts the varying of the one or more of the data within a range; varying values or expressions of one or more elements of data subject to the data mining assertion; solving the data mining assertion based on the varying to identify data values that satisfy the data mining assertion by evaluating the data value and the expressions variations available within the scope of the BI document to iterate through the variations to determine the data and transformations that make the assertion true; and presenting, through the user interface to a user, a solution of the solving operation in association with the business intelligence document.