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 条
  • [31] Extension Complexity of Independent Set Polytopes
    Goos, Mika
    Jain, Rahul
    Watson, Thomas
    2016 IEEE 57TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2016, : 565 - 572
  • [32] Extension principles and fuzzy set categories
    He, Qing
    Li, Hong-Xing
    Chen, C.L.P.
    Lee, E.S.
    Computers and Mathematics with Applications, 2000, 39 (1-2): : 45 - 53
  • [33] Augmented Reality for Virtual Set Extension
    Spielmann, Simon
    Helzle, Volker
    SIGGRAPH'18: ACM SIGGRAPH 2018 TALKS, 2018,
  • [34] Code Transformation and Instruction Set Extension
    Murray, Alastair C.
    Bennett, Richard V.
    Franke, Bjoern
    Topham, Nigel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2009, 8 (04)
  • [35] Datalog Unchained
    Vianu, Victor
    PODS '21: PROCEEDINGS OF THE 40TH SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2021, : 57 - 69
  • [36] Datalog Perspectives
    Warren, David S.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 6 - 6
  • [37] Scalable processor instruction set extension
    Becker, J
    Thomas, A
    IEEE DESIGN & TEST OF COMPUTERS, 2005, 22 (02): : 136 - 148
  • [38] Extension principles for fuzzy set theory
    Gerla, G
    Scarpati, L
    INFORMATION SCIENCES, 1998, 106 (1-2) : 49 - 69
  • [39] Extension of a set of theorems in circle geometry
    Grace, JH
    PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1928, 24 : 10 - 18
  • [40] AN EXTENSION OF A PERMUTATIVE MODEL OF SET THEORY
    Alexandru, Andrei
    Ciobanu, Gabriel
    ANALELE STIINTIFICE ALE UNIVERSITATII AL I CUZA DIN IASI-SERIE NOUA-MATEMATICA, 2012, 58 (01): : 1 - 18
12345