Database Integrity Checking

Database Integrity Checking

Hendrik Decker (Universidad Politécnica de Valencia, Spain) and Davide Martinenghi (Free University of Bozen/Bolzano, Italy)
DOI: 10.4018/978-1-60566-058-5.ch016


Integrity constraints (or simply “constraints”) are formal representations of invariant conditions for the semantic correctness of database records. Constraints can be expressed in declarative languages such as datalog, predicate logic, or SQL. This article highlights the historical background of integrity constraints and the essential features of their simplified incremental evaluation. It concludes with an outlook on future trends.

Complete Chapter List

Search this Book: