Algorithms for analysing related constraint business rules

Data and Knowledge Engineering

Volumn 50, Issue 2, 2004, Pages 215-240

  Fu, Gaihua ^a   Shao, Jianhua ^a   Embury, Suzanne M ^b   Gray, W Alex ^a  

^a CARDIFF UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Business rules; Constraint analysis; Constraints

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); CONSTRAINT THEORY; DATABASE SYSTEMS; INFORMATION MANAGEMENT; INFORMATION TECHNOLOGY; SEMANTICS; SYSTEMS ENGINEERING;

BUSINESS RULES; CONSTRAINT ANALYSIS;

LOGIC PROGRAMMING;

EID: 2542474373     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2004.01.006     Document Type: Article

References (29)

1. A. Artale, E. Franconi, Temporal ER modeling with description logics, in: Proceedings of 18th International Conference on Conceptual Modeling, 1999, pp. 81-95.
2. Bassiliades N., Gray P.M.D. CoLan: a functional constraint language and its implementation. Data and Knowledge Engineering. 14(3):1994;203-249.
3. C. Beeri, R. Fagin, J.H. Howard, A complete axiomatization for functional and multivalued dependencies in database relations, in: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, 1977, pp. 47-61.
4. Borgida A. Description logics in data management. IEEE Transactions on Knowledge and Data Engineering. 7(5):1995;671-682.
5. F. Bry, H. Decker, R. Manthey, A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases, in: Proceedings of the 1st International Conference on Extending Database Technology, 1988, pp. 488-505.
6. D. Calvanese, M. Lenzerini, On the interaction between ISA and cardinality constraints, in: Proceedings of the 10th International Conference on Data Engineering, 1994, pp. 204-213.
7. Casanova M.A., Fagin R., Papadimitriou C.H. Inclusion dependencies and their interaction with functional dependencies. Journal of Computer and System Sciences. 28(1):1984;29-59.
8. J.A. Chudziak, H. Rybinski, J. Vorbach, Towards a unifying logic formalism for semantic data models, in: Proceedings of 12th International Conference on the Entity-Relationship Approach, 1993, pp. 492-507.
9. Cosmadakis S.S., Kanellakis P.C., Vardi M.Y. Polynomial-time implication problems for unary inclusion dependencies. ACM Transactions on Database Systems. 37(1):1990;15-46.
10. Earls A.B., Embury S.M., Turner N.H. A method for the manual extraction of business rules from large source code. BT Technology Journal. 20(4):2002;127-143.
11. Embury S.M., Brandt S.M., Robinson J.S., Sutherland I., Bisby F.A., Gray W.A., Jones A.C., White R.J. Adapting integrity enforcement techniques for data reconciliation. Information Systems. 26(8):2001;657-689.
12. S.M. Embury, J. Shao, G. Fu, X.K. Liu, W.A. Gray, A theoretical framework for the recovery business rules from legacy systems, Brulee project technical report, Department of Computer Science, Cardiff University, 2003.
13. G. Fu, Comprehension of constraint business rule extracted from legacy systems, Brulee project technical report, Department of Computer Science, Cardiff University, 2002.
14. G. Fu, J. Shao, S.M. Embury, W.A. Gray, Representing constraint business rules extracted from legacy systems, in: Proceedings of 13th International Conference on Database and Expert System Application, 2002.
15. Godfrey P., Grant J., Gryz J., Minker J. Integrity constraints: semantics and applications. Date C.J. Logics for Databases And Information Systems. 1998;265-306 Kluwer.
16. Grant J., Minker J. Inferences for numerical dependencies. Theoretical Computer Science. 41:1985;271-287.
17. Grefen P., Apers P. Integrity control in relational database systems - an overview. Data and Knowledge Engineering. 10(2):1993;187-223.
18. D. Hay, K.A. Healy, Defining Business Rules - What are They Really, 1996. Available online 〈http://www.omg.org/techprocess/meetings/schedule/uml_2. 0_ocl_rfp.html〉.
19. H. Herbst, T. Myrach, A repository system for business rules, in: Proceedings of the Sixth IFIP TC-2 Working Conference on Data Semantics (DS-6), 1995, pp. 119-139.
20. M. Lenzerini, Covering and disjointness constraints in type networks, in: Proceedings of the 3th International Conference on Data Engineering, 1987, pp. 386-393.
21. M. Lenzerini, P. Nobili, On the satisfiability of dependency constraints in entity-relationship schemata, in: Proceedings of 13th International Conference on Very Large Data Bases, 1987, pp. 147-154.
22. Maier D. The Theory of Relational Databases. 1983;PITMAN, London.
23. Mannila H., Raiha K. Algorithms for inferring functional dependencies from relations. Data and Knowledge Engineering. 12(1):1994;83-99.
24. Mitchell J.C. The implication problem for functional and inclusion dependencies. Information and Control. 56(3):1983;154-173.
25. Reiter R. What should a database know? Journal of Logic Programming. 14(1 and 2):1992;127-153.
26. Shao J., Pound C. Reverse engineering business rules from information systems. BT Technology Journal. 17(4):1999;179-186.
27. A.H.M. ter Hofstede, H.A. Proper, Th.P. van der Weide, A conceptual language for the description and manipulation of complex information models, in: Seventeenth Annual Computer Science Conference, 1994.
28. B. Thalheim, Fundamentals of cardinality constraints, in: Proceedings of the 11th International Conference on the Entity-Relationship Approach, 1992, pp. 7-23.
29. S.D. Urban, ALICE: an assertion language for integrity constraint expression, in: Proceedings of the 13th Annual Conference on Computer Software and Application, 1989, pp. 292-299.