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 条
  • [1] Datalog extension for nested relations
    Comput Math Appl, 12 (51):
  • [2] DATALOG EXTENSION FOR NESTED RELATIONS
    BENCZUR, A
    HAJAS, C
    KOVACS, G
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 30 (12) : 51 - 79
  • [3] Datalog queries of set constraint databases
    Revesz, PZ
    DATABASE THEORY - ICDT '95, 1995, 893 : 425 - 438
  • [4] Relationlog: A typed extension to Datalog with sets and tuples
    Liu, MC
    JOURNAL OF LOGIC PROGRAMMING, 1998, 36 (03): : 271 - 299
  • [5] DATALOG with constraints - an answer-set programming system
    East, D
    Truszczynski, M
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 163 - 168
  • [6] Generative Datalog and Answer Set Programming - Extended Abstract
    Alviano, Mario
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 3 - 10
  • [7] Enhancing the magic-set method for disjunctive datalog programs
    Cumbo, C
    Faber, W
    Greco, G
    Leone, N
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 371 - 385
  • [8] A declarative extension of horn clauses, and its significance for datalog and its applications
    Mazuran, Mirjana
    Serra, Edoardo
    Zaniolo, Carlo
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 609 - 623
  • [9] MetaDL: Analysing Datalog in Datalog
    Dura, Alexandru
    Balldin, Hampus
    Reichenbach, Christoph
    SOAP'19: PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON STATE OF THE ART IN PROGRAM ANALYSIS, 2019, : 38 - 43
  • [10] Extension set and the research of the extension ADD transformation
    Zhu, QH
    Yu, YQ
    Wen, C
    Third International Conference on Information Technology and Applications, Vol 1, Proceedings, 2005, : 399 - 402
12345