|
|
Database Integrity Checking
by Decker, Hendrik; Martinenghi, Davide
| Our Price: | $30.00 |
| Reference #: |
IGR25347 |
| Pages: |
961-966 |
| Source: |
Encyclopedia of Information Science and Technology, Second Edition |
| Copyright: |
2009; Information Science Reference |
| Author Affiliations: |
Universidad Politécnica de Valencia, Spain; Free University of Bozen/Bolzano, Italy |
| Editor: |
M. Khosrow-Pour |
| Keywords: |
business rule, declarative, Dynamic Integrity Constraints, Inconsistency Tolerance, integrity, integrity checking, Integrity Constraint, Integrity Enforcemen, integrity satisfaction, integrity violation, procedural, Semantic Integrity, Simplification, Static Integrity Constraints, trigger |
|
Abstract
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.
|
|
