SEDatalog: A set extension of Datalog

被引：0

作者：

Zhou, Q ^{[1
]}

Long, LG ^{[1
]}

机构：

[1] Zhongshan Univ, Software Inst, Guangzhou 510275, Guangdong, Peoples R China

来源：

INTELLIGENT INFORMATION PROCESSING II | 2005年 / 163卷

关键词：

the order of a set; the order of predicate; n-th order set;

D O I：

10.1007/0-387-23152-8_49

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper we propose an extension, SEDatalog, of Datalog so that sets can be naturally constructed in logic programming. In SEDatalog, sets can be defined by statements so it has a strong capability in creating sets. Three deductive rules are also introduced in this paper, which make SEDatalog strong in deductions and programming even when sets are involved in deductions. The syntactical description and the semantical interpretation of SEDatalog are comprehensively discussed in detail. The soundness and completeness theorem of SEDatalog is proved, which provides a solid foundation of SEDatalog.

引用

页码：383 / 388

页数：6

共 50 条

[21] Extension control algorithm using extension set in control system
Ying, H
Yu, YQ
Ling, Z
Third International Conference on Information Technology and Applications, Vol 1, Proceedings, 2005, : 407 - 410
[22] Extension set and restricting qualifications of matter-elements' extension
Ju, YJ
Yu, YQ
Ju, GM
Wen, C
Third International Conference on Information Technology and Applications, Vol 1, Proceedings, 2005, : 395 - 398
[23] Practical Applications of IndetermSoft Set and IndetermHyperSoft Set and Introduction to TreeSoft Set as an extension of the MultiSoft Set
Smarandache F.
Neutrosophic Sets and Systems, 2022, 51 : 939 - 947
[24] On the extension of a set of elliptic operators via the closure of the set of solutions
Raitums, Uldis
Nonlinear Analysis, Theory, Methods and Applications, 1998, 34 (07): : 1067 - 1079
[25] EXTENSION OF AN ORDER ON A SET TO THE POWER SET - SOME FURTHER OBSERVATIONS
BANDYOPADHYAY, T
MATHEMATICAL SOCIAL SCIENCES, 1988, 15 (01) : 81 - 85
[26] On the extension of a set of elliptic operators via the closure of the set of solutions
Raitums, U
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1998, 34 (07) : 1067 - 1079
[27] ABOUT BOUNDEDNESS FOR SOME DATALOG AND DATALOG(NEG) PROGRAMS
GUESSARIAN, I
VELOSOPEIXOTO, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 284 - 297
[28] Datalog in Wonderland
Khamis, Mahmoud Abo
Ngo, Hung Q.
Pichler, Reinhard
Suciu, Dan
Wang, Yisu Remy
SIGMOD RECORD, 2022, 51 (02) : 6 - 17
[29] Why Datalog?
Ullman, Jeffrey
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 5 - 5
[30] Total extension of set functions and relations
Wierman, MJ
1997 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1997, : 292 - 294

← 1 2 3 4 5 →