×
彼得·布内曼;阿希姆·荣格;Atsushi Ohori

使用powerdomains泛化关系数据库。 （英语） Zbl 0799.68064号

西奥。计算。科学。 91，第1期，23-55页（1991年）.

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

MSC公司：

第68页，共15页 数据库理论
68问题55 计算理论中的语义学

关键词：

电源域;关系数据库
PDF格式BibTeX公司 XML格式引用
\textit{P.Buneman}等人，Theor。计算。科学。91，编号1，23--55（1991；Zbl 0799.68064）
全文： 内政部 链接

参考文献：

[1] 阿比特布尔，S。；Bidoit，N.，表示分层组织数据的非第一范式关系，Proc。第三届ACM PODS（1984年），加拿大安大略省滑铁卢
[2] Aít-Kaci，H.，有效求解类型方程的代数语义方法，Theoret。计算。科学。，45, 293-351 (1986) ·Zbl 0628.68010号
[3] 阿尔巴诺，A。；Cardelli，L。；Orsini，R.，伽利略：一种强类型的交互式概念语言，ACM Trans。数据库系统，10，2，230-260（1985）
[4] Atkinson，M.P.，《编程语言和数据库》，Proc。第四国际。《超大数据库会议》，408-419（1978），西德柏林
[5] 阿特金森，M.P。；Buneman，O.P.，《数据库编程语言中的类型和持久性》，ACM Compute。调查（1987年）
[6] Atzeni，P。；Parker，D.S.，关系数据库理论中的假设，Proc。第一交响乐团。数据库系统原理，1-9（1982）
[7] 班西隆，F。；Khoshain，S.，《复杂对象的微积分》，Proc。ACM数据库系统原理会议（1986）
[8] 伯恩斯坦，P。；迈洛普洛斯，J。；Wong，H.K.T.，用于设计数据库密集型应用程序的语言设施，ACM Trans。数据库系统，5，2（1980）
[9] Biskup，J.，《数据库关系中空值的形式化方法》，（《数据库理论进展》，第1卷（1981年），全体会议：纽约全体会议）
[10] Borgida，A.，《关于信息系统中（类型）约束的例外情况的思考》，Proc。Appin持久性和数据类型持久性编程研讨会，275-280（1985）
[11] Brachman，R.J。；Schmolze，J.G.，《KL-one知识表示系统概述》，《认知科学》。序列号。，9, 3 (1985)
[12] Buneman，O.P.，数据库编程的数据类型，（格拉斯哥大学计算机科学系（1985））·Zbl 0219.68055号
[13] Buneman，P。；Ohori，A.，《高阶关系的领域理论方法》，（Proc.Internat.Conf.on Database Theory，Vol.243（1986），Springer:Springer Berlin），计算机科学讲义·Zbl 0643.68016号
[14] Cartmell，J.，《网络和层次数据模型的形式化——范畴逻辑的应用》（Category Theory and Computer Programming，Vol.240（1985），Springer:Springer Berlin），466-492，计算机科学讲稿·Zbl 0624.68093号
[15] Chan，E.P.F.，用追赶连接表达式的并集优化计算总投影，Proc。ACM SIGMOD Conf.，149-163（1984）
[16] 科斯达基斯，S.S。；Kanellakis，P.C。；Spyratos，N.，关系的划分语义（技术报告（1985年12月），布朗大学）
[17] 菲舍尔，P.C。；Thomas，S.J.，《非第一形式关系的算子》，Proc。IEEE COMPSAC（1983）
[18] 锤子，N。；McLeod，D.，《SMD数据库描述：语义数据库模型》，ACM Trans。数据库系统，6，3，351-386（1981）
[19] 船体，R。；Yap，C.K.，《格式模型：数据库组织理论》，J.ACM，31,3518-537（1984）·Zbl 0629.68098号
[20] Jurgensen，H。；Simovici，D.，走向依赖约束的抽象理论，Inform。系统，41（1987）·Zbl 0634.68110号
[21] Kent，W.，《假设普遍关系的后果》，ACM Trans。数据库系统，6331-347（1983）
[22] Lien，Y.，《关于数据库模型的等效性》，J.ACM，29，2，333-362（1982）·Zbl 0485.68088号
[23] Lipski，W.，《关于与不完整信息数据库相关的语义问题》，ACM Trans。数据库系统，4，3，262-296（1979）
[24] Maier，D.，《关系数据库理论》（1983），计算机科学出版社：计算机科学出版社，马里兰州罗克维尔·兹伯利0519.68082
[25] Maier，D。；Rozenshtein博士。；Warren，D.S.，Window functions，（Kanellakis，P.；Preparia，F.P.，Advances in Computing Research Vol.3，The Theory of Databases（1986），JAI出版社：JAI出版社伦敦）
[26] Merrett，T.H.，关系信息系统（1984），Reston，Prentice-Hall：Reston，Printice-Hall-Reston，VA·Zbl 0531.68049号
[27] Motro，A。；Buneman，P.，《构建超级视图》，Proc。SIGMOD（1981）
[28] Ohori，A.，关系数据库的指称语义，（宾夕法尼亚大学计算机与信息科学系硕士论文（1986））
[29] Ohori，A.，数据库对象类型的语义，（Proc.Internat.Conf.on database Theory，Vol.326（1988），Springer:Springer Berlin），239-251，扩展版提交给理论。计算。科学。·Zbl 0652.68019号
[30] Ohori，A.，数据库中的排序和类型，Proc。数据库编程语言研讨会，149-163（1987），法国罗斯科夫
[31] Ohori，A。；Buneman，P.，数据库编程语言中的类型推断，Proc。美国计算机学会LISP和函数编程会议（1988年），犹他州雪鸟
[32] ̌zsoyogṸlu，Z。；Yuan，L.，嵌套关系的标准形式，Proc。ACM SIGACT-SIGMOD交响乐团。《数据库系统原理》，251-260（1985），波特兰
[33] Plotkin，G.D.，《功率域结构》，SIAM J.Compute。，5 (1976) ·Zbl 0355.68015号
[34] Rishe，N.，《关于数据库的指称语义》，（编程语义的数学基础，第239卷（1985年），Springer:Springer-Berlin），249-274，计算机科学讲稿·Zbl 0602.68100号
[35] 罗斯，A.M。；Korth，H.F。；Silberschatz，A.，《1NF关系数据库的扩展代数和演算》（技术报告TR-84-36（1984），德克萨斯大学计算机科学系：德克萨斯大学奥斯汀分校计算机科学系），1985年修订
[36] 罗斯，M.A。；Korth，H.F。；Silberschatz，A.，《1 NF关系数据库中的空值》（技术报告TR-85-32（1985年12月），德克萨斯大学计算机科学系：德克萨斯大学奥斯汀分校计算机科学系）·Zbl 0678.68110号
[37] 圆形，W.C。；Kasper，R.，《记录结构表示语言信息的完整逻辑演算》（技术报告（1985），密歇根大学电气工程与计算机系：密歇根州安阿伯大学电气工程和计算机系），48109
[38] 施密特，D.A.，《指称语义学，语言发展的方法论》（1986），艾伦和培根：艾伦和培根·牛顿，马萨诸塞州
[39] Schmidt，J.W.，类型关系数据的一些高级语言构造，ACM Trans。数据库系统，5，2（1977）
[40] Sciore，E.，空值、更新和不完整信息，（普林斯顿大学电气工程与计算机科学系技术报告（1979））
[41] Sciore，E.，《通用实例与数据库设计》（1980年普林斯顿大学博士论文）
[42] Scott，D.，指称语义领域，Proc。ICALP（1982）·Zbl 0495.68025号
[43] Shieber，S.M.，《基于统一的语法方法导论》，Proc。Ann.23会议协会计算。语言学（1985）·Zbl 0770.68008号
[44] 史密斯，J.M。；福克斯，S。；Landers，T.，ADAPLEX：基本原理和参考手册（1983），美国计算机公司：美国计算机公司，马萨诸塞州剑桥市四剑桥中心，邮编02142
[45] Smyth，M.B.，Power domains，J.Compute。系统科学。，16, 1, 23-36 (1978) ·Zbl 0391.68011号
[46] Ullman，J.D.，《数据库系统原理》（第二版，1982年），皮特曼：皮特曼伦敦）·Zbl 0287.68019号
[47] Ullman，J.D.，《联合国反击》，Proc。第一交响乐团。数据库系统原理，10-22（1982）
[48] Ullman，J.D.，数据库系统通用关系接口，Proc。IFIP（1983）
[49] Zaniolo，C.，《空值的数据库关系》，J.Compute。系统科学。，28, 1, 142-166 (1984) ·Zbl 0579.68053号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。