摘要
S.Abiteboul、Z.Abrams、S.Haar和T.Milo。 2005.异步离散事件系统诊断：拯救数据日志！。 PODS会议记录。 美国医学会，358--367。 谷歌学者 
数字图书馆 
S.Abiteboul、O.Benjelloun和T.Milo。 2008年。活动XML项目：概述。 VLDB期刊17，5，1019--1040。 谷歌学者 数字图书馆 S.Abiteboul、M.Bienvenu、A.Galland和E.Antoine。 2011.用于Web数据管理的基于规则的语言。 PODS会议记录。 美国医学会，293--304。 谷歌学者 数字图书馆 S.Abiteboul、R.Hull和V.Vianu。 1995.数据库基础。 艾迪森·韦斯利。 谷歌学者 数字图书馆 S.Abiteboul、V.Vianu、B.Fordham和Y.Yesha。 1998年。电子商务的关系变换器。 PODS会议记录。 美国医学会，179-187。 谷歌学者 数字图书馆 S.Abiteboul、V.Vianu、B.Fordham和Y.Yesha。 2000.电子商务的关系变换器。 J.计算。 系统。 科学。 61, 2, 236--269. 谷歌学者 数字图书馆 F.Afrati、S.S.Cosmadakis和M.Yannakakis。 1995.数据日志与多项式时间。 J.计算。 系统。 科学。 51, 177--196. 谷歌学者 数字图书馆 F.N.Afrati、V.R.Borkar、M.J.Carey、N.Polyzotis和J.D.Ullman。 2011.地图还原扩展和递归查询。 ICDE会议记录。 1--8. 谷歌学者 数字图书馆 F.N.Afrati、P.Koutris、D.Suciu和J.D.Ullman。 2012.并行天际线查询。 ICDT会议记录。 274--284. 谷歌学者 数字图书馆 F.N.Afrati和J.D.Ullman。 2010.在地图缩减环境中优化连接。 EDBT会议记录。 99到110。 谷歌学者 数字图书馆 F.N.Afrati和J.D.Ullman。 2012.在集群上实现了传递闭包和递归Datalog。 EDBT会议记录。 132--143. 谷歌学者 数字图书馆 P.Alvaro、N.Conway、J.Hellerstein和W.R.Marczak。 2011年，花样一致性分析：CALM和收集方法。 CIDR诉讼中。 249--260. 谷歌学者 P.Alvaro、N.Conway、J.M.Hellerstein和D.Maier。 2014.Blazes:分布式项目的协调分析。 国际数据工程会议（ICDE）论文集。 IEEE，52-63。 谷歌学者 P.Alvaro、W.Marczak、N.Conway、J.M.Hellerstein、D.Maier和R.C.Sears。 2009年，Dedalus：时空数据记录。 技术代表UCB/EECS-2009-173。 加州大学伯克利分校EECS系。 谷歌学者 T.J.Ameroot。 2014.决定简单传感器网络的正确性和公平性。 ICDT会议记录。 谷歌学者 T.J.Ameroot、B.Ketsman、F.Neven和D.Zinn。 2014.声明性网络单调性的较弱形式：冷静猜想的更细粒度答案。 PODS会议记录。 美国医学会，64-75。 谷歌学者 数字图书馆 T.J.Ameroot、B.Ketsman、F.Neven和D.Zinn。 2015.数据日志查询分布在组件上。 第18届数据库理论国际会议（ICDT）论文集。 308--323. 谷歌学者 T.J.Ameroot、F.Neven和J.Van den Bussche。 2013.声明性网络的关系变换器。 美国临床医学杂志60、2、15。 谷歌学者 数字图书馆 T.J.Ameroot和J.Van den Bussche。 2012年a。 决定一类简单关系型传感器网络的最终一致性。 ICDT会议记录。 86--98. 谷歌学者 数字图书馆 T.J.Ameroot和J.Van den Bussche。 2012年b。 关于CRON猜想。 在数据日志程序中。 44到55。 谷歌学者 数字图书馆 A.Atserias、A.Dawar和M.Grohe。 2008年，性能良好的有限结构的延伸保护。 SIAM J.计算。 38, 4, 1364--1381. 谷歌学者 数字图书馆 P.Beame、P.Koutris和D.Suciu。 2013.并行查询处理的通信步骤。 PODS会议记录。 273--284. 谷歌学者 数字图书馆 L.Cabibbo。 1998年。具有价值发明的分层逻辑程序的表达能力。 信息计算。 147, 1, 22--56. 谷歌学者 数字图书馆 K·J·康普顿。 1983.一些有用的保存定理。 J.塞姆。 逻辑48,2427--440。 谷歌学者 交叉引用 
N.Conway、W.R.Marczak、P.Alvaro、J.M.Hellerstein和D.Maier。 2012.分布式编程的逻辑和格。 在云计算研讨会（SoCC）的会议记录中。 ACM，1。 谷歌学者 数字图书馆 A.Dawar和S.Kreutzer。 2008年，关于数据日志与LFP。 在ICALP诉讼程序中。 160--171. 谷歌学者 数字图书馆 A.Deutsch、L.Sui和V.Vianu。 2007.数据驱动Web应用程序的规范和验证。 J.计算。 系统。 科学。 73, 3, 442--474. 谷歌学者 数字图书馆 A.Deutsch、L.Sui、V.Vianu和D.Zhou。 2006.验证通信数据驱动的Web服务。 PODS会议记录。 美国医学会，90-99。 谷歌学者 数字图书馆 T.Feder和M.Y.Vardi。 2003.同态闭合vs.存在正。 在LICS的诉讼中。 311--320. 谷歌学者 数字图书馆 S.Grumbach和F.Wang。 Netlog，一种用于分布式编程的基于规则的语言。 在第12届声明性语言实践方面国际会议论文集。 施普林格·弗拉格，88-103。 谷歌学者 数字图书馆 J.M.海勒斯坦。 2010.声明命令：分布式逻辑中的经验和猜想。 SIGMOD记录39，1，5--19。 谷歌学者 数字图书馆 R.Hull和J.Su.1993年。 递归类型复杂对象的代数和微积分查询语言。 J.计算。 系统。 科学。 47, 1, 121--156. 谷歌学者 数字图书馆 R.Hull和M.Yoshikawa。 ILOG：对象标识符的声明性创建和操作。 VLDB会议记录。 455--468. 谷歌学者 数字图书馆 T.Jim和D.Suciu。 2001.动态分布式查询评估。 PODS会议记录。 美国医学会，28-39。 谷歌学者 数字图书馆 B.凯茨曼和F.内文。 2015.分布式数据联合查询的最佳广播策略。 第18届数据库理论国际会议（ICDT）论文集。 291--307. 谷歌学者 P.G.Kolaitis和M.Y.Vardi。 1990.关于数据日志的表达能力：工具和案例研究。 PODS会议记录。 61页至71页。 谷歌学者 数字图书馆 P.Koutris和D.Suciu。 2011.联合查询的并行评估。 PODS会议记录。 223--234. 谷歌学者 数字图书馆 B.T.Loo、T.Condie、M.Garofalakis、D.E.Gay、J.M.Hellerstein、P.Maniatis、R.Ramakrishnan、T.Roscoe和I.Stoica。 2006.声明性网络：语言、执行和优化。 在ACM SIGMOD国际数据管理会议记录中。 美国医学会，97--108。 谷歌学者 数字图书馆 E.罗森。 1995年，有限模型理论和有限变量逻辑。 博士论文。 宾夕法尼亚大学。 谷歌学者 数字图书馆 O.Shmueli。 1993年。无法确定数据日志查询的等效性。 J.逻辑程序。 15231-241之间。 谷歌学者 数字图书馆 W.W.Tait公司。 1959年，斯科特和苏普斯猜想的反例。 J.塞姆。 逻辑24，1，15--16。 谷歌学者 交叉引用 D.津恩。 2012年，单调性和协调自由性的弱形式。 CoRR abs/1202.0242。 谷歌学者 D.Zinn、T.J.Green和B.Ludäscher。 2012.Win-move无需协调（有时）。 ICDT会议记录。 99--113. 谷歌学者 数字图书馆
索引术语
声明网络的弱单调性形式：对CALM猜想的一个更精细的回答
建议
声明性网络单调性的较弱形式：冷静猜想的一个更细粒度的答案 PODS’14：第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会会议记录 CALM猜想首先由Hellerstein[23]提出，并由Ameloot等人[13]在关系传感器网络框架内以其修正形式证明，它断言查询具有无协调执行策略当且仅当查询。。。 一类简单关系型传感器网络的最终一致性判定 ICDT’12：第15届数据库理论国际会议论文集 关系传感器网络可以作为声明性网络的正式模型，重点关注分布式数据库查询应用程序。 在声明性网络中，一个关键属性是最终一致性，这意味着最终输出确实。。。
