[1]DECANDIA G, HASTORUN D, JAMPANI M, et al. Dynamo: amazon' s highly available key-value store [J]. ACM SIGOPS Operating Systems Review, 2007, 41(6): 205-220.[2]LAKSHMAN A, MALIK P. Cassandra: structured storage system on a P2P network [C]// PODC'09: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing. New York: ACM Press, 2009: 5-5.[3]MARCZAK W R, ZOOK D, ZHOU W, et al. Declarative reconfigurable trust management [C]// CIDR'09 : Proceedings of the Fourth Biennal Conference on Innovative Data Systems Research. Asilomar: [s.n.], 2009: 21-29.[4]ALVARO P, CONDIE T, CONWAY N, et al. I do declare: consensus in a logic language [J]. ACM SIGOPS Operating Systems Review, 2010, 43(4): 25-30.[5]WELSH M, CULLER D, BREWER E. SEDA: an architecture for well-conditioned, scalable Internet services [J]. ACM SIGOPS Operating Systems Review, 2001, 35(5): 230-243.[6]STOICA I, MORRIS R, KARGER D, et al. Chord: a scalable peer-to-peer lookup service for Internet applications [C]// SIGCOMM' 01: Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications. New York: ACM Press, 2001: 149-160.[7]HELLERSTEIN J M. Datalog redux: experience and conjecture [C]// PODS'10: Proceedings of the Twenty-ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. New York: ACM Press, 2010: 1-2.[8]HELLERSTEIN J. TR10: cloud programming [EB/OL]. [2010-04-20]. http://www2.technologyreview.com/article/418545/tr10-cloud-programming.[9]BORKAR V, CAREY M, GROVER R, et al. Hyracks: a flexible and extensible foundation for data-intensive computing [C]// ICDE' 11: Proceedings of the 2011 IEEE 27th International Conference on Data Engineering. Piscataway: IEEE Press, 2011: 1151-1162.[10]PENG C Z, JIANG Z J, CAI X B, et al. Implementing chord with declarative networking language [C]// ICMLC'12: Proceedings of the 2012 International Conference on Machine Learning and Cybernetics. Piscataway: IEEE Press, 2012: 586 -590.[11]HELLERSTEIN J. Bloom programming language [EB/OL]. [2011-03-21]. http://www.bloom-lang.org.[12]ABITEBOUL S, HULL R, VIANU V. Foundations of databases: the logical level [M]. Boston: Addison-Wesley, 1994.[13]GRIGORIK I. Ruby event machine—the speed demon [EB/OL]. [2008-05-27]. http://www.igvita.com/2008/05/27/ruby-eventmachine-the-speed-demon.[14]FRANK D, KAASHOEK M F, KARGER D, et al. Wide-area cooperative storage with CFS [C]// SOSP'01: Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles. New York: ACM Press, 2012: 202-215.[15]CONWAY N, MARCZAK W R, ALVARO P, et al. Logic and lattices for distributed programming [C]// SoCC'12: Proceedings of the Third ACM Symposium on Cloud Computing. New York: ACM Press, 2012: 1-14. |