Data for the table Contract

Recall that the table LocalSet controls how contracts are created from symbols. Note that as delivered, the load script for the database results in, as this is written, more than 5000 symbols, but less than 200 LocalSet tuples and contracts. This indicates one of the reasons for LocalSet, to eliminate uninteresting symbols from contract consideration; another is to provide the additional information needed to fully define contracts.


Bill Pippin 2010-01-14