数据日志

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


zbMATH中的参考文献(参考文献293篇文章)

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

1 2 ... 13 14 15 下一个

  1. 格拉西莫娃,奥尔加;基科特、斯坦尼斯拉夫;库鲁茨,Agi;波多尔斯基,弗拉基米尔;Zakharyaschev,Michael:ontology-mediated查询与覆盖公理(2022)
  2. 卢卡西维茨,托马斯;马里齐亚,恩里科;马丁内斯,玛丽亚·瓦尼娜;莫里纳罗,克里斯蒂安;皮尔斯,安德烈亚斯;Simari,Gerardo I.:存在规则的不一致容忍查询应答(2022)
  3. 布朗伯格,马丁;德拉戈斯特,伊琳娜;法克赫,拉沙;菲泽,克里斯托夫;克鲁兹,马库斯;Weidenbach,Christoph:用于监督验证条件的数据记录锤模简单线性算法(2021)
  4. 科斯坦蒂尼,斯特凡尼亚;Andrea Formisano:向知识表示语言添加元逻辑特征(2021)
  5. 艾特,托马斯;Kaminski,Tobias:使用语义依赖性修剪答案集程序的外部最小性检查(2021)
  6. 加西亚·孔特雷拉斯,伊莎贝尔;莫拉莱斯,何塞芙。;Hermenegildo,Manuel V.:增量和模块化上下文敏感分析(2021)
  7. 卡里米,阿拉什;张衡;你,贾淮:存在性规则的限制性追逐终结:一种分层方法和实验(2021)
  8. 艾哈迈塔伊,什奇波尼亚;奥尔蒂斯,抹大拉拿;西姆库斯,曼塔斯:从具有封闭谓词的表达描述逻辑到数据日志变体的多项式重写(2020)
  9. 布雷卡,格哈德;迪勒,马丁;海森伯格,乔治;林斯比希勒,托马斯;Woltran,Stefan:用答案集编程解决高级论证问题(2020)
  10. 科兹曼,法比奥·加利亚迪;Mauá,Denis Deratani:概率答案集编程的乐趣:语义,复杂性,表达性,推理(2020)
  11. 吉尔丹塔斯;康德瓦,安托瓦内塔;Nigam,Vivek:安全工程师的更少人工工作:走向安全模式的自动化安全推理(2020)
  12. Luigi Bellomarini,Georg Gottlob,Emanuel Sallinger:Vadalog系统:基于数据日志的知识图推理(2020)阿尔十四
  13. 阿蒙多拉,乔凡尼;多达罗,胭脂红;Marco,Marco:计算ASP程序谨慎后果的抽象求解器(2019)
  14. 卡利梅里,弗朗西斯科;佩里,西蒙娜;Zangari,Jessica:通过启发式分解优化答案集计算(2019)
  15. 卡特里,贝尔纳多;多达罗,胭脂红;里卡,弗朗西斯科;Schüller,Peter:ASP程序的部分编译(2019)
  16. 多达罗,胭脂红;加斯泰格,菲利普;真的,克里斯蒂安;里卡,弗朗西斯科;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  17. 菲尔,克里斯蒂娜;库西斯托,安蒂;Lutz,Carsten:一元析取数据日志中的重写性,MMSNP和表达描述逻辑(2019)
  18. 格拉西莫娃,奥尔加;基科特、斯坦尼斯拉夫;Zakharyaschev,Michael:检查本体中介查询的数据复杂性:非统一CSP和Polyanna的案例研究(2019)
  19. 卢茨,卡斯滕;西兰,无语;Wolter,Frank:具有封闭谓词的本体中介查询的数据复杂性(2019)
  20. Varanasi,Sarat Chandra:从答案集程序合成命令程序(2019)

1 2 ... 13 14 15 下一个