Added to guarantees
authorAli Younis <ayounis@uci.edu>
Tue, 4 Oct 2016 19:39:05 +0000 (12:39 -0700)
committerAli Younis <ayounis@uci.edu>
Tue, 4 Oct 2016 19:39:05 +0000 (12:39 -0700)
version2/doc/iotcloud.tex

index 3acd7aa..ce1142f 100644 (file)
@@ -286,7 +286,8 @@ Live Status of entries:
     \item No currently valid data can be lost by the system and go undetected.\r
     \item Devices can operate offline and re-sync with the system and get a consistent view of the system\r
     \item If the server tries to hold a device on an older version of the data structure, that device can eventually rejoin the main data structure without problems.\r
-    \item Devices that have a transaction aborted will be able to be notified about the abort indefinately (no time frame when notification must be accepted).\r
+    \item Devices that have a transaction aborted will be able to be notified about the abort indefinitely (no time frame when notification must be accepted).\r
+    \items Server cannot hold a device on an old version of the data structure and then move them to a newer version of the data structure without being detected (The server sequence numbers would reveal conflicts or gaps or both).\r
 \r
 \end{itemize}\r
     \r