迪特马尔·塞佩尔(编辑);图鲁尔·托雷斯,何塞·玛丽亚(编辑) 特刊:信息和知识系统的基础。根据2004年2月17日至20日在奥地利维也纳举行的第三届国际研讨会(FoIKS 2004)上所作的介绍,选出了一些论文。 (英语) Zbl 1102.68322号 安。数学。Artif公司。智力。46,第1-2期,230页。(2006). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
亚历山大·利亚列茨基 Herbrand定理的序列形式及其应用。 (英语) Zbl 1103.03054号 安。数学。Artif公司。智力。 46,第1-2号,191-230(2006).MSC公司:03财年03 03B10号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Lyaletski},Ann.数学。Artif公司。因特尔。46,编号1--2,191-230(2006;Zbl 1103.03054) 全文: 内政部
戈斯塔·格雷内;亚历克斯·托莫 近似语义下的常规路径查询。 (英语) Zbl 1110.68033号 安。数学。Artif公司。智力。 46,第1-2号,165-190(2006).MSC公司:第68页,共15页 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Grahne}和\textit{A.Thomo},安.数学。Artif公司。因特尔。46,编号1--2,165-190(2006;Zbl 1110.68033) 全文: 内政部
斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 由记录和列表构造函数生成的嵌套数据库中的函数依赖项和多值依赖项。 (英语) 兹比尔1097.68553 安。数学。Artif公司。智力。 46,编号1-2,114-164(2006).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Hartmann}等人,《数学年鉴》。Artif公司。因特尔。46,编号1--2,114-164(2006;Zbl 1097.68553) 全文: 内政部
德梅特罗维奇,J。;G.O.H.卡托纳。;米克洛斯,D。 关于个人数据的安全性。 (英语) Zbl 1097.68034号 安。数学。Artif公司。智力。 46,编号1-2,98-113(2006).MSC公司:第68页,共15页 68T05型 05年5月 PDF格式BibTeX公司 XML格式引用 \textit{J.Demetrovics}等人,《数学年鉴》。Artif公司。因特尔。46,编号1--2,98-113(2006;Zbl 1097.68034) 全文: 内政部 链接
斯蒂芬·亨纳(Stephen J.Hegner)。 一类封闭数据库视图嵌入公理化的复杂性。 (英语) Zbl 1097.68554号 安。数学。Artif公司。智力。 46,编号1-2,38-97(2006).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Hegner},Ann.数学。Artif公司。因特尔。46,编号1--2,38-97(2006;Zbl 1097.68554) 全文: 内政部
奥费尔·阿列利;马克·德内克;范·努费伦(Bert Van Nuffelen);莫里斯·布吕诺格 用符号公式修复数据库的计算方法。 (英语) Zbl 1097.68549号 安。数学。Artif公司。智力。 46,编号1-2,4-37(2006).MSC公司:第68页,共15页 68立方英尺 68层37 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}等人,Ann.Math。Artif公司。因特尔。46,第1-2,4-37号(2006年;兹bl 1097.68549) 全文: 内政部 链接