数据日志精简版

Datalog-LITE：一种线性时间模型检查的演绎查询语言。本文提出了一种新的演绎查询语言Datalog-LITE，它具有线性时间模型检验算法，即线性时间数据复杂度和程序复杂度。dataloglite是Datalog的一个变体，它在规则体中使用分层否定、限制变量出现和通用量化的有限形式。尽管使用线性时间评估，Datalog-LITE具有高度的表达能力：它包含流行的模态和时态逻辑，如CTL或无交互（mu）演算。事实上，这些形式具有作为dataloglite片段的自然表示。此外，Datalog-LITE相当于有保护定点逻辑的无交替部分。从而统一地得到了上述逻辑的线性时间模型检验算法。结果得到了不可表达性证明的补充，即extit{分层}数据日志的线性时间片段的表达能力太有限。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考，1标准件)

显示第1到第10个结果，共10个。
按年份排序(引用)

  1. 安托万·阿马里利；皮埃尔·波希斯；莫内，米卡·埃尔；塞内拉特，皮埃尔：通过树自动机和循环装置评估数据日志（2019年）
  2. Benedikt，Michael；Bouris，Pierre；Boom，Michael Vanden：可判定不动点逻辑中的可定义性和插值（2019）
  3. Ameloot，Tom J.；Van den Bussche，一月：积极的Dedalus项目容忍非因果关系（2014）
  4. Gauwin，Olivier；Niehren，Joachim；Tison，Sophie:有界延迟和并发的XML流查询（2011）
  5. Georg Gottlob；Pichler，Reinhard；Wei，Fang:通过有界树的可处理数据库设计和数据日志诱拐（2010）ioport公司
  6. Champavère，Jérôme；Gilleron，rémi；Lemay，Aurélien；Niehren，Joachim:确定性树自动机和XML模式的有效包含检查（2009）
  7. 德克.莱因斯；马克思，马尔滕；泰斯基维茨，杰兹；范登布希，简：《半连接代数与保护碎片》（2005）
  8. Nowack，Antje:抽象状态机的保护碎片（2005）
  9. Gottlob，Georg；Grädel，Erich；Veith，Helmut:Datalog-LITE：一种带线性时间模型检查的演绎查询语言（2002）
  10. Grädel，Erich:Guarded不动点逻辑和可数树的一元理论。（2002年）