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 条
  • [31] Update rules in datalog programs
    Alves, MHF
    Laurent, D
    Spyratos, N
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 71 - 84
  • [32] PERMUTATION DEPENDENCY IN DATALOG PROGRAMS
    ALAGAR, VS
    GOYAL, P
    NAIR, PS
    SADRI, F
    INFORMATION SCIENCES, 1993, 68 (03) : 207 - 223
  • [33] Temporal logic patterns for querying dynamic models of cellular interaction networks
    Monteiro, Pedro T.
    Ropers, Delphine
    Mateescu, Radu
    Freitas, Ana T.
    de Jong, Hidde
    BIOINFORMATICS, 2008, 24 (16) : I227 - I233
  • [34] Update rules in Datalog programs
    Alves, MHF
    Laurent, D
    Spyratos, N
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (06) : 745 - 775
  • [35] Applying temporal logic to analysis of behavior of cooperating logic programs
    Dekhtyar, MI
    Dikovsky, AJ
    Valiev, MK
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 228 - 234
  • [36] Interactive Debugging of Datalog Programs
    Pacak, Andre
    Erdweg, Sebastian
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [37] Datalog Programs and Their Stable Models
    Lifschitz, Vladimir
    DATALOG RELOADED: FIRST INTERNATIONALWORKSHOP, DATALOG 2010, 2011, 6702 : 78 - 87
  • [38] Querying with Lukasiewicz logic
    Aguzzoli, Stefano
    Codara, Pietro
    Flaminio, Tommaso
    Gerla, Brunella
    Valota, Diego
    2015 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2015), 2015,
  • [39] Technical Note Temporal logic programs with variables
    Aguado, Felicidad
    Cabalar, Pedro
    Perez, Gilberto
    Vidal, Concepcion
    Dieguez, Martin
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (02) : 226 - 243
  • [40] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 75 - 123
12345