The chase revisited
Symposium on Principles of Database Systems, pp. 149-158, 2008.
new chasef-universal modelincomplete standard chaseextended core chasef-universal model setMore(8+)
We revisit the standard chase procedure, studying its properties and applicability to classical database problems. We settle (in the negative) the open problem of decidability of termination of the standard chase, and we provide sufficient termination conditions which are strictly less over-conservative than the best previously known. We ...More
Full Text (Upload PDF)