克劳斯·迪特尔·舍韦；伯恩哈德·塔勒海姆 数据和知识库中的语义。 （英语） Zbl 1165.68396号 Schewe，Klaus-Dieter（编辑）等人，《数据和知识库中的语义》。第三次国际研讨会，2008年3月29日，法国南特，SDKB 2008。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-88593-1/pbk）。计算机科学课堂讲稿4925，1-25（2008）。 摘要：语义学是对意义的研究，即如何构建、解释、澄清、模糊、说明、简化、协商、矛盾和解释意义。在科学界，例如在知识库领域和数据库用户，对它有不同的对待。–科学界倾向于基于数学逻辑的“始终有效”语义的处理。如果在任何正确的数据库中都是这种情况，则约束是有效的。–数据库建模者通常对多类约束使用“强”语义。基数约束基于两种情况下都存在数据库的要求，即最小和最大情况。–数据库挖掘基于“可能有效”语义。约束被视为有效公式的候选。–用户通常使用弱的“在大多数情况下有效”语义。如果这是通常的情况，他们认为约束是有效的。–不同的用户群体使用“认知”语义。对于每个组，其约束集在其数据中都是有效的。不同的约束集甚至可能相互矛盾。语义是目前现代计算机科学文献中最被滥用的概念之一。它的理解范围从用于结构化的同义词或基于单词进行结构化的同义词到精确定义的语义。这种部分误用导致了语言的不匹配，忽视了形式基础，以及对句法结构意义的粗鲁定义。关于整个系列，请参见[Zbl 1154.68026号]. 引用于1文件 MSC公司： 68问题55 计算理论中的语义学 第68页，共15页 数据库理论 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 软件：周期 PDF格式BibTeX公司 XML格式引用 \textit{K.-D.Schewe}和\textit{B.Thalheim}，莱克特。注释计算。科学。4925，1-25（2008年；Zbl 1165.68396） 全文： 内政部 参考文献： [1] Arenas，M.，Fan，W.，Libkin，L.：关于XML规范的真正一致性。In：程序。ACM PODS，第259-270页。ACM，纽约（2002） [2] De Bakker，J.：控制流语义。麻省理工学院出版社，剑桥（1995） [3] Buneman，P.、Davidson，S.、Fan，W.、Hara，C.S.、Tan，W.C.：XML键。In：程序。WWW 10，第201-210页。ACM出版社，纽约（2001）·Zbl 1098.68552号 [4] Björner，D.：软件工程2：系统和语言规范。柏林施普林格出版社（2006）·Zbl 1095.68021号 [5] Bertossi，L.，Katona，G.O.H.，Schewe，K.-D.，Thalheim，B.：数据库中的语义。收录：Bertossi，L.，Katona，G.O.H.，Schewe，K.-D.，Thalheim，B.（编辑）《数据库中的语义》，2001年。LNCS，第2582卷，第1-6页。斯普林格，海德堡（2003）·Zbl 1017.68508号 ·doi:10.1007/3-540-36596-6_1 [6] Börger，E.，Stärk，R.：抽象状态机-高级系统设计和分析的方法。柏林施普林格出版社（2003）·Zbl 1040.68042号 ·doi:10.1007/978-3642-18216-7 [7] Bienemann，A.，Schewe，K.-D.，Thalheim，B.：走向基于政府和约束的泛型理论。摘自：Embley，D.W.，Olivé，A.，Ram，S.（编辑）ER 2006。LNCS，第4215卷，第311-324页。斯普林格，海德堡（2006）·doi:10.1007/11901181_24 [8] Beeri，C.，Thalheim，B.：作为数据库模型原语的标识。In：程序。FoMLaDO 1998，第19-36页。Kluwer，伦敦（1999） [9] 克里斯托：剑桥语言百科全书。剑桥大学出版社，剑桥（1987） [10] Duzi，M.，Heimburger，A.，Tokuda，T.，Vojtas，P.，Yoshida，N.：多智能体知识建模。专家组摘要，EJC 2008（2008） [11] 杜日西，M.，马特拉纳，P.：《建筑》（2000），http://til.phil.muni.cz/text/constructions_duzi_materna.pdf [12] Gunther，C.：编程语言的语义学。麻省理工学院出版社，剑桥（1992） [13] Hausser，R.：《计算语言学基础：自然语言中的人机交流》，第2版。施普林格，柏林（2001）·Zbl 0984.68159号 ·doi:10.1007/978-3-662-04337-0 [14] Harel，D.，Rumpe，B.：有意义的建模：“语义”的语义是什么？计算机，64–72（2004年10月）·Zbl 05090577号 ·doi:10.1109/MC.2004.172 [15] Klettke，M.：Modellierung，Bewertung und Evolution von XML-Dokumentkollektionen。罗斯托克大学计算机科学与电子学院高级博士（习惯化论文）（2007年） [16] Kaschek，R.、Schewe，K.-D.、Thalheim，B.、Zhang，L.：在web信息系统、web服务、电子商务和语义web的概念建模中集成上下文。收录人：Bussler，C.J.，Fensel，D.，Orlowska，M.E.，Yang，J.（编辑）WES 2003。LNCS，第3095卷，第77-88页。斯普林格，海德堡（2004）·doi:10.1007/978-3-540-25982-4_8 [17] Lenat，D.：语境空间的维度（2002），http://www.cyc.com/context-space.pdf [18] Link，S.：数据库中的一致性强制。收录：Bertossi，L.，Katona，G.O.H.，Schewe，K.-D.，Thalheim，B.（编辑）《数据库中的语义》，2001年。LNCS，第2582卷，第139-159页。斯普林格，海德堡（2003）·Zbl 1017.68042号 ·doi:10.1007/3-540-36596-68 [19] Libkin，L.，Thalheim，B.：前言。收录：Thalheim，B.（编辑），《数据库中的语义》，1995年。LNCS，第1358卷，第V–IX页。斯普林格，海德堡（1998）·Zbl 0885.68006号 ·doi:10.1007/BFb0035009 [20] Mosses，P.D.：动作语义学。剑桥大学出版社，剑桥（1992）·Zbl 0875.68618号 ·doi:10.1017/CBO9780511569869 [21] Paredaens，J.、De Bra，P.、Gyssens，M.、Van Gucht，D.：关系数据库模型的结构。柏林施普林格（1989）·Zbl 0669.68060号 ·doi:10.1007/978-3-642-699556-6 [22] Reynolds，J.：编程语言的语义。剑桥大学出版社，剑桥（1999） [23] Schwabhäuser，W.：Modelltheorie I.B.I.-Wissenschaftsverlag，曼海姆（1971） [24] Schwabhäuser，W.：模型理论II。B.I.-曼海姆Wissenschaftsverlag（1972）·兹比尔0286.02053 [25] Schewe，K.-D.：数据密集型应用系统规范。布兰登堡科技大学科特布斯分校数学、自然科学和计算机科学学院高级博士（习惯化论文）（1994年） [26] Schewe，K.-D.，Thalheim，B.：Dijkstra演算到类型化程序规范的推广。收录于：Ciobanu，G.，Pun，G.（编辑）FCT 1999。LNCS，第1684卷，第463-474页。斯普林格，海德堡（1999）·Zbl 0949.68102号 ·数字对象标识代码：10.1007/3-540-48321-7_39 [27] Schewe，K.-D.，Thalheim，B.：生活案例：网络信息系统工程的核心元素。收录：WEBIST 2007。LNBIP，第8卷，第139-156页。柏林施普林格出版社（2008） [28] Stegmüller，W.：Theorye und Erfahrung，Zweiter Halbband：Theoryenstrukturen und Theoryendynamik。在：《智慧与分析哲学的问题与结果》，第二卷。斯普林格，海德堡（1973）·Zbl 0269.02002 [29] Tennent，R.：编程语言的语义。Prentice-Hall，Englewood Cliffs（1997）·Zbl 0337.68010号 [30] Thalheim，B.：关系数据库理论中的开放问题。牛市。EATCS 32、336–337（1987） [31] Thalheim，B.：关系数据库中的依赖关系。Teubner，Leipzig（1991年）·Zbl 0743.68014号 ·doi:10.1007/978-3-663-12018-6 [32] Thalheim，B.：实体关系建模——数据库技术基础。施普林格，柏林（2000）·Zbl 0976.68046号 ·数字对象标识代码：10.1007/978-3-662-04058-4 [33] Thalheim，B.：数据库设计中的人员、组织、产品、生产、订购、交付、发票、会计、预算和人力资源模式。技术报告预印本I-07-2000，勃兰登堡科技大学科特布斯分校计算机科学研究所（2000） [34] Sh，M.：查连科。数据库语义建模。莫斯科诺卡（1989）（俄语） [35] Wanner，P.（编辑）：《剑桥语言百科全书》。剑桥大学出版社，剑桥（1987） [36] 韦伯斯特第九部新大学词典（1991） [37] 沃尔夫：关于心灵、语言和宗教的迷惘一代理论。流行文化协会，国际大学缩微胶片，密歇根州安娜堡（1980年） [38] 维特根斯坦，L.：哲学研究。牛津大学巴兹尔·布莱克威尔（1958）·Zbl 1028.03003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。