石原雅素;寿果清水;弘久世奇(Hiroyuki Seki);伊藤,Minoru 复杂度的改进导致面向对象数据库的类型一致性。 (英语) Zbl 0983.68061号 J.计算。系统。科学。 62,第4期,537-564(2001). 概要:方法调用机制是面向对象编程语言的基本特性之一。此机制有助于数据封装和代码重用,但存在运行时类型错误的风险。对于面向对象数据库(OODB),运行时错误会导致回滚。因此,最好确保给定的OODB模式是一致的;即,在OODB模式的任何数据库实例下执行查询期间,不会发生运行时类型错误。本文讨论了类型一致性问题的计算复杂性。作为OODB模式的模型,我们采用了R.Hull等人引入的更新模式,这些模式具有OODB的所有基本特征,如类层次结构、继承和复杂对象。对于更新模式的几个子类,说明了类型一致性问题的复杂性。重要的是,类层次结构的不平坦性、查询中的递归和查询中的更新操作都使问题变得困难。 引用于1文件 MSC公司: 第68页,共15页 数据库理论 关键词:面向对象数据库 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ishihara}等人,《计算杂志》。系统。科学。62,第4号,537--564(2001;Zbl 0983.68061) 全文: DOI程序 链接 参考文献: [1] 阿比特布尔,S。;船体,R。;维亚努,V.,《数据库基础》(1995),《艾迪森·韦斯利:艾迪森·韦斯利阅读》·Zbl 0848.68031号 [2] Abiteboul,S。;Kanellakis,P。;拉马斯瓦米,南卡罗来纳州。;Waller,E.,Method schemas,J.Compute。系统科学。,51, 433-455 (1995) ·Zbl 1294.68070号 [3] Abiteboul,S。;Kanellaskis,P。;Waller,E.,方法模式,Proc。第九届ACM数据库系统原理研讨会(1990年),第16-27页 [4] 阿格拉瓦尔,R。;DeMichiel,L。;Lindsay,B.,多方法的静态类型检查,Proc。第六届面向对象编程系统、语言和应用大会(1991年),第113-128页 [5] 阿哈德·R。;Davis,J。;Gower,S。;Lyngbaek,P。;Marynowski,A。;Onuegbe,E.,支持面向对象数据库语言中的访问控制,Proc。第三届国际扩展数据库技术大会。程序。第三届扩展数据库技术国际会议,计算机科学讲稿,580(1992),柏林斯普林格出版社,第184-200页 [6] 埃米尔(Amiel,E.)。;贝洛斯塔,M.-J。;杜贾丁,E。;Simon,E.,面向对象数据库管理系统中灵活建模模式一致性规则的类型安全放松,VLDB Journal,5133-150(1996) [7] Bertino,E.,面向对象数据库中的数据隐藏和安全,Proc。第八届IEEE国际数据工程会议(1992年),第338-347页 [8] 钱伯斯,C。;Leavens,G.T.,多方法的类型检查和模块,ACM Trans。程序。语言系统,17805-843(1995) [9] 艾弗里·J。;史密斯,S。;Trifonov,V。;Zwarico,A.,OOP类型理论的应用:状态,可判定性,集成,程序。第九届面向对象编程系统、语言和应用大会(1994年),第16-30页 [10] Ghelli,G.,消息传递的静态类型系统,Proc。第六届面向对象编程系统、语言和应用大会(1991年),第129-145页 [11] 赫尔,R。;田中,K。;Yoshikawa,M.,面向对象数据库的行为分析:方法结构、执行树和可达性,Proc。第三届数据组织和算法基础国际会议(1989),第372-388页 [12] Ishihara,Y。;Seki,H。;Ito,M.,面向对象数据库中查询的类型一致性问题,Proc。第六届数据库理论国际会议。程序。第六届数据库理论国际会议,计算机科学讲稿,1186(1997),Springer-Verlag:Springer-Verlag Berlin,第364-378页 [13] Oxhöj,N。;Palsberg,J。;Schwartzbach,M.I.,使类型推理实用,Proc。欧洲面向对象编程会议。程序。欧洲面向对象编程会议,计算机科学讲稿,615(1992),Springer-Verlag:Springer-Verlag Berlin,第329-349页 [14] Palsberg,J。;Schwartzbach,M.I.,面向对象的类型推理,Proc。第六届面向对象编程系统、语言和应用大会(1991年),第146-161页 [15] Palsberg,J。;Schwartzbach,M.I.,面向对象类型系统(1994),威利:威利纽约·兹比尔0821.68023 [16] Seki,H。;Ishihara,Y。;Ito,M.,面向对象数据库中查询的授权分析,Proc。第四届演绎和面向对象数据库国际会议。程序。第四届演绎数据库和面向对象数据库国际会议,计算机科学讲稿,1013(1995),Springer-Verlag:Springer-Verlag Berlin,第521-538页 [17] Waller,E.,《模式更新和一致性》,Proc。第二届演绎和面向对象数据库国际会议。程序。第二届演绎数据库和面向对象数据库国际会议,计算机科学讲稿,566(1991),Springer-Verlag:Springer-Verlag Berlin,第167-188页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。