摘要
S.Abiteboul、R.Hull和V.Vianu。 数据库基础。 Addison-Wesley，1995年。 谷歌学者 
数字图书馆 
D.阿加瓦尔。 关于“通过重新加权11正则化学习无标度网络”的讨论。 在 AISTATS公司 ，第15卷，第49-50页，2011年。 谷歌学者 M.Aref、B.ten Cate、T.J.Green、B.Kimelfeld、D.Olteanu、E.Pasalic、T.L.Veldhuizen和G.Washburn。 LogicBlox系统的设计和实现。 在 SIGMOD公司 ，第1371-1382页，2015年。 谷歌学者 数字图书馆 P.C.Arocena、B.Glavic、R.Ciucanu和R.J.Miller。 ibench集成元数据生成器。 PVLDB公司 , 9(3):108--119, 2015. 谷歌学者 数字图书馆 J.Baget、M.Leclère和M.Mugnier。 在存在变量规则的可判定线上行走。 在 韩国。 AAAI出版社，2010年。 谷歌学者 数字图书馆 J.Baget、M.Leclère、M.Mugnier、S.Rocher和C.Sipieter。 Graal：一个使用存在规则进行查询应答的工具包。 在 规则ML ，第328-344页，2015年。 谷歌学者 交叉引用 
J.Baget、M.Mugnier、S.Rudolph和M.Thomazo。 沿着复杂的线寻找广义的保护存在规则。 在 国际JCAI ，第712--717页。 IJCAI/AAAI，2011年。 谷歌学者 数字图书馆 P.Barceló和R.Pichler，编辑。 学术与工业数据日志——第二届国际研讨会，数据日志2.0，奥地利维也纳，2012年9月11日至13日。 诉讼 ，第7494卷，共页 计算机科学课堂讲稿。 施普林格，2012年。 谷歌学者 数字图书馆 L.Bellomarini、G.Gottlob、A.Pieris和E.Sallinger。 大数据和知识图的快速逻辑。 在 国际JCAI ，第2-10页，2017年。 谷歌学者 数字图书馆 L.Bellomarini、E.Sallinger和G.Gottlob。 Vadalog系统（技术报告）。 https://drive.google.com/drive/u/0/folders/0B2xKYNJdpJzQaEh5VzlhTURHU3M。 谷歌学者 M.Benedikt、G.Konstantinidis、G.Mecca、B.Motik、P.Papotti、D.Santoro和E.Tsamoura。 标杆追逐。 在 豆荚 ，第37-52页，2017年。 谷歌学者 数字图书馆 M.Benedikt、J.Leblay和E.Tsamoura。 使用访问模式和完整性约束进行查询。 PVLDB公司 ，8（6）：690--7012015年。 谷歌学者 数字图书馆 B.Bollobas、C.Borgs、J.Chayes和O.Riordan。 有向无标度图。 在 SODA公司 ，第132-139页，2003年。 谷歌学者 数字图书馆 A.Bonifati、I.Ileana和M.Linardi。 释放功能依赖性以实现可扩展的数据交换。 在 SSDBM公司 ，第2:1--2:12页。 ACM，2016年。 谷歌学者 数字图书馆 A.卡尔、G.戈特洛布和M.基弗。 应对无限追赶：在表达性关系约束下的查询应答。 J.阿蒂夫。 智力。 物件。 , 48:115--174, 2013. 谷歌学者 交叉引用 A.Cal、G.Gottlob和T.Lukasiewicz。 基于数据日志的通用框架，用于在本体上进行易处理的查询应答。 J.网络学期。 , 14:57--83, 2012. 谷歌学者 数字图书馆 A.Cal、G.Gottlob、T.Lukasiewicz、B.Marnette和A.Pieris。Datalog+/-：用于新应用程序的逻辑知识表示和查询语言系列。 在 低收入国家 ，第228-242页，2010年。 谷歌学者 数字图书馆 A.Cal，G.Gottlob和A.Pieris。走向更具表现力的本体语言：查询-回答问题。 人工智能 , 193:87--128, 2012. 谷歌学者 数字图书馆 D.Calvanee、B.Cogrel、S.Komla-Ebri、R.Kontchakov、D.Lanti、M.Rezk、M.Rodriguez-Muro和G.Xiao。 Ontop：通过关系数据库回答SPARQL查询。 语义Web , 8(3):471--487, 2017. 谷歌学者 数字图书馆 DBpedia（数据库）。 网站。 http://wiki.dbpedia.org/services-resources/downloads/dbpedia-tables。 谷歌学者 D.Garlaschelli、S.Battiston、M.Castri、V.Servedio和G.Caldarelli。 市场投资的无标度拓扑。 网址：http://goo.gl/h7tVVK , 2004. 谷歌学者 F.Geerts、G.Mecca、P.Papotti和D.Santoro。 都是人！ LLUNATIC是开源的。 PVLDB公司 , 7(13):1565--1568, 2014. 谷歌学者 数字图书馆 G.Gottlob和A.Pieris。《OWL 2 QL隐含制度下的超越SPARQL：救援规则》。 在 国际JCAI ，第2999页至第30072015页。 谷歌学者 数字图书馆 G.Gottlob、S.Rudolph和M.Simkus。 保护存在规则语言的表达能力。 在 SIGMOD公司 ，第27-38页，2014年。 谷歌学者 数字图书馆 G.Graefe和W.J.McKenna。 火山优化生成器：可扩展性和高效搜索。 在 集成电路驱动单元 ，第209--218页，1993年。 谷歌学者 数字图书馆 Y.Guo、Z.Pan和J.Heflin。 LUBM：OWL知识库系统的基准。 J.网络学期。 , 3(2-3):158--182, 2005. 谷歌学者 数字图书馆 M.Krötzsch。 OWL EL.In的高效规则推理 IJCAI 2011年 ，第2668-2673页，2011年。 谷歌学者 交叉引用 M.Marx、M.Krötzsch和V.Thost。 MARS上的逻辑：广义属性图的本体。 在 2017国际JCAI ，第1188--1194页，2017年。 谷歌学者 数字图书馆 G.Mecca、P.Papotti和D.Santoro。 IQ-METER——数据转换系统的评估工具。 在 集成电路驱动单元 ，第1218--1221页，2014年。 谷歌学者 交叉引用 M.Meier先生。 回击再次出现。 VLDB J。 , 23(3):495--516, 2014. 谷歌学者 数字图书馆 B.Motik、Y.Nenov、R.Piro、I.Horrocks和D.Olteanu。 在集中式主存RDF系统中并行实现数据日志程序。 在 啊啊啊 ，第129-137页，2014年。 谷歌学者 数字图书馆 W.E.Moustafa、V.Papavasileiou、K.Yocum和A.Deutsch。 数据日志：在图形处理系统上缩放数据日志图形分析。 在 大数据 ，第56-65页。 IEEE，2016年。 谷歌学者 交叉引用 R.Pichler和V.Savenkov。 演示：数据交换建模工具。 PVLDB公司 , 2(2):1606--1609, 2009. 谷歌学者 数字图书馆 C.A.H.R.和A.Barabási。 无标度网络。 学者媒体 , 3(1):1716, 2008. 谷歌学者 交叉引用 S.舒尔茨。 系统描述：E 1.8。 在 LPAR公司 ，第8312卷，共页 计算机科学课堂讲稿 ，第735-743页。 施普林格，2013年。 谷歌学者 J.Urbani、C.J.H.Jacobs和M.Krötzsch。 大型知识图的面向列的数据日志物化。 在 2016年AAAI ，第258-264页，2016年。 谷歌学者 数字图书馆 VADA公司。 项目。 http://vada.org.uk/ , 2016. 谷歌学者
建议
具有聚类和排序功能的循环演算系统 循环演算是G.Japaridze为了满足其可计算逻辑理论（CoL）的需要而引入的一种新的证明理论和语义方法。 Japarize的早期文章“从可计算逻辑中的公式到结果”广义。。。 基于最小不动点逻辑的FO（ID）演绎系统 LPNMR’09：第十届逻辑程序设计和非单调推理国际会议论文集 逻辑FO（ID）使用逻辑编程领域的思想，用非单调归纳定义扩展一阶逻辑。 本文的目的是扩展Gentzen的序列演算，得到FO（ID）的演绎推理方法。 这个。。。
