Bill de hOra <bill@dehora.fsnet.co.uk> wrote: > Not true. Any insert can have side effects on any application that is itself > performing inserts based on its chain of reasoning (such as a forward chainer > in a rules base, or a relational db trigger mechanism that in turn causes an > update to the db). It might be "solved" if you have a truth maintenance system > in place to keep track of things. For our simplified testbed, we can just assume that an application will not be doing inserts based on reasoning. > I agree with Seth. Modification is an atomic unit of work consisting of a > retract followed by an assert. OK, I've updated the site. -- Aaron Swartz <me@aaronsw.com>| The Info Network <http://www.aaronsw.com> | <http://theinfo.org> AIM: JediOfPi | ICQ: 33158237| the way you want the web to beReceived on Monday, 19 February 2001 12:32:00 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 23 April 2007 18:19:47 GMT