一种演绎数据库语言的设计与实现

扩充模型论是一种数学理论,在它的基础上我们实现了一种扩充模型论语言——EMTL。这种程序设计语言不仅可用在关系数据库系统中还可用在演绎数据库中。它有很多特点,它为我们研究与实现关系数据库系统与演绎数据库提供了新的思想、方法与工具。在本文中,我们讨论了此语言设计与实现的一些问题,最后并作了分析与评价。