检索结果-内蒙古大学图书馆

THE OBJECT-ORIENTED FUNCTIONAL DATA language

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1990年第11期16卷 1258-1272页

作者： MANNINO, MV CHOI, IJ BATORY, DS UNIV TEXAS DEPT COMP SCIAUSTINTX 78712

The Object Oriented Functional Data language (O²FDL) is an interactive strongly-typed database programming language that integrates the object-oriented and functional programming paradigms. It was designed for advanced applications such as computer-aided design, statistical computing, and multimedia systems that require a powerful and uniform database programming language supporting the software engineering principles of these two paradigms. To this end, the O²FDL supports inheritance and encapsulation of object-oriented languages, and an equational notation and strong typing of functional programming. Strong typing is extended with type restrictions to constrain the instantiations of type variables in function interfaces, while inheritance is augmented with a monotonic subtype rule for function redefinition. To facilitate convenient and concise expressions for both database and general purpose computation, the O²FDL supports novel features including 1) functions of indefinite nesting levels that simplify nested list processing; 2) system-defined functions that provide a concise and convenient notation for filtering, aggregating, and combining objects; and 3) path expressions that allow a flexible graphical correspondence for database queries. We define these features informally through examples and formally through a two pad semantics. For the core of the O²FDL we provide a denominational semantics based on an extended A-calculus. For selected system-defined functions, we provide an operational semantics and demonstrate that a subset of the O²FDL is at least as expressive as the relational algebra. [ABSTRACT FROM AUTHOR]

关键词： functional programming index terms: database programming language object-oriented databases type inference

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：