Converging to the Chase - a Tool for Finite Controllability

Details Converging to the Chase - a Tool for Finite Controllability Converging to the Chase - a Tool for Finite Controllability

2012-04-16

arxiv.org/abs/1204.3432v1

Computer Science

Databases

Scientific paper

We solve a problem, stated in [CGP10], showing that Sticky Datalog, defined in the cited paper as an element of the Datalog\pm project, has the finite controllability property. In order to do that, we develop a technique, which we believe can have further applications, of approximating Chase(D, T), for a database instance D and some sets of tuple generating dependencies T, by an in?nite sequence of finite structures, all of them being models of T.

Affiliated with

Also associated with

No associations

Rating

Converging to the Chase - a Tool for Finite Controllability 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 Converging to the Chase - a Tool for Finite Controllability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Converging to the Chase - a Tool for Finite Controllability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-6266