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. ***