The implication problem for functional and inclusion dependencies
Information and Control
Inferences for numerical dependencies
Theoretical Computer Science
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Journal of Logic Programming
Integrity control in relational database systems: an overview
Data & Knowledge Engineering
Algorithms for inferring functional dependencies from relations
Data & Knowledge Engineering
CoLan: a functional constraint language and its implementation
Data & Knowledge Engineering
Integrity constraints: semantics and applications
Logics for databases and information systems
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Adapting integrity enforcement techniques for data reconciliation
Information Systems - Data extraction, cleaning and reconciliation
A method for the manual extraction of business rules from legacy source code
BT Technology Journal
Extracting Business Rules from Information Systems
BT Technology Journal
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
On the Interaction Between ISA and Cardinality Constraints
Proceedings of the Tenth International Conference on Data Engineering
Covering and Disjointness Constraints in Type Networks
Proceedings of the Third International Conference on Data Engineering
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Towards a Unifying Logic Formalism for Semantic Data Models
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
A Repository System for Business Rules
DS-6 Proceedings of the Sixth IFIP TC-2 Working Conference on Data Semantics: Database Applications Semantics
Representing Constraint Business Rules Extracted from Legacy Systems
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Theory of Relational Databases
Theory of Relational Databases
| Hi-index | 0.00 |
Constraints represent a class of business rules that describe the conditions under which an organisation operates. It is common that organisations implement a large number of constraints in their supporting information systems. To remain competitive in today's ever-changing business environment, organisations are increasingly recognising the ability to evolve the implemented constraints timely and correctly. While many techniques have been proposed to assist constraint specification and enforcement in information systems, little has been done so far to help constraint evolution. In this paper, we introduce a form of constraint analysis that is particularly geared towards constraint evolution. More specifically, we propose several algorithms for determining which constraints collectively restrict a specified set of business objects, and we study their performance. Since the constraints contained in an information system are typically in large quantities and tend to be fragmented during implementation, this type of analysis is desirable and valuable in the process of their evolution.