EQUALITY AND DOMAIN CLOSURE IN 1ST-ORDER DATABASES

被引：75

作者：

REITER, R

机构：

来源：

关键词：

D O I：

10.1145/322186.322189

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：235 / 249

页数：15

共 16 条

[1]

[Anonymous], SYMBOLIC LOGIC MECHA

[2]

BISHOP CA, UNPUBLISHED

[3] SPLITTING AND REDUCTION HEURISTICS IN AUTOMATIC THEOREM PROVING [J].

BLEDSOE, WW .

[4]

Chang C. L., 1978, Logic and data bases, P201

[5]

CODD EF, 1972, DATA BASE SYSTEMS, P65

[6]

Date C.-J., 1975, INTRO DATA BASE SYST

[7]

Gallaire Herve, 1978, LOGIC DATA BASES

[8] UNIT REFUTATIONS AND HORN SETS [J].

HENSCHEN, L ;

WOS, L .

[9]

Hilbert D., 1950, PRINCIPLES MATH LOGI

[10]

Keisler H. Jerome, 1971, MODEL THEORY INFINIT