摘要
R.Pichler和S.Skritek，“连接查询答案的可追踪计数”，in 第五届阿尔贝托·门德尔松数据管理基础国际研讨会会议记录 , 2011. 谷歌学者 
G.Greco和F.Scarcello，“联合查询的计数解决方案：结构和混合可处理性”，in 第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会会议记录 2014年，第132-143页。 谷歌学者 数字图书馆 
A.Durand和S.Mengel，“联合查询解决方案计数的结构可处理性”，in 第十六届数据库理论国际会议论文集（ICDT 2013） , 2013. 谷歌学者 数字图书馆 H.Chen和S.Mengel，“计算连接查询答案复杂性的三分法” 第18届数据库理论国际会议，ICDT 2015，2015年3月23-27日，比利时布鲁塞尔 2015年，第110-126页。 谷歌学者 C.Papadimitriou和M.Yannakakis，“关于数据库查询的复杂性” 计算机与系统科学杂志 ，第58卷，第3期，第407-427页，1999年。 谷歌学者 数字图书馆 J.Flum和M.Grohe， 参数化复杂性理论 Springer，2006年。 谷歌学者 数字图书馆 M.Grohe，“从另一方面看同态和约束满足问题的复杂性，” 美国医学会杂志 ，第54卷，第1期，2007年。 谷歌学者 数字图书馆 I.Adler和M.Weyer，“一阶公式的树宽”，in CSL 2009 2009年，第71-85页。 谷歌学者 数字图书馆 H.Chen和V.Dalmau，“分解量化合取（或析取）公式”，in 低收入国家 , 2012. 谷歌学者 数字图书馆 H.Chen和D.Marx，《分块量化联合查询》 ICALP公司 , 2013. 谷歌学者 数字图书馆 H.Chen，“关于存在正查询的复杂性，” ACM事务处理。 计算。 日志 ，第15卷，第1期，2014年。 谷歌学者 数字图书馆 H.Chen和M.Muller，“一个层次产生另一个层次：图解构和联合查询的复杂性分类” 第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议，CSL-LICS’14，奥地利维也纳，7月14-18日， 2014年，2014年，第32:1-32:10页。 谷歌学者 数字图书馆 H.Chen，“类图形一阶查询集的可处理边界”，in 2014年7月14日至18日，奥地利维也纳，第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议，CSL-LICS’14 2014年，第31页。 谷歌学者 数字图书馆 N.Immerman，“一阶可表达性的上下限” J.计算。 系统科学 .，第25卷，第76981982页。 谷歌学者 交叉引用 
M.Y.Vardi，“关于有界变量查询的复杂性” 1995年PODS 1995年，第266至276页。 谷歌学者 数字图书馆 B.Rossman，“同态保持定理” 美国临床医学杂志 ，第55卷，第3期，2008年。 谷歌学者 数字图书馆 S.Abiteboul、R.Hull和V.Vianu， 数据库基础 Addison-Wesley，1995年。 谷歌学者 数字图书馆 H.Chen和S.Mengel，“计算存在正查询的答案：复杂性分类”，in 第35届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会会议记录 2016年，第315-326页。 谷歌学者 数字图书馆 M.Grohe和M.Thurley，“计算同态和配分函数” 当代数学 第558卷，第252--301页。 谷歌学者 A.A.Bulatov，“计数约束满足问题的复杂性，” 美国临床医学杂志 ，第60卷，第5期，第34页，2013年。 谷歌学者 数字图书馆 A.K.Chandra和P.M.Merlin，“关系数据库中联合查询的优化实现”，in STOC’77的程序 1977年，第77-90页。 谷歌学者 数字图书馆 F.V.Fomin和D.Kratsch， 精确指数算法 第1版，美国纽约州纽约市：Springer-Verlag纽约公司，2010年。 谷歌学者 数字图书馆 L.Lovsz，“结构操作” 匈牙利科学院数学学报 ，第18卷，第3-4期，第321-328页，1967年。 谷歌学者 N.Immerman和E.Lander，“描述图形：图形标准化的一阶方法”，in 复杂性理论回顾 ，A.Selman，Ed.Springer New York，1990年，第59-81页。 谷歌学者 S.Bova和H.Chen，“存在正查询宽度最小化的复杂性”，in ICDT公司 2014年，第235-244页。 谷歌学者 H.L.Bodlaender，“求小树宽树分解的线性时间算法” SIAM J.计算机 第25卷第6期，第1305-13171996页。 {在线}。 可用 谷歌学者 数字图书馆 P.Hell和J.Nesetril，“图的核心” 离散数学 第109卷，第117-126页，1992年。 谷歌学者 数字图书馆 N.Alon，“组合nullstellensatz” 梳子。 普罗巴伯。 计算 ，第8卷，第1--2号，第7-29页，1999年1月。 谷歌学者 数字图书馆
建议
一元计数量词一阶逻辑的Hanf范式 LICS’16：第31届ACM/IEEE计算机科学逻辑年会论文集 利用一元计数量词集Q⊆P（N）研究了一阶逻辑扩展FO（Q）的Hanf范式的存在性。 如果公式ζ（x）是描述同构类型的公式ζ的布尔组合，则公式为Hanf范式。。。
