DATALOG VS FIRST-ORDER LOGIC

被引：29

作者：

AJTAI, M

GUREVICH, Y

机构：

[1] UNIV MICHIGAN,DEPT ELECT ENGN & COMP SCI,ANN ARBOR,MI 48109

[2] STANFORD UNIV,STANFORD,CA 94305

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1994年 / 49卷 / 03期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/S0022-0000(05)80071-6

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Our main result is that every datalog query expressible in first-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for finite structures. In addition, we give some counter-examples delimiting the main result. (C) 1994 Academic Press, Inc.

引用

页码：562 / 588

页数：27