Extending Datalog with arrays

详细信息    查看全文

• 作者：Greco ; Sergio ; Palopoli ; Luigi ; Spadafora ; Eugenio
• 关键词：Deductive databases ; Semantics of logic programs ; Complex terms ; Arrays
• 刊名：Data and Knowledge Engineering
• 出版年：1995
• 出版时间：October, 1995
• 年：1995
• 卷：17
• 期：1
• 页码：31-57
• 全文大小：1.68 M

文摘

In this paper the problem of extending the logic database language Datalog with primitives to support array definitions and manipulations is addressed. The syntax and the semantics of this language, called Datalog^A, are given by showing that model theoretic properties of ordinary Datalog extend to Datalog^A. Datalog^A fixpoint semantics and its implementation are also studied and presented. Sufficient conditions assuring program evaluation convergence when manipulating real-valued arrays are finally discussed.