数据日志

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


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

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

1 2 ... 13 14 15 下一个

  1. 艾哈迈塔伊,什奇波尼亚;奥尔蒂斯,抹大拉拿;Šimkus,Mantas:从具有封闭谓词的表达式描述逻辑到数据日志变量的多项式重写(2020)
  2. 科兹曼,法比奥·加利亚迪;á, Denis Deratani:概率答案集编程的乐趣:语义,复杂性,表达性,推理(2020)
  3. Luigi Bellomarini,Georg Gottlob,Emanuel Sallinger:Vadalog系统:基于数据日志的知识图推理(2020)阿尔十四
  4. 阿蒙多拉,乔凡尼;多达罗,胭脂红;Marco,Marco:计算ASP程序谨慎后果的抽象求解器(2019)
  5. 卡特里,贝尔纳多;多达罗,胭脂红;里卡,弗朗西斯科;附表üLer,Peter:ASP程序的部分编译(2019)
  6. 多达罗,胭脂红;加斯泰格,菲利普;真的,克里斯蒂安;里卡,弗朗西斯科;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  7. 菲尔,克里斯蒂娜;库西斯托,安蒂;Lutz,Carsten:一元析取数据日志中的重写性,MMSNP和表达描述逻辑(2019)
  8. 格拉西莫娃,奥尔加;基科特、斯坦尼斯拉夫;Zakharyaschev,Michael:检查本体中介查询的数据复杂性:非统一CSP和Polyanna的案例研究(2019)
  9. 卢茨,卡斯滕;西兰,无语;Wolter,Frank:具有封闭谓词的本体中介查询的数据复杂性(2019)
  10. 艾哈迈塔伊,什奇波尼亚;奥尔蒂斯,抹大拉拿;Š伊姆库斯,曼塔斯:将保守的存在规则改写成小型数据日志程序(2018)
  11. 阿尔维亚诺,马里奥;多达罗,胭脂红;Jä阿维萨洛,马蒂;马拉提亚,马可;Previti,Alessandro:ASP中通过最小模型和不满足核心的谨慎推理(2018)
  12. 乔治,巴里安尼斯;髂动脉速增;巴萨基斯,索蒂里斯;安东尼奥,格里戈里斯;阿尔维亚诺,马里奥;蒂莫斯,塞利斯;蔡佩伟:基于答案集编程的定性空间推理轨迹演算(2018)
  13. 贝克,哈拉尔德;明道川;托马斯·艾特:基于逻辑的流分析推理框架(2018)
  14. 博尼法蒂,安吉拉;邓布拉瓦,斯特凡尼亚;加列戈·阿里亚斯,埃米利奥·杰斯ús: 带常规数据日志的认证图形视图维护(2018)
  15. 康迪,泰森;达斯,阿里亚姆;因特拉迪,马特奥;希卡普斯基,亚历山大;杨默翰;Zaniolo,Carlo:扩大BigData的推理和高级分析(2018)
  16. 迪古斯蒂尼,克里斯蒂安A。D、 。;马丁内斯,M。瓦尼娜;法拉帕,马塞洛A。;Simari,Guillermo R.:不一致性如何影响数据日志(^\pm)的不一致容忍语义(2018年)
  17. 恩格斯,克里斯蒂娜;贝伦德,安德烈亚斯;Brass,Stefan:用Datalog分析数据库模式对象的基于规则的方法(2018)
  18. 费辛加,贝蒂娜;卢卡西维茨,托马斯;马丁内斯,玛丽亚·瓦尼娜;西玛利,杰拉尔多一世。;Tifrea Marciuska,Oana:数据日志中多值组偏好下的本体查询回答(+/-)(2018)
  19. 加瓦内利,马可;南丫岛,伊芙丽娜;里古兹,法布里齐奥;贝洛迪,埃琳娜;泽斯,里卡多;Cota,Giuseppe:Datalog(^\pm)本体论与溯因逻辑编程(2018)
  20. 因特拉迪,马特奥;Tanca,Letizia:基于数据日志的无协调数据并行系统计算模型(2018)

1 2 ... 13 14 15 下一个