QUERYING DATALOG PROGRAMS WITH TEMPORAL LOGIC

被引：0
|
作者：
TUZHILIN, A
机构：
[1] Department of Information Systems, Stern School of Business, New York University, New York, 10012-1126, NY, 44 West 4th Street
来源：
ACTA INFORMATICA | 1993年 / 30卷 / 07期
关键词：
D O I：
10.1007/BF01191723
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Temporal logic queries on Datalog and negated Datalog programs are studied, and their relationship to Datalog queries on these programs is explored. It is shown that, in general, temporal logic queries have more expressive power than Datalog queries on Datalog and negated Datalog programs. It is also shown that an existential domain-independent fragment of temporal logic queries has the same expressive power as Datalog queries on negated Datalog programs with inflationary semantics. This means that for finite structures this class of queries has the power of the fixpoint logic.
引用
收藏
页码：679 / 700
页数：22
相关论文
共 50 条
  • [21] Layered Models Top-Down Querying of Normal Logic Programs
    Pereira, Luis Moniz
    Pinto, Alexandre Miguel
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2009, 5418 : 254 - 268
  • [22] Metabolic Pathways as Temporal Logic Programs
    Alliot, Jean-Marc
    Dieguez, Martin
    del Cerro, Luis Farinas
    LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 3 - 17
  • [23] Temporal logic specification mining of programs
    Zhang, Nan
    Yu, Bin
    Tian, Cong
    Duan, Zhenhua
    Yuan, Xiaoshuai
    THEORETICAL COMPUTER SCIENCE, 2021, 857 : 29 - 42
  • [24] Efficiently executable temporal logic programs
    Merz, S
    EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 69 - 85
  • [25] Strongly Equivalent Temporal Logic Programs
    Aguado, Felicidad
    Cabalar, Pedro
    Perez, Gilberto
    Vidal, Concepcion
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 8 - 20
  • [26] Semantics of framed temporal logic programs
    Duan, ZH
    Yang, XX
    Koutny, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 356 - 370
  • [27] Modular materialisation of Datalog programs
    Hu, Pan
    Motik, Boris
    Horrocks, Ian
    ARTIFICIAL INTELLIGENCE, 2022, 308
  • [28] Update rules in datalog programs
    Int J Pressure Vessels Piping, 2 (71):
  • [29] Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
    Monteiro, Pedro T.
    Ropers, Delphine
    Mateescu, Radu
    Freitas, Ana T.
    de Jong, Hidde
    ECAI 2008, PROCEEDINGS, 2008, 178 : 229 - +
  • [30] Modular Materialisation of Datalog Programs
    Hu, Pan
    Motik, Boris
    Horrocks, Ian
    THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 2859 - 2866
12345