Developing finite domain constraints - A data model approach

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 448-462

  Hui, Kit Ying ^a   Gray, Peter M D ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONDITIONAL CONSTRAINTS; CONSTRAINT PROPAGATION; ENTITY RELATIONSHIP DIAGRAMS; FINITE DOMAIN CONSTRAINTS; FINITE DOMAINS; MODEL APPROACH; UML CLASS DIAGRAMS;

LOGIC PROGRAMMING;

MODELS;

EID: 84867797977     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_30     Document Type: Conference Paper

References (12)

1. N. Bassiliades,P.M.D Gray CoLan: a Functional Constraint Language and Its Implementation Data and Knowledge Engineering 14 203-249 1994.
2. P.S. Eaton, E.C. Freuder, and R.J. Wallace. Constraints and agents: Confronting ignorance. AI Magazine, 19(2):51-65, 1998.
3. S.M. Embury and P.M.D. Gray. The Declarative Expression of Semantic Integrity in a Database of Protein Structure. In A. Illaramendi and O. D-iaz, editors, Data Management Systems : Proceedings of the Basque InternationalWorkshop on Infor-mation Technology (BIWIT 95), pages 216-224, San Sebastan, Spain, July 1995. IEEE Computer Society Press.
4. G. Fahl, T. Risch, and M. Sköld. AMOS | an Architecture for Active Mediators. In Proc. Workshop on Next Generation Information Technologies and Systems (NGITS'93), Haifa, Israel, June 1993.
5. N. J. Fiddian, P. Marti, J-C. Pazzaglia, K. Hui, A. Preece, D. M. Jones, and Z. Cui. A knowledge processing system for data service network design. BT Technical Journal, 17(4):117-130, October 1999.
6. E.C. Freuder. Modeling: The-nal frontier. In Proc. First Int'l Conf 'ce on the Prac-tical Application of Constraint Technologies and Logic Programming(PACLP99), 1999. London.
7. P. M. D. Gray, S. M. Embury, K. Hui, and G. J. K. Kemp. The evolving role of constraints in the functional data model. Journal of Intelligent Information Systems, 12:113-137, 1999.
8. P.M.D. Gray, A. Preece, N.J. Fiddian, W.A. Gray, T.J.M. Bench-Capon, M.J.R. Shave, N. Azarmi, M. Wiegand, M. Ashwell, M. Beer, Z. Cui, B. Diaz, S.M.Embury, K.Hui, A.C.Jones, D.M .Jones, G.J.L.Kemp, E.W.Lawson, K.Lunn, P.Marti, J.Shao, and P.R.S.Visser. KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases. In R.R.Wagner, editor, Proceedings of the Eighth InternationalWorkshop on D atabase and Expert Systems Applications, pages 682-691, Toulouse, France, September 1997. IEEE Computer Society Press.
9. Kjell Orsborn. On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications. PhD thesis, Linkoeping University, Sweden, 1996.
10. Thierry Le Provost and Mark Wallace. Generalised constraint propagation over the CLP scheme. Technical Report ECRC-91-1, ECRC, 1991. Also appears in Journal of Logic Programming, 16(3):319-359, 1993.
11. D.W. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6(1):140-173, March 1981.
12. E. Tsang, P. Mills, R. Williams, J. Ford, and J. Borrett. A computer aided constraint programming system. In Proc. First Int'l Conf'ce on the Practical Appli-cation of Const raint Technologies and Logic Programming(PACLP99), 1999.