Thu, 13 Mar 2014 17:26:22 +0100 | wenzelm | more frugal recording of changes: join merely requires information from one side; | file | diff | annotate |
Wed, 12 Mar 2014 21:29:46 +0100 | wenzelm | proper base comparison; | file | diff | annotate |
Wed, 12 Mar 2014 21:28:09 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 11 Mar 2014 18:36:17 +0100 | wenzelm | more standard internal data integrity; | file | diff | annotate |
Tue, 11 Mar 2014 18:26:47 +0100 | wenzelm | tables with changes relative to some common base version -- support for efficient join/merge of big global tables with small local updates; | file | diff | annotate |