数据记录仪

DATALOG是一种声明性的逻辑编程语言,语法上是Prolog的子集。它经常被用作演绎数据库的查询语言。近年来,数据挖掘在数据集成、信息抽取、网络化、程序分析、安全性、云计算等方面有了新的应用。(1)它的起源可以追溯到逻辑编程的开端。但是当Hevee Galayle和Jack Minker组织了一个关于逻辑和数据库的研讨会时,它在1977左右成为一个独立的区域。(2)David Maier被誉为“DATALOG”一词。(维基百科)


ZBMaCT中的参考文献(277篇文章中引用)

显示结果1至20的277。
按年份排序(引文
  1. Ahmetaj,Shqiponja;奥尔蒂斯,Magdalena;IimkUS,MaTaS:从表述性描述逻辑到封闭式谓词到DATALOG变体的多项式重写(2020)
  2. Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger:VADROCL系统:基于DATALOG的知识图推理(2020)阿西夫
  3. 多达罗,卡迈恩;GASTEIGER,菲利普;Reale,克里斯蒂安;里卡,弗朗西斯科;SkkoTiHin,康斯坦丁:调试非地面ASP程序:技术和图形工具(2019)
  4. 费尔、克里斯蒂娜、库乌斯托、安蒂、Lutz、卡斯滕:一元析取数据记录器、MMSNP和表达描述逻辑的可写性(2019)
  5. Lutz,卡斯滕;Seylan,iNANC;沃尔特,弗兰克:具有封闭谓词的本体中介查询的数据复杂性(2019)
  6. Alviano、马里奥、多达罗、卡迈恩、J·R·维萨洛、Matti、马拉泰阿、马珂、普雷维蒂、Alessandro:以极小化模型和不可满足核心(2018)在ASP的谨慎推理(下)
  7. Baryannis,乔治;TaqMaZiDIS,Ilias;巴察基斯,SoTiRIS;安东尼奥,GigigRIS;Alviao,马里奥;Sellis,TiMOS;Tsai,Posi:一个使用答案集编程的定性空间推理轨迹演算(2018)
  8. Beck,哈拉尔德;Dao Tran,MIH;Eiter,托马斯:LAS:一个基于逻辑的流分析推理框架(2018)
  9. 博尼法蒂,安吉拉;DunBrava,斯特凡尼亚;阿里亚斯,埃米利奥Jes S GalLeGo:具有常规数据记录的认证图视图维护(2018)
  10. Condie,泰森;DAS,Ariyam;国际米兰,Matteo;希卡普斯基,亚力山大;杨,莫汉;Zaniolo,卡罗:BigDATA(2018)的扩展推理和高级分析
  11. Deagustini,Cristhian A. D.;马丁内兹,M. Vanina;FalaPa,Marcelo A.;Simari,Guillermo R.:不连贯性如何影响DATALOG(^ \pm)的不相容容忍语义?(2018)
  12. 恩格斯,克里斯蒂安妮;BeRead,安德烈亚斯;Bug,斯特凡:一个基于规则的方法,用DATACT分析数据库模式对象(2018)
  13. Fazzinga,贝蒂娜;Lukasiewicz,托马斯;马丁内兹,Maria Vanina;SimARi,Gerardo I.;Po.OANA:DATALOX+/-(2018)中多值群偏好下的本体查询查询
  14. Gavanelli,马珂;LAMMA,Evelina;RiuuZi,法布里齐奥;Belodii,埃琳娜;Zeess,里卡尔多;Cota,GuuePepe:DATALOX(^ \PM)本体推理与溯因逻辑编程(2018)
  15. Matteo,TANCA,莱蒂齐娅:一个基于DATALOC的无数据、数据并行系统计算模型(2018)
  16. KZDA,AlxANDR:(n)-可置换性和线性DATALOG意味着对称数据记录(2018)
  17. Scharpfenecker,帕特里克:有界深度简洁编码及其蕴涵在图上的结构(2018)
  18. Bahmani,ZeNeAB;Bertossi,Leopoldo;VasiLogu,NikoaOS:ErBuxx:将匹配依赖与机器学习结合用于实体解析(2017)
  19. Bertossi,Leopoldo;布拉沃,Loreto:对等数据交换系统中的一致性和信任(2017)
  20. Bertossi,Leopoldo;Salimi,巴巴克:从数据库查询答案的原因:数据日志溯因、视图更新和完整性约束(2017)