CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
CoLan: a functional constraint language and its implementation
Data & Knowledge Engineering
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
An Algorithm for Determining Related Constraints
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
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
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
An Algorithm for Determining Related Constraints
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
Hi-index | 0.00 |
Constraints are a class of business rules that most information systems implement. However, due to staff turnover and lack of documentation, precise knowledge of what constraints are enforced by a system is often not available. This can seriously hinder an organisation's ability to understand the data stored in its systems, and to evolve the systems to implement new business policies. To help the situation, researchers have considered how to extract constraints out of legacy systems. While some powerful methods have been proposed for identifying constraints in application programs, little has been done so far to help users to comprehend the recovered constraints. To step up research in this direction, we study in this paper how the recovered constraints should be represented, so that they can be analysed, processed and then presented to the user in a comprehensible manner. We introduce a representation language that offers a balance between expressiveness, comprehensibility and reasoning power in handling the recovered constraints.