SEDatalog: a set extension of datalog

Authors:
Qing Zhou;Ligong Long
Affiliations:
The Software Institute of Zhongshan University, Guangzhou, Guangdong, P.R. China;The Software Institute of Zhongshan University, Guangzhou, Guangdong, P.R. China
Venue:
Intelligent information processing II
Year:
2004

Citing 8
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Logic programming with sets

Journal of Computer and System Sciences
Logic programming and databases

Logic programming and databases
A rule-based language with functions and sets

ACM Transactions on Database Systems (TODS)
Semantics of subset-logic languages

Semantics of subset-logic languages
Semantics of logic programs with sets

Semantics of logic programs with sets
Implementation of subset logic languages

Implementation of subset logic languages
The LDL System Prototype

IEEE Transactions on Knowledge and Data Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we propose an extension, SEDatalog, of Datalog so that sets can be naturally constructed in logic programming. In SEDatalog, sets can be defined by statements so it has a strong capability in creating sets. Three deductive rules are also introduced in this paper, which make SEDatalog strong in deductions and programming even when sets are involved in deductions. The syntactical description and the semantical interpretation of SEDatalog are comprehensively discussed in detail. The soundness and completeness theorem of SEDatalog is proved, which provides a solid foundation of SEDatalog.