首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
TOWARDS THE DEFINITION OF 1ST-ORDER LANGUAGE FOR RELATIONAL DATABASES
被引:0
|
作者
:
CHENKELI, TI
论文数:
0
引用数:
0
h-index:
0
CHENKELI, TI
机构
:
来源
:
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY
|
1981年
/ 05期
关键词
:
D O I
:
暂无
中图分类号
:
TP [自动化技术、计算机技术];
学科分类号
:
0812 ;
摘要
:
引用
收藏
页码:16 / 22
页数:7
相关论文
共 50 条
[1]
TOWARDS AN ADEQUATE DEFINITION OF DISTRIBUTION FOR 1ST-ORDER LOGIC
FRIEDMAN, JI
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Philosophy, University of California, Davis, 95616, CA
FRIEDMAN, JI
JOURNAL OF PHILOSOPHICAL LOGIC,
1995,
24
(02)
: 161
-
192
[2]
EQUALITY AND DOMAIN CLOSURE IN 1ST-ORDER DATABASES
REITER, R
论文数:
0
引用数:
0
h-index:
0
REITER, R
JOURNAL OF THE ACM,
1980,
27
(02)
: 235
-
249
[3]
ON COMPILING QUERIES IN RECURSIVE 1ST-ORDER DATABASES
HENSCHEN, LJ
论文数:
0
引用数:
0
h-index:
0
机构:
BELL TEL LABS INC,MURRAY HILL,NJ 07974
BELL TEL LABS INC,MURRAY HILL,NJ 07974
HENSCHEN, LJ
NAQVI, SA
论文数:
0
引用数:
0
h-index:
0
机构:
BELL TEL LABS INC,MURRAY HILL,NJ 07974
BELL TEL LABS INC,MURRAY HILL,NJ 07974
NAQVI, SA
JOURNAL OF THE ACM,
1984,
31
(01)
: 47
-
85
[4]
A PROOF SYSTEM FOR THE 1ST-ORDER RELATIONAL CALCULUS
HENNESSY, MCB
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
HENNESSY, MCB
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
1980,
20
(01)
: 96
-
110
[5]
1ST-ORDER IDENTITIES AS A DEFINING LANGUAGE
WAND, M
论文数:
0
引用数:
0
h-index:
0
WAND, M
ACTA INFORMATICA,
1980,
14
(04)
: 337
-
357
[6]
1ST-ORDER DRAINAGE-BASIN MORPHOLOGY - DEFINITION AND DISTRIBUTION
MARCUS, A
论文数:
0
引用数:
0
h-index:
0
MARCUS, A
EARTH SURFACE PROCESSES AND LANDFORMS,
1980,
5
(04)
: 389
-
398
[7]
NATURAL-LANGUAGE SYNTAX AND 1ST-ORDER INFERENCE
MCALLESTER, DA
论文数:
0
引用数:
0
h-index:
0
机构:
MIT Artificial Intelligence Laboratory, Cambridge, MA 02139
MCALLESTER, DA
GIVAN, R
论文数:
0
引用数:
0
h-index:
0
机构:
MIT Artificial Intelligence Laboratory, Cambridge, MA 02139
GIVAN, R
ARTIFICIAL INTELLIGENCE,
1992,
56
(01)
: 1
-
20
[8]
1ST-ORDER SOURCES IN 1ST-ORDER SYSTEMS - 2ND-ORDER CORRELATIONS
KAUDERER, M
论文数:
0
引用数:
0
h-index:
0
机构:
University of Texas, Division of Engineering, San Antonio, TX
KAUDERER, M
APPLIED OPTICS,
1991,
30
(09):
: 1025
-
1035
[9]
TUPLE CALCULUS - FORMAL DEFINITION AND CONVERSION FROM 1ST-ORDER CALCULUS
KOBAYASHI, I
论文数:
0
引用数:
0
h-index:
0
机构:
SANNO Inst for Business, Administration, Jpn, SANNO Inst for Business Administration, Jpn
KOBAYASHI, I
INFORMATION SYSTEMS,
1987,
12
(04)
: 343
-
352
[10]
1ST-ORDER INFLATION
KOLB, EW
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CHICAGO,ENRICO FERMI INST,DEPT ASTRON & ASTROPHYS,CHICAGO,IL 60637
UNIV CHICAGO,ENRICO FERMI INST,DEPT ASTRON & ASTROPHYS,CHICAGO,IL 60637
KOLB, EW
PHYSICA SCRIPTA,
1991,
T36
: 199
-
217
←
1
2
3
4
5
→