数据日志 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 数据管理综合讲座 全部的 前5名在9个字段中引用 278 计算机科学(68-XX) 40 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 2 阶、格、有序代数结构(06-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 结合环与代数(16-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文