×
阿尔梅德罗斯-吉梅内斯（Almendros-Jiménez），杰苏斯·M·。；安东尼奥·贝塞拉·特隆

函数逻辑演绎数据库的安全关系演算。 （英语） Zbl 1270.68101号

Brim，Lubos（编辑）等人，WFLP 2003。2003年6月12日至13日，西班牙巴伦西亚，第十二届函数和约束逻辑编程国际研讨会论文集（与RDP’03，重写、演绎和编程联合会议相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第3期，168-204（2003）。
摘要：在本文中，我们提出了一种扩展的关系演算，用于表示函数逻辑演绎数据库中的查询。该演算基于一阶逻辑，处理关系谓词、部分定义项上的等式和不等式以及近似方程。对于微积分公式，我们研究了语法条件，以确保域独立性。最后，我们研究了它与基于等式和不等式约束的原始查询语言的等价性。
关于整个系列，请参见[Zbl 1271.68025号].

引用于2文件

MSC公司：

第68页，共15页 数据库理论
03B70号 计算机科学中的逻辑
68N17号 逻辑编程
68甲18 函数编程和lambda演算
2012年第68季度 语法和重写系统

软件：

玩具；巴贝尔
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Almendros-Jiménez}和\textit{A.Becerra-Terón}，电子。注释Theor。计算。科学。86，第3号，168--204（2003；Zbl 1270.68101）
全文： 链接

参考文献：

[1] Abiteboul，S。；Beeri，C.：语言处理复杂值的能力。VLDB期刊4727-794（1995）
[2] Abiteboul，S。；船体，R。；维亚努，V.：“数据库的基础”。(1995) ·Zbl 0848.68031号
[3] Almendros-Jiménez，J.M.和A.Becerra-Terón，《函数逻辑程序的目标导向自下而上评估框架》，收录于：Proc。功能和逻辑编程国际研讨会，FLOPS，LNCS 2024（2001），第153-169页·Zbl 0977.68580号
[4] Almendros-Jiménez，J.M.和A.Becerra-Terón，《函数逻辑演绎数据库的关系代数》，摘自：Proc。《系统信息学展望》，PSI，LNCS 2890（2003），第494–508页·Zbl 1254.68103号
[5] Almendros-Jiménez，J.M.、A.Becerra-Terón和J.Sánchez-Hernández，《函数逻辑演绎数据库的计算模型》，摘自：Proc。国际逻辑程序设计会议，ICLP，LNCS 2237（2001），第331-347页。
[6] Benedikt，M。；Libkin，L.：“约束数据库”。109-129 (2000) ·Zbl 0949.68061号
[7] Buneman，P。；Naqvi，S.A。；Tannen，V。；Wong，L.：使用复杂对象和集合类型进行编程的原则。理论计算机科学，TCS 149，3-48（1995）·Zbl 0874.68092号
[8] Codd，E.F.：大型共享数据库的数据关系模型。ACM通信，CACM 13，377-387（1970）·Zbl 0207.18003号
[9] Codd，E.F.：数据库子语言的关系完整性。数据库系统，65-98（1972）
[10] González-Moreno，J.C。；Hortalá-González，M.T。；洛佩斯·弗拉瓜斯，F.J。；Rodríguez-Artalejo，M.：基于重写逻辑的声明式编程方法。逻辑编程杂志，JLP 1，47-87（1999）·Zbl 0942.68060号
[11] Hanus，M.：将函数集成到逻辑编程中：从理论到实践。逻辑编程杂志，JLP 19,20,583-628（1994）·Zbl 0942.68526号
[12] Hanus M.，《Curry:集成函数逻辑语言》，0.8版，技术报告，德国基尔大学（2003）。
[13] 船体，R。；Su，J.：递归类型复杂对象的演绎查询语言。逻辑编程杂志，JLP 35，231-261（1998）·Zbl 0905.68058号
[14] Kanellakis，P。；Goldin，D.：约束查询代数。限制条件1，45-83（1996）
[15] Kanellakis，P。；库珀，G。；Revesz，P.：约束查询语言。《计算机与系统科学杂志》，JCSS 51，26-52（1995）
[16] 库珀，G.M。；利布金，L。；Paredaens，J.：“约束数据库”。(2000) ·Zbl 0935.00022号
[17] Libkin L.，基于语义的部分信息查询语言设计方法，收录于：Proc。《数据库中的语义》，LNCS 1358（1995），第170-208页。
[18] Liu，M.：演绎数据库语言：问题和解决方案。ACM计算调查31，27-62（1999）
[19] L.ópez-Fraguas，F.J.和J.Sánchez-Hernández，《TOY:一个多参数声明系统》，收录于：Procs。《重写技术和应用会议》，RTA，LNCS 1631（1999），第244–247页。
[20] López Hernández，F.J.和J.Sánchez Hernández，《证明功能逻辑程序的失败》，载于：Proc。国际计算逻辑会议，CL，LNCS 1861（2000），第179-193页·Zbl 0983.68503号
[21] Moreno-Navarro，J.J。；Rodríguez-Artalejo，M.：使用函数和谓词的逻辑编程：BABEL语言。逻辑编程杂志，JLP 12，191-223（1992）·Zbl 0754.68031号
[22] Revesz，P.Z.：约束数据库的安全查询语言。数据库系统上的ACM事务，TODS 23，58-99（1998）
[23] Shmueli，O。；Tsur，S。；Zaniolo，C.：用逻辑数据语言（LDL）编译集合项。逻辑编程杂志，JLP 12，89-119（1992）·Zbl 0763.68026号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。