摘要
ABITEBOUL，S.、HULL，R.和VIANU，V.1995年。 数据库基础。 Addison-Wesley，雷丁，马萨诸塞州。]] 谷歌学者 
数字图书馆 
美国阿比特堡和维也纳，1995年。 使用一阶逻辑进行计算。 J.计算。 系统。 科学。 50, 309-335.]] 谷歌学者 数字图书馆 ALLENDER，E.1996年。 新千年到来之前的电路复杂性。 在第16届软件技术和理论计算机科学基础会议论文集（FST&；TCS’96）。 计算机科学讲义，第1180卷。 Springer-Verlag，纽约，第1-18页。]] 谷歌学者 数字图书馆 BARRINGTON，D.M.、IMMERMAN，N.和STRAUBING，H.1990年。 关于NC 1内的一致性。 J.计算。 系统。 科学。 41, 274-306.]] 谷歌学者 数字图书馆 BUNEMAN，P.、NAQVI，S.、TANNEN，V.和WONG，L.1995年。 使用复杂对象和集合类型进行编程的原则。 理论。 计算。 科学。 149年9月1日至8日。]] 谷歌学者 数字图书馆 CABIBBO，L.和TORLONE，R.数据库查询中聚合函数的研究框架。 1999年数据库理论国际会议。 计算机科学讲义，第1540卷。 施普林格·弗拉格，纽约，第383-397页。]] 谷歌学者 数字图书馆 CAI，J.、FURER，M.和IMMERMAN，N.1992年。 关于图识别变量数的最优下界。 组合数学12，389-410。]] 谷歌学者 交叉引用 
COHEN，S.，NUTT，W.和SEREBRENIK，A.，1999年。 使用视图重写聚合查询。 第18届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集。 ACM，纽约，第155-166页。]] 谷歌学者 数字图书馆 CONSENS，M.和MENDELZON，A.1993年。 GraphLog和Datalog中的低复杂度聚合，Theoret。 计算。 科学。 116, 95-116.]] 谷歌学者 数字图书馆 DONG，G.、LIBKIN，L.和WONG，L.2000。 查询语言的本地属性。 理论。 计算。 科学。 239, 277-308.]] 谷歌学者 数字图书馆 EBBINGHAUS，H.-D.和FLUM，J.1995年。 有限模型理论。 纽约施普林格-弗拉格。]] 谷歌学者 ETESSAMI，K.1997年。 计数量词、后继关系和对数空间。 J.计算。 系统。 科学。 54, 400-411.]] 谷歌学者 数字图书馆 FAGIN，R.、STOCKMEYER，L.和VARDI，M.，1995年。 一元NP与一元co-NP.Inf.Comput。 120, 78-92.]] 谷歌学者 数字图书馆 FEGARAS，L.和MAIER，D.1995年。 面向对象查询语言的有效演算。 1995年ACM SIGMOD会议记录（加州圣何塞，5月22日至75日）。 ACM，纽约，第47-58页。]] 谷歌学者 数字图书馆 盖夫曼，H.1982。 在本地和非本地属性上。 在81年赫伯兰德研讨会的会议记录中。 荷兰阿姆斯特丹北荷兰 谷歌学者 交叉引用 GRADEL，E.和GUREVICH，Y.1998。 亚有限模型理论。 Inf.计算。 140, 26-81.]] 谷歌学者 数字图书馆 GRUMBACH，S.、RAFANELLI，M.和TINININI，L.1999年。 查询聚合数据。 第18届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集。 ACM，纽约，第174-184页。]] 谷歌学者 数字图书馆 汉夫，W.1965。 基本逻辑研究中的模型理论方法。 在《模型理论》中。 J.W.Addison等人，Eds.North Holland，Amsterdam，The Netherlands，第132-145页。]] 谷歌学者 希拉，1996年出生。 PTIME中的逻辑层次结构。 Inf.计算。 129, 1-19.]] 谷歌学者 数字图书馆 HELLA，L.、LIBKIN，L.和NURMONEN，J.1999年。 有限模型上的局部性概念及其逻辑特征。 J.塞姆。 逻辑。 第641751-1773页。]] 谷歌学者 交叉引用 IMMERMAN，N.1986年。 可在多项式时间内计算的关系查询。 信息控制。 68, 86-104.]] 谷歌学者 数字图书馆 IMMERMAN，N.1999。 描述性复杂性。 纽约施普林格-弗拉格。]] 谷歌学者 IMMERMAN，N.1987年。 捕获复杂类的语言。 SIAM J.计算。 16, 760-778.]] 谷歌学者 数字图书馆 N.IMMERMAN和E.LANDER，1990年。 描述图形：图形标准化的一阶方法。 复杂性理论回顾。 德国柏林施普林格-弗拉格。]] 谷歌学者 KLUG，A.1982年。 具有聚合函数的关系代数和关系演算查询语言的等价性。 J.ACM 29，699-717。]] 谷歌学者 数字图书馆 科莱蒂斯，博士，瓦尔迪，M.1992。 无穷逻辑和0-1定律。 Inf.计算。 98, 258-294.]] 谷歌学者 数字图书馆 LELLAHI，K.和TANNEN，V.1997年。 集合和聚合的微积分。 《计算机科学范畴理论学报》。 计算机科学讲义，第1290卷。 纽约施普林格勒拉出版社，第261-280页。]] 谷歌学者 数字图书馆 LIBKIN，L.1997年。 关于有限模型的局部性形式。 第12届IEEE计算机科学逻辑研讨会（LICS’97）会议记录（波兰华沙，6月-7月）。 IEEE Computer Society Press，Los Alamitos，Calif.，第204-215页。]] 谷歌学者 数字图书馆 LIBKIN，L.2000年。 具有计数和局部属性的逻辑。 ACM事务处理。 计算。 逻辑1，33-59。]] 谷歌学者 数字图书馆 LIBKIN，L.和WONG，L.，1994年。 聚合函数、保守扩张和线性阶。 1993年《数据库编程语言学报》。 施普林格·弗拉格，纽约，第282-294页。]] 谷歌学者 数字图书馆 LIBKIN，L.，WONG，L.1997年a。 行李和聚合函数的查询语言。 J.计算。 系统。 科学。 55, 241-272.]] 谷歌学者 数字图书馆 LIBKIN，L.和WONG，L.1997b。 关于关系查询语言中聚合的威力。 1997年《数据库编程语言学报》。 计算机科学讲义，第1369卷。 纽约施普林格-弗拉格出版社，第260-280页。]] 谷歌学者 数字图书馆 MUMICK，I.S.、PIRAHESH，H.和RAMAKRISHNAN，R.1990年。 重复和聚合的魔力。 在超大数据库会议记录中。 264-277.]] 谷歌学者 数字图书馆 MUMICK，I.S.和SHMUELI，O.1995年。 分层聚合的表现力如何？ 安。数学。 AI 15，407-435。]] 谷歌学者 交叉引用 NURMONEN，J.1996年。 关于一元量词的获胜策略。 J.逻辑计算。 6779-798页。]] 谷歌学者 交叉引用 OTTO，M.1997年。 有界变量逻辑与计数：有限模型研究。 纽约州弗拉格市施普林格。]] 谷歌学者 ROSS，K.和SAGIV，Y.1992。 演绎数据库中的单调聚合。 第11届ACMSIGACT-SIGMOD-SIGART数据库系统原理研讨会会议记录（加州圣地亚哥，6月2日至4日）。 ACM，纽约，第114-126页。]] 谷歌学者 数字图书馆 ROSS，K.、SRIVASTAVA，D.、STUCKEY，P.和SUDARSHAN，S.1998年。 聚合约束的基础。 理论。 计算。 科学。 193, 149-179.]] 谷歌学者 数字图书馆 ULLMAN，J.1988年。 数据库和知识库系统原理。 马里兰州罗克维尔计算机科学出版社 谷歌学者 数字图书馆 范·盖尔德，A.1992。 聚合的良好语义。 第11届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（加利福尼亚州圣地亚哥，6月2-4日）。 ACM，纽约，第127-138页。]] 谷歌学者 数字图书馆 瓦尔迪，M.1982。 关系查询语言的复杂性。 第14届ACM计算机理论研讨会论文集。 ACM，纽约，第137-146页。]] 谷歌学者 数字图书馆 WONG，L.1996年。 查询语言相对于集合类型的范式和保守属性。 J.计算。 系统。 科学。 495-505年6月1日，第52页。]] 谷歌学者 数字图书馆
索引术语
带有聚合运算符的逻辑
