CAREER: Integrating Programming Languages and Databases
CAREER: Integrating Programming Languages and Databases
批准号:
0448128
负责人:
William Cook
金额:
$0.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2005
资助国家:
美国
项目状态:
已结题
起止时间:
2005-06-01 至 2010-05-31
中文摘要
CCF CAREER 0448128William R. CookUniversity of Texas at Austin集成编程语言和数据库使用数据库的程序是我们信息基础设施的核心。 但是,由于过程语言和关系数据库基于不同的语义基础和优化策略,构建高效、可维护的面向数据系统是困难的。此外,数据库和编程是分开教授的,因此在一个领域受过训练的开发人员可能不是另一个领域的专家。最后,对不同的一体化方法的绩效没有进行充分的评价。该项目的目标是创建方法,语言和工具,使应用程序员能够轻松开发高效和结构良好的程序,将数据库处理集成到过程程序中。编程语言将扩展到指定模块化和类型安全的数据库操作,同时利用数据库查询优化和并发控制。近期的研究将集中在将查询定义为现有系统上下文中的类型安全类。长期的研究将集中在从过程程序中提取数据库查询。除了传统的性能基准之外,还将使用开放源码应用程序来测试拟议解决方案的有效性。该项目还将探讨如何将数据库和编程课程结合起来。总之,这些结果可以显着提高软件系统的开发,结合联合收割机过程编程与关系数据库。
英文摘要
CCF CAREER 0448128William R. CookUniversity of Texas at AustinIntegrating Programming Languages and Databases Programs that use databases are central to our information infrastructure. But building efficient and maintainable data-oriented systems is difficult because procedural languages and relational databases are based on different semantic foundations and optimization strategies. In addition, databases and programming are taught separately so that developers trained in one domain may not be expert in the other domain. Finally, there has not been sufficient evaluation of the performance of different integration approaches. The goal of this project is to create methods, languages and tools which enable application programmers to readily develop efficient and well-structured programs for applications that integrate database processinginto procedural programs. Programming languages will be extended to specify modular and type-safe database operations, while leveraging database query optimization and concurrency control. Near-term research will focus on defining queries as type-safe classes within the context of existing systems. Longer-term research will focus on extracting database queries from procedural programs. In additional to traditional performance benchmarking, open-source applications will be used to test the effectiveness of proposed solutions. The project will also explore ways to integrate database and programming courses. Taken together, these results can significantly improve the development of software systems that combine procedural programming withrelational databases.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
School funding, pupil performance and crime: a quasi-experimental study
-
批准号:ES/W002620/1
-
项目类别:Fellowship
-
资助金额:$9.5万
-
财政年份:2021
-
负责人:William Cook
-
依托单位:
An Exact Rational Solver for Mixed Integer Programming
-
批准号:0726370
-
项目类别:Standard Grant
-
资助金额:$34.13万
-
财政年份:2007
-
负责人:William Cook
-
依托单位:
Local Cuts in Discrete Optimization and Mixed-Integer Programming
-
批准号:0245609
-
项目类别:Continuing Grant
-
资助金额:$37.5万
-
财政年份:2003
-
负责人:William Cook
-
依托单位:
Understanding Attachment in Family Context
-
批准号:9696083
-
项目类别:Standard Grant
-
资助金额:$7.88万
-
财政年份:1995
-
负责人:William Cook
-
依托单位:
Understanding Attachment in Family Context
-
批准号:9412164
-
项目类别:Standard Grant
-
资助金额:$11.66万
-
财政年份:1994
-
负责人:William Cook
-
依托单位:
Isolation and Analysis of Nuclear Genes Involved in the Assembly of the Photosynthetic Apparatus in Higher Plants
-
批准号:9149443
-
项目类别:Standard Grant
-
资助金额:$3.5万
-
财政年份:1991
-
负责人:William Cook
-
依托单位:
Postdoctoral Research Fellowship in Plant Biology
-
批准号:8906086
-
项目类别:Fellowship Award
-
资助金额:$8.16万
-
财政年份:1989
-
负责人:William Cook
-
依托单位:
Polyhedral Methods in Combinatorial Optimization
-
批准号:8896162
-
项目类别:Continuing Grant
-
资助金额:$2.32万
-
财政年份:1988
-
负责人:William Cook
-
依托单位:
Polyhedral Methods in Combinatorial Optimization
-
批准号:8611841
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1986
-
负责人:William Cook
-
依托单位:
Group Travel For U.S. Participants in an International Conference on Chemical Education; Dublin, Ireland - August 27 - 31, 1979
-
批准号:7911119
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:1979
-
负责人:William Cook
-
依托单位:
海外基金