数据记录器

DATLAX-Lite：一个具有线性时间模型检查的演绎查询语言。我们提出了一种新的演绎查询语言DATALOLL，它具有线性时间模型检查算法，即线性时间数据复杂度和程序复杂性。数据日志Lite是DATALOG的一种变体，它使用分层否定、限制变量出现和规则体中的通用量化的有限形式。尽管线性时间评估，数据日志Lite是高度表达性的：它包含流行的模态和时间逻辑，如CTL或无交替（MU）演算。事实上，这些形式主义的自然呈现为DATALCO-Lite的片段。此外，数据日志Lite相当于守护定点逻辑的交替自由部分。因此，所有的逻辑的线性时间模型检查算法是以统一的方式获得的。这些结果是由不可表达性证明补充的结果表明，线性时间片段的退出{分层}数据字典的表达能力太有限。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（10篇）1标准条款）

显示结果1至10的10。
按年份排序（引文）

  1. Amarilli、安托万、布尔希、彼埃尔、莫尼特、米卡、塞内拉特、彼埃尔：通过树自动机和CyLeIt评估数据记录（2019）
  2. 贝内迪克特，米迦勒；BeHes，彼埃尔；Boom，Michael Vanden：可判定不动点逻辑中的可定义性和内插（2019）
  3. Ameloot，Tom J.；Van den Bussche，简：正迪达勒斯程序容忍非因果关系（2014）
  4. GoWin，奥利维尔；NIEHRN，约阿希姆；TISON，索菲：对具有有限延迟和并发的XML流的查询（2011）
  5. 哥特洛布，格奥尔；Pichler，莱因哈德；魏，Fang：可操纵数据库设计和数据树引诱通过有界树宽（2010）伊波尔特
  6. Chanr，Re，勒梅，AureLee；NeHelun，约阿希姆：确定性树自动机和XML模式的有效包含检查（2009）
  7. Dirk，马克思，Maarten；Tyszkiewicz，杰西；Van den Bussche，简：半连接代数和守恒片段（2005）
  8. NoAcK，Antje：抽象状态机的守恒片段（2005）
  9. GoToLob，格奥尔；Gr.S.del，埃里希；VIETH，赫尔穆特：DATALOLL LITE：一个具有线性时间模型检查的演绎查询语言（2002）
  10. 埃里希：守恒不动点逻辑和可数树的单行理论。（2002）