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

Chapter 4
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)
Copyright: © 2009 |Pages: 23
DOI: 10.4018/978-1-60566-402-6.ch004
Abstract
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
Chapter 153
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.
Published in Chapter: Database Integrity Checking; From: Encyclopedia of Information Science and Technology, Second Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 17
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.
Published in Chapter: MDD Approach for Maintaining Integrity Constraints in Databases; From: Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 97
Logic and Knowledge Bases
A rule that must be satisfied by the database or knowledge base if it is consistent.
Published in Chapter: Logic and Knowledge Bases; From: Encyclopedia of Knowledge Management, Second Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 9
A Logic Programming Perspective on Rules
an assertion that must be satisfied in all evolving states and state transition histories of the system.
Published in Chapter: A Logic Programming Perspective on Rules; From: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 38
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.
Published in Chapter: Inconsistency-Tolerant Integrity Checking; From: Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR