【作者】 陈栋； 袁军； 刘明华； 王能斌；

【Author】 ChenDong YuanJun LiuMinhua Wang Nengbin (Southeast University)

【机构】 东南大学计算机科学与工程系；

【摘要】 修改操作是数据库必须提供的基本操作之一,一个完备的逻辑数据语言应该能够为用户提供对数据库事实增、删、改的能力.但修改操作所固有的过程性语义与逻辑数据语言的说明性语义显得"格格不入".本文在逻辑数据语言中引入修改谓词以满足演绎数据库系统表达数数据修改操作的需要,并就修修改谓词与逻辑数据语言间的语义冲突所引起的问题进行了讨论.更多还原

【Abstract】 A database system must have the data updating ability.In this paper,we introduce the update predicate into Logic data Language to ensure the deductive database system has the data updating abililty.The difficult of appending the update operation which has procedural semantic into the declaretive logic data language is discussed in this paper,and a corresponding plan to get over this kind of difficulty is propsed.更多还原