×
瓦西姆·阿赫塔;阿尔瓦罗省科尔特斯·卡拉比格;简·帕雷登斯

RDF中的约束。 （英语） Zbl 1347.68108号

Schewe，Klaus-Dieter（编辑）等人，《数据和知识库中的语义》。2010年7月5日，法国波尔多，2010年SDKB第四届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-23440-8/pbk）。计算机科学课堂讲稿6834，23-39（2011）。
摘要：RDF（资源描述框架）是万维网联盟推荐的用于在Web上指定元数据模型的建议。RDF数据库由主题-目标形式的三元组组成，通常被概念化为定义有向标记图。本文通过引入两类完整性约束，即函数约束和等式生成约束，对RDF的基本模型进行了扩展。我们的形式化框架受到关系模型中相应约束的重要性的启发和激励。在本文的第一部分中，我们提出了两种类型约束的形式化满足概念，并引入了一种机制，用等式生成约束来表示函数约束，我们证明了反之是不可能的。在第二部分中，我们定义了一个Armstrong类型的等式生成约束规则方案，并证明了这些规则构成了一个完善的集。此外，我们还为这两种类型的约束提供了类追逐算法，用于检查单个约束是否遵循给定的约束集。
关于整个系列，请参见[Zbl 1222.68024号].

引用于2评论
引用于2文件

MSC公司：

第68页，共15页 数据库理论

软件：

SPARQL公司
PDF格式BibTeX公司 XML格式引用
\textit{W.Akhtar}等人，Lect。注释计算。科学。6834，23-39（2011；Zbl 1347.68108）
全文： 内政部

参考文献：

[1] Angles，R.，Gutierrez，C.：SPARQL的表达能力。在：Sheth，A.P.、Staab，S.、Dean，M.、Paolucci，M.、Maynard，D.、Finin，T.、Thirunarayan，K.（编辑）ISWC 2008。LNCS，第5318卷，第114-129页。施普林格，海德堡（2008）·doi:10.1007/978-3-540-88564-1_8
[2] Armstrong，W.W.：数据库关系的依赖结构。在：IFIP大会，第580–583页（1974年）·Zbl 0296.68038号
[3] Beeri，C.，Fagin，R.，Howard，J.H.：数据库关系中函数依赖和多值依赖的完整公理化。摘自：1977年ACM SIGMOD国际数据管理会议记录，加拿大多伦多，8月3-5日，第47-61页（1977）·doi:10.1145/509404.509414
[4] Beeri，C.，Vardi，M.Y.：数据依赖的隐含问题。收录：Even，S.，Kariv，O.（编辑）ICALP 1981。LNCS，第115卷，第73-85页。斯普林格，海德堡（1981）·Zbl 0462.68022号 ·数字对象标识代码：10.1007/3-540-10843-27
[5] Bertossi，L.E.：数据库中的一致查询应答。SIGMOD记录35（2），68–76（2006）·数字对象标识代码：10.1145/1147376.1147391
[6] Buneman，P.、Davidson，S.B.、Fan，W.、Hara，C.S.、Tan，W.C.：关于XML键的推理。信息系统。 28(8), 1037–1063 (2003) ·doi:10.1016/S0306-4379（03）00028-0
[7] Buneman，P.，Fan，W.，Weinstein，S.：半结构化和结构化数据库中的路径约束。摘自：第十七届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，华盛顿州西雅图，6月1-3日，第129-138页（1998）·Zbl 0963.68056号 ·doi:10.1145/275487.275502
[8] Calvanee，D.，De Giacomo，G.，Lenzerini，M.：描述逻辑中的标识约束和功能依赖。摘自：Nebel，B.（编辑）IJCAI，第155-160页。Morgan Kaufmann，旧金山（2001）
[9] Chakravarthy，U.S.，Grant，J.，Minker，J.：基于逻辑的语义查询优化方法。ACM数据库系统交易15（2），162-207（1990）·数字对象标识代码：10.1145/78922.789224
[10] Chirkova，R.，Fletcher，G.H.L.：走向行为良好的模式进化。In:第十二届网络与数据库国际研讨会，WebDB 2009，美国罗德岛州普罗维登斯（2009年6月28日）
[11] Codd，E.F.：大型共享数据库的数据关系模型。Commun公司。ACM 13（6），377–387（1970）·Zbl 0207.18003号 ·数字对象标识代码：10.1145/362384.362685
[12] Denecker，M.，Cortés-Calabuig，A.，Bruynooghe，M.，Arieli，O.：局部封闭数据库理论的逻辑重建。ACM事务处理。数据库系统。 35(3) (2010) ·doi:10.145/1806907.1806914
[13] Fan，W.，Libkin，L.：关于DTD存在下的XML完整性约束。ACM杂志49（3），368–406（2002）·兹比尔1326.68120 ·doi:10.1145/567112.567117
[14] Fan，W.，Siméon，J.：XML的完整性约束。摘自：第十九届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，美国德克萨斯州达拉斯，5月15日至17日，第23-34页（2000）·Zbl 1026.68038号 ·doi:10.1145/335168.335172
[15] Gutierrez，C.，Hurtado，C.A.，Mendelzon，A.O.：语义网络数据库的基础。摘自：第二十届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（PODS 2004），法国巴黎，6月14-16日，第95-106页（2004）·Zbl 1215.68091号 ·doi:10.1145/10555558.1055573
[16] Lausen，G.，Meier，M.，Schmidt，M.：RDF的Schmidt-Sparqling约束。摘自：《第11届扩展数据库技术国际会议论文集》（EDBT 2008），法国南特，3月25-29日，第499-509页（2008）
[17] 链接的数据。可通过（2006）获得，http://www.w3.org/DesignIssues/LinkedData.html
[18] Lutz，C.，Milicic，M.：具有具体领域和功能依赖性的Milicic描述逻辑。收录于：de Mántaras，R.L.，Saitta，L.（编辑）ECAI，第378-382页。IOS出版社，阿姆斯特丹（2004）
[19] San Martín，M.，Gutierrez，C.：使用RDF/SPARQL表示、查询和转换社交网络。收录人：Aroyo，L.、Traverso，P.、Ciravegna，F.、Cimiano，P.，Heath，T.、Hyvönen，E.、Mizoguchi，R.、Oren，E.、Sabou，M.、Simperl，E.（编辑）ESWC 2009。LNCS，第5554卷，第293–307页。斯普林格，海德堡（2009）·doi:10.1007/978-3-642-02121-324
[20] Muñoz，S.、Pérez，J.、Gutierrez，C.：简单有效的最小rdf。《J.Web Sem.7》（3），220–234（2009）·doi:10.1016/j.websem.2009.07.003
[21] Pérez，J.、Arenas，M.、Gutierrez，C.：SPARQL的语义和复杂性。ACM事务处理。数据库系统。 34(3) (2009) ·数字对象标识代码：10.1145/1567274.1567278
[22] Quilitz，B.，Leser，U.：使用SPARQL查询分布式RDF数据源。收录人：Bechhofer，S.、Hauswirth，M.、Hoffmann，J.、Koubarakis，M.（编辑）ESWC 2008。LNCS，第5021卷，第524-538页。斯普林格，海德堡（2008）·电话：10.1007/978-3-540-68234-9_39
[23] 语义生物信息学（2006），http://esw.w.3.org/Semantic_Bioinformations（语义生物信息学）
[24] RDF模式（2004），http://www.w3.org/TR/rdf-schema/
[25] RDF引物（2004），http://www.w3.org/TR/rdf-primer网站/
[26] RDF语义（2004），http://www.w3.org/TR/rdf-mt/
[27] Reiter，R.：关于完整性约束。收录于：Vardi，M.（编辑）《知识推理理论方面会议记录》，第97–111页（1988年）·Zbl 0725.68099号
[28] Sadri，F.、Ullman，J.D.：功能依赖和模板依赖之间的相互作用。摘自：1980年ACM SIGMOD国际数据管理会议记录，加州圣莫尼卡，5月14-16日，第45-51页（1980）·doi:10.1145/582250.582258
[29] Schmidt，M.、Meier，M.和Lausen，G.：SPARQL查询优化的基础。In:《第13届国际会议论文集数据库理论》，ICDT 2010（2010）·数字对象标识代码：10.1145/1804669.1804675
[30] SPARQL协议和RDF查询语言。可通过（2008）获得，http://www.w3.org/TR/rdf-sparql-query/
[31] Thalheim，B.：（概念）数据库模型中的完整性约束。收录：Kaschek，R.，Delcambre，L.（编辑）《概念建模的演变》。LNCS，第6520卷，第42-67页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-17505-33
[32] Vincent，M.W.，Liu，J.：XML的功能依赖性。作者：Zhou，X.，Zhang，Y.，Orlowska，M.E.（编辑）APWeb 2003。LNCS，第2642卷，第22-34页。斯普林格，海德堡（2003）·Zbl 1025.68668号 ·doi:10.1007/3-540-36901-533
[33] Winslett，M.：一种基于模型的方法，用于更新信息不完整的数据库。ACM事务处理。数据库系统。 13(2), 167–196 (1988) ·doi:10.1145/42338.42386
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。