{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:51Z","timestamp":1725484911560},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_30","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"448-462","source":"Crossref","is-referenced-by-count":6,"title":["Developing Finite Domain Constraints \u2014 A Data Model Approach"],"prefix":"10.1007","author":[{"given":"Kit-ying","family":"Hui","sequence":"first","affiliation":[]},{"given":"Peter M. D.","family":"Gray","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"30_CR1","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0169-023X(94)00028-D","volume":"14","author":"N. Bassiliades","year":"1994","unstructured":"N. Bassiliades and P.M.D Gray. CoLan: a Functional Constraint Language and Its Implementation. Data and Knowledge Engineering, 14:203\u2013249, 1994.","journal-title":"Data and Knowledge Engineering"},{"issue":"2","key":"30_CR2","first-page":"51","volume":"19","author":"P.S. Eaton","year":"1998","unstructured":"P.S. Eaton, E.C. Freuder, and R.J. Wallace. Constraints and agents: Confronting ignorance. AI Magazine, 19(2):51\u201365, 1998.","journal-title":"AI Magazine"},{"unstructured":"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\u00edaz, editors, Data Management Systems: Proceedings of the Basque International Workshop on Information Technology (BIWIT 95), pages 216\u2013224, San Sebast\u00edan, Spain, July 1995. IEEE Computer Society Press.","key":"30_CR3"},{"unstructured":"G. Fahl, T. Risch, and M. Sk\u00f6ld. AMOS \u2014 an Architecture for Active Mediators. In Proc. Workshop on Next Generation Information Technologies and Systems (NGITS\u201993), Haifa, Israel, June 1993.","key":"30_CR4"},{"issue":"4","key":"30_CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1009659412027","volume":"17","author":"N. J. Fiddian","year":"1999","unstructured":"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\u2013130, October 1999.","journal-title":"BT Technical Journal"},{"unstructured":"E.C. Freuder. Modeling: The final frontier. In Proc. First Int\u2019l Conf\u2019 ce on the Practical Application of Constraint Technologies and Logic Programming(PACLP99), 1999. London.","key":"30_CR6"},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1008748808699","volume":"12","author":"P. M. D. Gray","year":"1999","unstructured":"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\u2013137, 1999.","journal-title":"Journal of Intelligent Information Systems"},{"doi-asserted-by":"crossref","unstructured":"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 International Workshop on Database and Expert Systems Applications, pages 682\u2013691, Toulouse, France, September 1997. IEEE Computer Society Press.","key":"30_CR8","DOI":"10.1109\/DEXA.1997.617411"},{"key":"30_CR9","series-title":"PhD thesis","volume-title":"On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications","author":"K. Orsborn","year":"1996","unstructured":"Kjell Orsborn. On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications. PhD thesis, Linkoeping University, Sweden, 1996."},{"issue":"3","key":"30_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T. Provost Le","year":"1993","unstructured":"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\u2013359, 1993.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"30_CR11","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/319540.319561","volume":"6","author":"D.W. Shipman","year":"1981","unstructured":"D.W. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6(1):140\u2013173, March 1981.","journal-title":"ACM Transactions on Database Systems"},{"unstructured":"E. Tsang, P. Mills, R. Williams, J. Ford, and J. Borrett. A computer aided constraint programming system. In Proc. First Int\u2019l Conf\u2019ce on the Practical Application of Constraint Technologies and Logic Programming(PACLP99), 1999.","key":"30_CR12"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T21:27:36Z","timestamp":1550352456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}