数据日志

Datalog是一种声明性逻辑编程语言,语法上是Prolog的一个子集。它经常被用作演绎数据库的查询语言。近年来,数据日志在数据集成、信息提取、网络化、程序分析、安全、云计算等领域有了新的应用。[1]它的起源可以追溯到逻辑编程的开始,但在1977年左右,当HervéGallaire和Jack Minker组织了一个关于逻辑和数据库的研讨会时,它作为一个单独的领域而变得突出起来。[2]大卫·梅尔(David Maier)被认为是创造数据日志这个词的功臣。(维基百科)


zbMATH中的参考文献(参考文献288篇)

显示288个结果中的1到20个。
按年份排序(引用)

1 2 ... 13 14 15 下一个

  1. 艾特,托马斯;Kaminski,Tobias:使用语义依赖性修剪答案集程序的外部最小性检查(2021)
  2. 加西亚·孔特雷拉斯,伊莎贝尔;莫拉莱斯,何塞芙。;Hermenegildo,Manuel V.:增量和模块化上下文敏感分析(2021)
  3. 卡里米,阿拉什;张衡;你,贾淮:存在性规则的限制性追逐终结:一种分层方法和实验(2021)
  4. 艾哈迈塔伊,什奇波尼亚;奥尔蒂斯,抹大拉拿;西姆库斯,曼塔斯:从具有封闭谓词的表达描述逻辑到数据日志变体的多项式重写(2020)
  5. 布雷卡,格哈德;迪勒,马丁;海森伯格,乔治;林斯比希勒,托马斯;Woltran,Stefan:用答案集编程解决高级论证问题(2020)
  6. 科兹曼,法比奥·加利亚迪;Mauá,Denis Deratani:概率答案集编程的乐趣:语义,复杂性,表达性,推理(2020)
  7. 格罗莫夫斯基,马克;席伯斯,迈克尔;Schmid,Ute:归纳和解释数据日志理论的过程框架(2020)
  8. Luigi Bellomarini,Georg Gottlob,Emanuel Sallinger:Vadalog系统:基于数据日志的知识图推理(2020)阿尔十四
  9. 阿蒙多拉,乔凡尼;多达罗,胭脂红;Marco,Marco:计算ASP程序谨慎后果的抽象求解器(2019)
  10. 卡利梅里,弗朗西斯科;佩里,西蒙娜;Zangari,Jessica:通过启发式分解优化答案集计算(2019)
  11. 卡特里,贝尔纳多;多达罗,胭脂红;里卡,弗朗西斯科;Schüller,Peter:ASP程序的部分编译(2019)
  12. 多达罗,胭脂红;加斯泰格,菲利普;真的,克里斯蒂安;里卡,弗朗西斯科;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  13. 菲尔,克里斯蒂娜;库西斯托,安蒂;Lutz,Carsten:一元析取数据日志中的重写性,MMSNP和表达描述逻辑(2019)
  14. 格拉西莫娃,奥尔加;基科特、斯坦尼斯拉夫;Zakharyaschev,Michael:检查本体中介查询的数据复杂性:非统一CSP和Polyanna的案例研究(2019)
  15. 卢茨,卡斯滕;西兰,无语;Wolter,Frank:具有封闭谓词的本体中介查询的数据复杂性(2019)
  16. 艾哈迈塔希亚;奥尔蒂斯,抹大拉拿;西姆库斯,曼塔斯:把保守的存在规则改写成小数据日志程序(2018)
  17. 阿尔维亚诺,马里奥;胭脂红,胭脂红;马尔维萨洛,马蒂;马拉提亚,马可;Previti,Alessandro:ASP中通过最小模型和不满足核心的谨慎推理(2018)
  18. 乔治,巴里安尼斯;髂动脉速增;巴萨基斯,索蒂里斯;安东尼奥,格里戈里斯;阿尔维亚诺,马里奥;塞利斯,提摩司;蔡佩伟:基于答案集编程的定性空间推理轨迹演算(2018)
  19. 贝克,哈拉尔德;明道川;托马斯·艾特:基于逻辑的流分析推理框架(2018)
  20. 博尼法蒂,安吉拉;邓布拉瓦,斯特凡尼亚;Gallego Arias,Emilio Jesús:通过常规数据日志进行认证的图形视图维护(2018)

1 2 ... 13 14 15 下一个