A Sound and Complete Chase Procedure for Constrained Tuple-Generating Dependencies - Archive ouverte HAL Access content directly
Journal Articles Journal of Intelligent Information Systems Year : 2013

A Sound and Complete Chase Procedure for Constrained Tuple-Generating Dependencies

Deming Dou
  • Function : Author
  • PersonId : 984245
Stéphane Coulondre

Abstract

We present a chase procedure for solving the implication problem of constrained tuple-generating dependencies (ctgds), a general class of database dependencies that is also able to handle data and predicates on interpreted domains. Current chase procedures for ctgds are sound but not complete, in the sense that they are unguaranteed to stop successfully whenever implication is true. The procedure we present is sound and complete, the first to our knowledge. It follows a linear reasoning over constraint domains that have the Independence of Negative Constraints property.We then soundly extend this procedure by a disjunctive reasoning over unrestricted constraint domains. To achieve these results, we used a different approach. Previous chases act like a closure operator, whereas we used a goal-directed design.

Dates and versions

hal-01339129 , version 1 (29-06-2016)

Identifiers

Cite

Deming Dou, Stéphane Coulondre. A Sound and Complete Chase Procedure for Constrained Tuple-Generating Dependencies. Journal of Intelligent Information Systems, 2013, 1, 40, pp.63-84. ⟨10.1007/s10844-012-0216-5⟩. ⟨hal-01339129⟩
103 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More