Database Queries and Updates: Languages and Computational Aspects

9221268 Vianu数据库查询和更新：语言和计算方面这是为期三年的持续奖项的第一年资助。查询和更新是任何数据库系统的基本组件。数据库提供用户和应用程序用来指定查询和更新的语言。这种语言的设计需要了解各种语言结构和语义的相互作用，以及数据库的属性和结构。这些因素对语言的表达能力和用这些语言评估查询的复杂性具有重要影响。了解这些问题可以让语言设计者意识到所涉及的权衡，并做出明智的决定。本研究项目涉及到这样的问题。具体地说，它侧重于在关系、演绎和面向对象框架中出现的现代数据库编程中出现的新语言和编程构造。这项调查的结果将为设计各种范型的语言提供工具，这些范型将是未来高级应用数据库系统的重要组成部分。***

9221268 Vianu Database Queries and Updates: Languages and Computational Aspects This is the first year funding of a three-year continuing award. Queries and updates are essential components of any database system. Databases provide languages by which users and application programs specify queries and updates. The design of such languages requires understanding the interplay of various language constructs and semantics, and the properties and structure of the database. These factors have important consequences concerning the expressive power of the languages and the complexity of evaluating the queries in these languages. Understanding these issues allows the language designer to be aware of the trade-offs involved and make informed decisions. This research project concerns such issues. Specifically, it focuses on new languages and programming constructs arising in modern database programming in the relational, deductive, and object-oriented frameworks. The results of this investigation will provide tools for the design of languages in the various paradigms, which will be essential components of future database systems for advanced applications. ***