Möller，伯恩哈德;帕特里克·鲁克斯;马库斯·恩德斯 数据库首选项的代数演算。 （英语） 兹比尔1358.68087 Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342，241-262（2012）。 摘要：偏好代数是数据库关系代数的扩展，是个性化数据库领域的一个研究热点。它允许通过偏好条款模拟用户的意愿；它们表示严格的偏序，告诉用户更喜欢哪个数据库对象。有许多构造函数允许将简单的首选项组合成非常复杂的嵌套首选项。然后将首选项用作数据库查询，结果是根据其表示的顺序得到的最大对象。根据数据库的大小，这可能会导致计算成本高昂。为了进行优化，偏好查询和相应的术语使用一些代数法则进行转换。到目前为止，这些定律的正确性证明都是手工完成的，而且是以点的方式进行的。我们将关系数据库的标准理论充实为一个代数框架，允许对复杂偏好进行完全无意义的推理。这种黑盒视图可以接受一阶逻辑的处理，因此也可以使用离线验证工具进行完全自动化的证明。我们用一些非平凡定律举例说明了微积分的使用，特别是关于所谓的偏好预滤波器，它执行预选以加速最大对象本身的计算。关于整个系列，请参见[Zbl 1245.68009号]. 引用于7文件 MSC公司： 第68页，共15页 数据库理论 关键词：关系代数;偏好;偏好代数;预过滤器 软件：首选项SQL PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}等人，Lect。注释计算。科学。7342、241--262（2012；Zbl 1358.68087） 全文： DOI程序 链接 参考文献： [1] Backhouse，R。；van der Woude，J.，恶魔算子和单型因子，计算机科学中的数学结构，3417-433（1993）·Zbl 0797.68114号 ·doi:10.1017/S096012950000030X [2] Bird，R.，de Moor，O.：编程代数。普伦蒂斯·霍尔（1997）·Zbl 0867.68042号 [3] Börzsönyi，S.，Kossmann，D.，Stocker，K.：天际线运营商。In:数据工程（ICDE 2001），第421-430页（2001） [4] Desharnais，J。；Möller，B。；Struth，G.，《带域的Kleene代数》，ACM计算逻辑汇刊，7798-833（2006）·Zbl 1367.68205号 ·doi:10.145/1183278.1183285 [5] Endres，M.：《半天际线和天际线片段——理论和应用》。Fakultät für Angewandte Informatik，奥格斯堡大学，论文。Books on Demand GmbH，Norderstedt（2011）ISBN:978-3-8423-5246-9 [6] Kanellakis，P.：关系数据库理论的要素。收录于：理论计算机科学手册。形式模型和语义（B），B卷，第1073-1156页（1990）·Zbl 0900.68090号 [7] Kießling，W。；恩德斯，M。；Wenzel，F.，首选SQL系统-概述，IEEE数据工程公告。，34, 2, 11-18 (2011) [8] Kießling，W.，Hafenrichter，B.：关系偏好查询的代数优化，技术报告2003-1，奥格斯堡大学（2003） [9] Hafenrichter，B.，Kießling，W.：关系偏好查询的优化。收录：Williams，H.，Dobbie，G.（编辑）Proc。第十六届澳大利亚数据库会议，ADC 2005，数据库技术2005，纽卡斯尔，澳大利亚，1月31日至2月3日。CRPIT，第39卷，第175-184页。澳大利亚计算机学会（2005年） [10] Kießling，W.：数据库系统中首选项的基础。收录于：超大数据库（VLDB 2002），第311-322页（2002） [11] Kozen，D.：类型化Kleene代数。技术报告TR98-1669，康奈尔大学计算机科学系（1998年3月） [12] 西麦考尔。；或者E·奥斯卡。；Berghammer，R。；Möller，B。；Struth，G.，《计算机科学中类型关系、关系和克莱恩代数方法的演算》，191-201（2004），海德堡：斯普林格·Zbl 1088.68048号 ·doi:10.1007/978-3-540-24771-5_17 [13] Manes，E。；Benson，D.，和序半环的逆半群，半群论坛，31129-152（1985）·Zbl 0549.06014号 ·doi:10.1007/BF02572645 [14] Möller，B.，Roocks，P.：优先级和帕累托组合分配律的证明，http://www.informatik.uni-augsburg.de/lharstuehle/dbis/pmi/staff/roocks/publications/distributivey_proof.pdf ·Zbl 1329.68094号 [15] Roocks，P。；恩德斯，M。；曼德尔，S。；Kießling，华盛顿州。；Lee，S.-g。；彭，Z。；周，X。；月亮，Y.S。；Unland，R。；Yoo，J.，上下文软件偏好查询的组合和有效评估，高级应用数据库系统，81-95（2012），海德堡：施普林格·doi:10.1007/978-3-642-29035-06 [16] Schmidt，G.，Ströhlein，T.：关系和图形：计算机科学家的离散数学。EATCS理论计算机科学专著（1993）·Zbl 0900.68328号 [17] 施密特，G。；Hattensperger，C。；温特，M。；布林克，C。；Kahl，W。；Schmidt，G.，异质关系代数，计算机科学中的关系方法，39-53（1997），维也纳：施普林格出版社，维也纳·Zbl 0961.03061号 ·doi:10.1007/978-3-7091-6510-23 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。