数据日志

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


zbMATH参考文献(参考 281篇文章 参考)

显示第1到第20个结果,共281个。
按年份排序(引用)

1 2 ... 13 14 15 下一个

  1. Ahmetaj,Shqiponja;Ortiz,Magdalena;Simkus,Mantas:从具有封闭谓词的表达描述逻辑到数据日志变体的多项式重写(2020)
  2. Luigi Bellomarini,Georg Gottlob,Emanuel Sallinger:Vadalog系统:基于数据日志的知识图推理(2020)阿尔十四
  3. 阿蒙多拉,乔凡尼;多达罗,卡敏;马拉提亚,马可:《计算ASP程序谨慎后果的抽象求解器》(2019)
  4. Bernardo Cuteri;Dodaro,Carmine;Ricca,Francesco;Schüller,Peter:ASP程序的部分编译(2019年)
  5. Dodaro,Carmine;Gasteiger,Philip;Reale,Kristian;Ricca,Francesco;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  6. Feier,Cristina;Kuusisto,Antti;Lutz,Carsten:一元析取数据日志的重写性,MMSNP和表达描述逻辑(2019)
  7. Gerasimova,Olga;Kikot,Stanislav;Zakharyaschev,Michael:检查本体中介查询的数据复杂性:非统一CSP和Polyanna的案例研究(2019)
  8. Lutz,Carsten;Seylan,inac;Wolter,Frank:具有封闭谓词的本体中介查询的数据复杂性(2019)
  9. Ahmetaj,Shqiponja;Ortiz,Magdalena;Shimkus,Mantas:将有保护的存在规则重写为小型数据日志程序(2018)
  10. Alviano,Mario;Dodaro,Carmine;Järvisalo,Matti;Marco Maratea;Previti,Alessandro:ASP中通过最小模型和不满意核心的谨慎推理(2018)
  11. Baryannis,George;Tachmazidis,Ilias;Batsakis,Sotiris;Antoniou,Grigoris;Alviano,Mario;Sellis,Timos;Tsai,Pei Wei:使用答案集编程进行定性空间推理的轨迹演算(2018年)
  12. Beck,Harald;Dao Tran,Minh;Eiter,Thomas:LARS:基于逻辑的流分析推理框架(2018)
  13. Bonifati,Angela;Dumbrava,Stefania;Arias,Emilio Jesús Gallego:带常规数据日志的认证图形视图维护(2018)
  14. Condie,Tyson;Das,Ariyam;Interlandi,Matteo;Shkapsky,Alexander;Yang,Mohan;Zaniolo,Carlo:扩大bigdata的推理和高级分析(2018)
  15. Deagustini,Cristian A.D.;Martinez,M.Vanina;Falappa,Marcelo A.;Simari,Guillermo R.:不一致性如何影响数据日志(^\pm)的不一致容忍语义?(2018年)
  16. Engels,Christiane;Behrende,Andreas;Brass,Stefan:用数据日志分析数据库模式对象的基于规则的方法(2018)
  17. Fazzinga,Bettina;Lukasiewicz,Thomas;Martinez,Maria Vanina;Simari,Gerardo I.;Tifrea Marciuska,Oana:数据日志中多值组偏好下的本体论查询回答+/-(2018)
  18. Gavanelli,Marco;Lamma,Evelina;Riguzzi,Fabrizio;Bellodi,Elena;Zese,Riccardo;Cota,Giuseppe:数据日志(^\pm)本体论与溯因逻辑编程(2018)
  19. Interlandi,Matteo;Tanca,Letizia:无协调数据并行系统的基于数据日志的计算模型(2018)
  20. Kazda,Alexandr:(n)-置换性和线性数据日志意味着对称数据日志(2018)

1 2 ... 13 14 15 下一个