复杂对象及嵌套关系的语言完备性问题

最近，嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、最新研究结果以及语言的表达能力，并就其完备性问题进行了讨论。