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

Abstract: The Extended Model Theory is a mathematical theory, on which an Extended Model Theory Language (EMTL) has been realized. This programming language can be used not only for RDBMS but also for DDES. Its specialities provide us with a special idea, method and tool to study and implement RDBMS and DDBS. This paper discusses some problems in designing and implementaing EMTL. Finally, some analysis and evaluation are made.