A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases

Abstract

Integrity maintenance methods have been definedfor preventing Updates from

Dynamic integrity constraints definition and enforcement in databases: a classification framework

“…Some integrity checking methods are described by Hsu and Imielinski (1985), Kowalski et al (1987), Lloyd et al (1987), Bry et al (1988), Urban and Delcambre (1990), Bertino et al (1997). The works presented by Ceri and Widom (1990), Moerkotte and Lockemann (1991), Palopoli and Torlone (1992), Karadimce and Urban (1993), Wuthrich (1993), Ceri et al (1994b) are integrity maintenance methods.…”

“…We suppose that the constraints are satisfiable and correct. Works about constraint satisfiability can be found in Bry et al (1988) and Formica et al (1994).…”

Towards intelligent databases

“…[1,57,2,7,4]), for simplifying integrity constraints (e.g. [43,25,15]), for query optimization (e.g. [46,22,10,11]), etc.…”

“…[17,18,1,2,4,7,55,57,60,61,67,13]), and how integrity constraints are checked when the database is updated (see e.g. [17,18,15,25,39,43,47,49,53,19]). …”

“…Some methods, e.g. [53,25,15], simplify the integrity constraints with respect to updates. Such simplifications can be formalized as a partial evaluation (or partial deduction) [42,35,36,37,41] of deduction rules similar to those specified above.…”