Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Integrity Constraint

Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
“An assertion that must be satisfied in all evolving states and state transition histories of an enterprise viewed as a discrete dynamic system” (Taveter et al., 2001b).
Published in Chapter:
Graphical Notations for Rule Modeling
Sergey Lukichev (Brandenburg University of Technology at Cottbus, Germany) and Mustafa Jarrar (University of Cyprus, Cyprus)
DOI: 10.4018/978-1-60566-402-6.ch004
This chapter describes various graphical notations for rule modeling. Rule modeling methodologies, empowered with graphical notations, play an important role in helping business experts and rule engineers to represent business rules formally for further deployment into a rule execution system. Rules, represented graphically, can be easier understood by business people and by technicians without intensive technical learning. In this chapter we mainly focus on three graphical notations for rules: UML/OCL, URML and ORM. UML/OCL is a mainstream modeling technology in software development, which is also accommodated by some business experts when modeling a system at the semi-formal, platform independent level. URML extends UML with additional graphical symbols and the concept of a rule, which allows visualization of different rule types on top of UML class diagrams. ORM is an alternative methodology with a rich graphical notation for modeling a domain at the conceptual level. The methodological power, graphical expressivity, and verbalization capabilities of ORM have made it the most popular language within the business rules community. This chapter introduces each of these graphical notations, explain how it can be used, and compare them against each other.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Database Integrity Checking
Integrity constraints are invariant properties of the database that evolve via updates. Often, it is convenient to state them as denials, that is, yes/no queries that are required to return the empty answer in each database state.
Full Text Chapter Download: US $37.50 Add to Cart
MDD Approach for Maintaining Integrity Constraints in Databases
An integrity constraint is used to specify some restriction for maintaining the consistency of data. It can be defined in such a way that in a table (or more than one table) all qualified tuples must satisfy a logical predicate.
Full Text Chapter Download: US $37.50 Add to Cart
Logic and Knowledge Bases
A rule that must be satisfied by the database or knowledge base if it is consistent.
Full Text Chapter Download: US $37.50 Add to Cart
A Logic Programming Perspective on Rules
an assertion that must be satisfied in all evolving states and state transition histories of the system.
Full Text Chapter Download: US $37.50 Add to Cart
Inconsistency-Tolerant Integrity Checking
A logical sentence expressing a statement about the semantics, that is, the intended meaning of the extensions of tables and views in the database. It is usually expressed either as closed formulas in prenex normal form or as denials. Both can be evaluated as queries for determining integrity satisfaction or violation.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR