Enhancing the expressive power of the U-Datalog language

Details Enhancing the expressive power of the U-Datalog language Enhancing the expressive power of the U-Datalog language

2004-04-02

arxiv.org/abs/cs/0404003v1

Theory and Practice of Logic Programming, vol. 1, no. 1, 2001

Computer Science

Databases

Appeared in Theory and Practice of Logic Programming, vol. 1, no. 1, 2001

Scientific paper

U-Datalog has been developed with the aim of providing a set-oriented logical update language, guaranteeing update parallelism in the context of a Datalog-like language. In U-Datalog, updates are expressed by introducing constraints (+p(X), to denote insertion, and [minus sign]p(X), to denote deletion) inside Datalog rules. A U-Datalog program can be interpreted as a CLP program. In this framework, a set of updates (constraints) is satisfiable if it does not represent an inconsistent theory, that is, it does not require the insertion and the deletion of the same fact. This approach resembles a very simple form of negation. However, on the other hand, U-Datalog does not provide any mechanism to explicitly deal with negative information, resulting in a language with limited expressive power. In this paper, we provide a semantics, based on stratification, handling the use of negated atoms in U-Datalog programs, and we show which problems arise in defining a compositional semantics.

Affiliated with

Also associated with

No associations

Rating

Enhancing the expressive power of the U-Datalog language does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Enhancing the expressive power of the U-Datalog language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Enhancing the expressive power of the U-Datalog language will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-145005