Grädel,E。 关于传递闭包逻辑。 (英语) Zbl 0783.03012号 Börger,Egon(编辑)等人,《计算机科学逻辑》。1991年10月7日至11日,瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。626, 149-163 (1992). N.Immerman(1987)引入了传递闭包逻辑((text{FOL}+\text{TC}),因为它是一阶逻辑(FOL)的扩展,确切地说是通过定义传递闭包的能力(事实证明它不是一阶可表达的)。将\((\text{FOL}+\text{TC})限制为那些只出现TC运算符的正数的公式,称为正传递闭包逻辑((\text{FOL{+\text{posTC},)。作者使用Ehrenfeucht-Fraíssé博弈技术指出了((text{FOL}+\text{TC})在任意有限结构和有序结构上的不同行为,并确定了((\text{FOL{+\text}posTC})中量词类的无限层次。最后,在Datalog(一种纯形式由无函数和无否定Horn子句组成的数据库查询语言)的某些扩展中,证明了\((\text{FOL}+\text{TC})\)及其片段与线性程序具有相同的表达能力。有关整个系列,请参见[Zbl 0772.68004号].审核人:N.Curteanu(伊阿什) 引用于11文件 MSC公司: 03B70号 计算机科学中的逻辑 68T27型 人工智能中的逻辑 03B35型 证明和逻辑操作的机械化 03D55号 可计算性和可定义性的层次结构 第68页,共15页 数据库理论 关键词:数据日志查询语言语义;正传递闭包逻辑;埃伦费丘特·弗雷塞游戏;有限结构;有序结构;表现力;线性程序 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel},莱克特。注释计算。科学。626149-163(1992年;Zbl 0783.03012)