Deductive engineering database language DEL

被引：0

作者：

Shao, Jiayu

Lu, Ping

Zhou, Boxin

Xu, Nanrong

机构：

来源：

Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2000年 / 37卷 / 02期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：164 / 169

共 50 条

[21] A deductive database for mathematical formulas
Dalmas, S
Gaetano, M
Huchet, C
DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 287 - 296
[22] DIGRESS - A DEDUCTIVE INTERFACE TO A RELATIONAL DATABASE
MCLEAN, S
WEISE, C
JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1991, 42 (01): : 49 - 63
[23] Deductive database languages: Problems and solutions
Liu, MC
ACM COMPUTING SURVEYS, 1999, 31 (01) : 27 - 62
[24] Towards a geometry deductive database prover
Baeta, Nuno
Quaresma, Pedro
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2023, 91 (06) : 851 - 863
[25] A DEDUCTIVE DATABASE BASED ON ARISTOTELIAN LOGIC
MOZES, E
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 7 (05) : 487 - 507
[26] Towards a geometry deductive database prover
Nuno Baeta
Pedro Quaresma
Annals of Mathematics and Artificial Intelligence, 2023, 91 : 851 - 863
[27] Outer Joins in a Deductive Database System
Saenz-Perez, Fernando
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 282 : 73 - 88
[28] THE PARTITION MODEL - A DEDUCTIVE DATABASE MODEL
SPYRATOS, N
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (01): : 1 - 37
[29] Deductive Graph Database - Datalog in Action
Rabuzin, Kornelije
2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2015, : 114 - 118
[30] Data mining with a distributed deductive database
Maskarinec, M
Neumann, K
INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL I AND II, 1999, : 115 - 121