1. A system for exploring relationships in data stored in a computer readable medium, comprising: first logic to receive a query having at least one operator chosen from a set of operators that includes relational operators and having at least one input or output associated with the operator and defined as a table having at least one domain having a type associated therewith; second logic to transform the query into a set program having at least one operation structure, corresponding to the operator and having logic for type-independently performing an operation, corresponding to the operator, and having a data relation structure, cooperating with the operation structure, for handling all data access and storage associated with the operation.