| 摘要: |
| 为了研究Non—1NF关系模型G.M.,Kuper提出了LPS语言,基于这种语言,本文给出了用最一般合一描述的程序的过程语义,并用解释方法实现了该语言。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:霍英东基金 |
|
| A PROCEDURAL SEMANTICS OF THE LPS PROGRAMS |
|
Zhao Chunxiao,Li Lei
|
| Abstract: |
| To study the Non-INF relational model, G. M. Kuper proposed the LPS language. Based the LPS language,a procedural semantics with mgu s are introduced ,and we implamented the LPS language using meta-interpreter method. |
| Key words: |
