Research in Database Foundations and Logic Programming at an Undergraduate Institutions

该项目包含两项相关活动。 首先，我们建议继续我们在当前 RUI 资助下进行的数据库基础和逻辑编程研究。 具体来说，我们希望实现一个在当前 RUI 资助下开发的语义查询优化器。 我们还将研究增量语义编译、结构化演绎数据库、完整性约束检查和协作答案生成。 其次，我们希望继续在陶森州立大学本科院校计算机与信息科学系的研究项目。 我们将继续为优秀学生举办数据库研究研讨会，从而鼓励他们攻读计算机科学高级学位。

This project contains two related activities. First, we propose to continue our research in database foundations and logic programming that we have been conducting under the present RUI grant. Specifically, we wish to implement a semantic query optimizer that was developed under the present RUI grant. We will also study incremental semantic compilation, structured deductive databases, integrity constraint checking, and cooperative answer generation. Second, we wish to continue our research program in the Department of Computer and Information Sciences at Towson State University, an undergraduate institution. We will continue the seminar in database research for outstanding students, thereby encouraging them to study for advanced degrees in computer science.