×

数据日志

swMATH ID: 20023
软件作者: Ceri,S.、Gottlob,G.、Tanca,L
描述: Datalog是一种声明性逻辑编程语言,在语法上是Prolog的子集。它通常用作演绎数据库的查询语言。近年来,Datalog在数据集成、信息提取、网络化、程序分析、安全性和云计算方面找到了新的应用。[1] 它的起源可以追溯到逻辑编程的开始,但大约在1977年,当埃尔维·加莱尔和杰克·明克组织了一个关于逻辑和数据库的研讨会时,它作为一个单独的领域而变得突出起来。[2] David Maier创造了术语Datalog。(维基百科)
主页: https://en.wikipedia.org/wiki/Datalog
相关软件: 亚萨特;格林戈;克林戈;WASP公司;斯莫德尔斯;C模型;DLV公司;XSB公司;Potassco公司;XPath(XPath);SPARQL公司;DLV2型;扣环;勒图尔;流浪汉;图形日志;GASP公司;无MoRe;LUBM公司;Ontop(顶部)
引用于: 282文件
全部的 前5名

449位作者引用

16 乔治·戈特洛布
14 托马斯·艾特
14 尼古拉·利昂
10 塞尔吉奥·格雷科
9 沃尔夫冈·费伯
8 多梅尼科·萨卡
6 阿克斯、阿格内斯
6 尤里·古里维奇
6 Martinez、Maria Vanina
5 谢尔盖·阿比特布尔
5 马里奥·阿尔维亚诺
5 董国柱
5 马诺利斯Gergatsoulis
5 托马斯·卢卡西维奇
5 赫尔穆特·维思
5 斯特凡·沃尔特兰
5 卡洛·扎尼奥洛
4 Afrati,Foto N。
4 卡明·多达罗
4 埃里希·格拉德尔
4 吉安路易吉·格雷科
4 伊雷纳游击队
4 斯蒂芬·亨纳(Stephen J.Hegner)。
4 马可·马拉提亚
4 马格达莱娜·奥尔蒂斯
4 安德烈亚斯·皮耶利斯
4 彼得·雷维斯。
4 弗朗西斯科·里卡
4 帕诺斯·朗多吉安尼
4 费尔南多·Sáenz-Pérez
4 杰拉尔多·西马里。
4 西蒙库斯,曼塔斯
4 维克托·维亚努
利奥波多·贝尔托西。
安德烈亚斯·拉斐尔
曼纽尔·博迪尔斯基
皮耶罗·安德里亚·博纳蒂
安东尼·邦纳。
苏拉吉特·乔杜里
陈阳军
伯纳多·昆卡·格劳
维克托·达尔摩
尤格尼·福斯托科斯
伊恩·霍洛克斯
马克·卡明斯基
亲吻,阿提拉
科赫(Christoph T.Koch)。
克里斯蒂安·莫里纳罗
Niemelä,Ilkka N.F。
路易吉·帕洛波利
杰拉尔德·菲弗
叶霍舒亚·萨吉夫
奥德·什穆埃利
莱蒂齐亚·坦卡
Moshe Ya’akov瓦尔迪
亚当·维特科夫斯基
张燕
2 什奇蓬贾·艾哈迈塔吉
2 弗农·亚松森
2 JoséLuis,Balcázar
2 尼古拉·S·比约纳。
2 皮埃尔·布赫斯
2 皮埃尔·布罗
2 斯特凡·布拉斯
2 格哈德·布鲁卡
2 尼夫·布里萨巴。
2 拉斐尔·E·卡巴列罗。
2 弗朗西斯科·卡利默里
2 坎通纳,多梅尼科
2 玛丽亚诺·康森斯(Mariano P.Consens)。
2 斯塔夫罗斯·科斯马达基斯。
2 克里斯蒂安·阿里尔·迪古西尼。
2 沃尔夫冈·德沃亚克
2 马塞洛·阿莱杭德罗·法拉帕
2 迈克尔·芬克
2 安德烈亚·福米萨诺
2 埃尔维·加莱尔
2 尤兰达加西亚·鲁伊斯
2 奥尔加·杰拉西莫娃
2 西摩金斯堡
2 González,Agustín E。
2 米利安·哈尔菲尔德·法拉利·阿尔维斯
2 Hernández,Héctor J。
2 斯迪恩·海曼斯
2 茨城,东芝
2 马泰奥·因特兰迪
2 斯坦尼斯拉夫·基科特
2 Lam,Monica S。
2 刘燕红安妮
2 卡斯滕·卢茨
2 Kazuhisa Makino
2 菲利普·马佐维耶基
2 格雷戈里·麦科姆。
2 Alberto O·门德尔松。
2 迈克尔·梅斯克斯
2 杰克·明克尔
2 鲍里斯·莫提克
2 菲利普·莫拉克
2 亚沃·内诺夫
2 Jean-Marie尼古拉斯
…还有349名作者
全部的 前5名

50篇连载文章中引用

24 人工智能
24 逻辑程序设计理论与实践
20 理论计算机科学
15 计算机与系统科学杂志
11 数学与人工智能年鉴
9 逻辑程序设计杂志
9 信息与计算
7 信息处理信件
6 计算机科学中的逻辑方法
4 计算机科学与技术杂志
4 国际近似推理杂志
4 人工智能研究杂志
4 ACM计算逻辑事务
信息学报
纯逻辑与应用逻辑年鉴
计算机基础理论
2 离散应用数学
2 控制论学报
2 编程和计算机软件
2 SIAM计算机杂志
2 布达佩斯科学大学年鉴(Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名)。计算机科
2 计算机与人工智能
2 新一代计算
2 自动推理杂志
2 数据与知识工程
2 机器学习
2 逻辑与计算杂志
2 Alkalmazott Matematikai Lapok公司。Magyar Tudomanyos Akademia。Matematikai es Fizikai Tudomanyok Osztalyanak Közlemenyei公司
2 约束条件
2 计算系统理论
2 美国计算机学会期刊
2 欧洲理论计算机科学协会公报
2 国际不确定性、模糊性和基于知识的系统杂志
2 数据库的基础和趋势
1 计算机与数学及其应用
1 信息科学
1 计算机协会杂志
1 算法杂志
1 数学和计算机建模
1 AI通信
1 国际代数与计算杂志
1 国际计算机科学基础杂志
1 计算调查
1 IEEE系统、人与控制论汇刊
1 信息系统
1 RAIRO公司。理论信息学及其应用
1 逻辑与代数程序设计杂志
1 计算机科学课堂讲稿
1 计算机科学评论
1 数据管理综合讲座

按年份列出的引文