[Data-modeling] Modeling datastructures

[John Giannandrea]

Daniel,
This type looks great!

Creating types to capture variable binding or general mathematical  
expressions though is, as you point out, quite a challenge.

I think to start, that 'O (size of inserted string)' is not as bad as  
it looks, it you make it an object as Faye suggests.  Create a type  
called time complexity and you can at least annotate it in a  
structured fashion.

Just having space or time complexity captured at all would be a win  
over existing lists like http://www.nist.gov/dads/

-jg


On Oct 23, 2008, at 9:54 AM, Daniel Peebles wrote:
> Ideally, my data structure type would have a property called "relevant
> variables", which could map from a name to a description (n -> "Number
> of strings contained", m -> "Size of string being operated on"), and
> then the big-O notation in the "data structure operation profile" CVT
> would require there to be a mathematical expression in terms of only
> the variables in the data structure associated with it.