-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 7/15/10 23:31 , wren ng thornton wrote:
Issues of inconsistency also show up in reasoning about language-based security systems where sometimes we may wish to allow inconsistent states during computation so long as there is a formal guarantee that consistency is restored soon. But overall, the question of what it means to reason formally and correctly in the face of an inconsistent system is still an open question.
Hm. Do databases provide any useful insights here? I'm thinking that the above sounds a lot like an uncommitted transaction. - -- brandon s. allbery [linux,solaris,freebsd,perl] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkxBH4QACgkQIn7hlCsL25V5mwCghnH2So1voCGAhnregwNb6hb/ wu8AoIMJpbFGAxtYD6hYFj5QVkli9/bs =x8pe -----END PGP SIGNATURE-----