2017年第20届ICDT:意大利威尼斯
本尼迪克特 , 乔治·奥尔西 :
第20届数据库理论国际会议,2017年3月21日至24日,意大利威尼斯。 LIPIcs公司 68, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2017 ,国际标准图书编号 978-3-95977-024-8 前言、目录、前言、会议组织、作者名单。 0:i-0:xii 克里斯蒂娜·费尔 , 安蒂·库西斯托 , 卡斯滕·卢茨 :
一元析取数据日志、MMSNP和表达描述逻辑(邀请谈话)中的可重写性。 1:1-1:17 达尼尔·马克思 :
图、超图和连接数据库查询的复杂性(邀请谈话)。 2:1-2:1 托瓦·米洛 :
聪明的人群-向那些知道的人学习(特邀演讲)。 3:1-3:1 Foto N.Afrati公司 , 玛纳斯·R·约格勒卡尔 , 克里斯托弗·雷 , 塞米赫·萨利霍格鲁 , 杰弗里·D·厄尔曼 :
GYM:一种多轮分布式连接算法。 4:1-4:18 安托万·阿马里利 , 耶尔·阿姆斯特丹 , 托瓦·米洛 , 皮埃尔·塞内拉特 :
Top-k查询订单约束下的未知值。 5:1-5:18 安托万·阿马里里 , 皮埃尔·波吉斯 , 米卡·莫内 , 皮埃尔·塞内拉特 :
基于树自动机和Cycluits的查询求值组合可拓性。 6:1-6:19 巴勃罗·巴塞洛 , 米盖尔·罗梅罗 :
连接查询逆向工程问题的复杂性。 7:1-7:17 克里斯托夫·贝尔霍尔茨 , 延斯·基佩勒 , 妮可·施韦卡特 :
在有界学位数据库更新下回答FO+MOD查询。 8:1-8:18 西蒙·波娃 , 胡比·陈 :
表示存在正查询需要多少变量?。 9点9分16秒 道格拉斯·伯迪克 , 罗纳德·费金 , Phokion G.Kolaitis公司 , 卢西安·波帕 , 王长潭(Wang Chiew Tan) :
实体链接框架的表达能力。 10:1-10:18 魏曹 , 李健 , 王海涛 , 王康宁 , 王若松 , 雷蒙德·齐文王 , 魏战 :
k-后悔最小化集:高效算法和硬度。 11:1-11:19 Shaleen深 , Paraschos Koutris公司 :
无套利数据定价方案的设计。 12:1-12:18 多米尼克·D·弗雷登伯格 :
文档扳手的逻辑。 13:1-13:18 米诺斯·加罗法拉基斯 , 瓦西里斯·萨莫拉达斯 :
通过凸分析的分布式查询监控:朝向可组合安全区。 14:1-14:18 托马斯·戈加茨 , Szymon Torunczyk公司 :
具有函数依赖的连接查询的熵界。 15:1至15:17 沙查尔·伊扎基 , 托默·科特克 , 诺姆·里内茨基 , 穆利·萨吉夫 , 奥尔·塔米尔 , 赫尔穆特·维思 , 弗洛里安·祖勒格 :
关于使用嵌入式SQL自动验证Web应用程序。 16:1-16:18 本尼·基梅尔菲尔德 , 埃斯特·利夫希茨 , 利亚特·彼得雷恩 :
检测优先级数据库修复中的模糊性。 17:1-17:20 马库斯·洛伊 , 塞巴斯蒂安·马内斯 , 卡尔·菲利普·雷赫 :
无序XML树的压缩。 18:1-18:17 托马斯·施温蒂克 , 尼尔斯涡流计 , 托马斯·泽姆 :
可定义变化下的动态复杂性。 19:1-19:18 吕克·塞古芬 , 亚历山大·维尼 :
具有局部有界扩展的数据库上FO查询的恒定延迟枚举。 20:1-20:16 布鲁哈蒂·桑达尔穆尔蒂(Bruhathi Sundarmurthy) , Paraschos Koutris公司 , 威利斯·朗 , 杰弗里·诺顿 , 瓦尔·坦宁 :
m-tables:表示缺失数据。 21:1-21:20 安德鲁·麦格雷戈 , Hoa T.Vu公司 :
针对最大覆盖问题的更好的流算法。 22:1-22:18
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)