{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T04:05:47Z","timestamp":1749269147646,"version":"3.41.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Intelligent Information Systems"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1008748808699","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"113-137","source":"Crossref","is-referenced-by-count":31,"title":["The Evolving Role of Constraints in the Functional Data Model"],"prefix":"10.1007","volume":"12","author":[{"given":"Peter M.D.","family":"Gray","sequence":"first","affiliation":[]},{"given":"Suzanne M.","family":"Embury","sequence":"additional","affiliation":[]},{"given":"Kit Y.","family":"Hui","sequence":"additional","affiliation":[]},{"given":"Graham J.L.","family":"Kemp","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"206917_CR1","first-page":"223","volume-title":"Proceedings of 1st International Conference on Deductive and Object-Oriented Databases","author":"M. Atkinson","year":"1989","unstructured":"Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D., and Zdonik, S. (1989). The Object-Oriented Database System Manifesto. In W. Kim, J.-M. Nicolas, and S. Nishio (Eds.), Proceedings of 1st International Conference on Deductive and Object-Oriented Databases. Kyoto, Japan: North Holland. Elsevier Science, pp. 223\u2013240."},{"key":"206917_CR2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0169-023X(94)00028-D","volume":"14","author":"N. Bassiliades","year":"1994","unstructured":"Bassiliades, N. and Gray, P. (1994). CoLan: A Functional Constraint Language and its Implementation. Data and Knowledge Engineering, 14, 203\u2013249.","journal-title":"Data and Knowledge Engineering"},{"key":"206917_CR3","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/582095.582104","volume-title":"SIGMOD 79 Conference","author":"P. Buneman","year":"1979","unstructured":"Buneman, P. and Frankel, R. (1979). Fql\u2014A Functional Query Language. In P. Bernstein (Ed.), SIGMOD 79 Conference. Boston. ACM Press, pp. 52\u201358."},{"issue":"1","key":"206917_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/181550.181564","volume":"23","author":"P. Buneman","year":"1994","unstructured":"Buneman, P., Libkin, L., Suciu, D., Tanen, V., and Wong, L. (1994). Comprehension Syntax. SIGMOD Record, 23(1), 87\u201396.","journal-title":"SIGMOD Record"},{"key":"206917_CR5","doi-asserted-by":"crossref","unstructured":"Cattell, R. (Ed.) (1995). The Object Database Standard: ODMG-93, Release 1.2, Morgan Kaufmann.","DOI":"10.1145\/191843.191937"},{"key":"206917_CR6","doi-asserted-by":"crossref","unstructured":"Chang, C. (1978). DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. In H. Gallaire and J. Minker (Eds.), Logic and Databases. Plenum Press, pp. 201\u2013236.","DOI":"10.1007\/978-1-4684-3384-5_8"},{"key":"206917_CR7","first-page":"55","volume-title":"Proceedings of the Thirteenth International Conference on Data Engineering (ICDE)","author":"S. Davidson","year":"1997","unstructured":"Davidson, S. and Kosky, A. (1997). WOL: A Language for Database Transformations and Constraints. In W. Gray and P. Larson (Eds.), Proceedings of the Thirteenth International Conference on Data Engineering (ICDE). Birmingham, UK: IEEE Computer Society, pp. 55\u201365."},{"issue":"2","key":"206917_CR8","first-page":"51","volume":"19","author":"P. Eaton","year":"1998","unstructured":"Eaton, P., Freuder, E., and Wallace, R. (1998). Constraints and Agents: Confronting Ignorance. AI Magazine, 19(2), 51\u201365.","journal-title":"AI Magazine"},{"key":"206917_CR9","series-title":"Technical Report","volume-title":"A Formal Semantics for the Daplex Language","author":"S. Embury","year":"1995","unstructured":"Embury, S. (1995). A Formal Semantics for the Daplex Language. Technical Report AUCS\/TR9504, University of Aberdeen, Department of Computing Science, King' College, Aberdeen, Scotland, U.K.AB243UE. Accessible as http:\/\/www.csd.abdn.ac.uk\/\u00bbpfdm\/postscript\/embury.1995b.ps."},{"key":"206917_CR10","first-page":"188","volume-title":"Proceedings of 6th IFIP TC-2 Working Conference on Data Semantics","author":"S. Embury","year":"1995","unstructured":"Embury, S. and Gray, P. (1995a). Compiling a Declarative, High-Level Language for Semantic Integrity Constraints. In R. Meersman and L. Mark (Eds.), Proceedings of 6th IFIP TC-2 Working Conference on Data Semantics. Atlanta, USA: Chapman and Hall, pp. 188\u2013226."},{"key":"206917_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-60365-4_130","volume-title":"'95)","author":"S. Embury","year":"1995","unstructured":"Embury, S. and Gray, P. (1995b). Planning Complex Updates to Satisfy Constraint Rules Using a Constraint Logic Search Engine. In T. Sellis (Ed.), '95). Lecture Notes in Computer Science 985, Glyfada, Athens, Greece: Springer-Verlag, pp. 230\u2013244."},{"key":"206917_CR12","first-page":"216","volume-title":"Data Management Systems: Proceedings of the Basque InternationalWorkshop on Information Technology (BIWIT 95)","author":"S. Embury","year":"1995","unstructured":"Embury, S. and Gray, P. (1995c). The Declarative Expression of Semantic Integrity in a Database of Protein Structure. In A. Illaramendi and O. Diaz (Eds.), Data Management Systems: Proceedings of the Basque InternationalWorkshop on Information Technology (BIWIT 95). San Sebast\u00edan, Spain: IEEE Computer Society Press, pp. 216\u2013224."},{"key":"206917_CR13","first-page":"170","volume-title":"Proceedings of 14th British National Conference on Databases (BNCOD 14)","author":"S. Embury","year":"1996","unstructured":"Embury, S. and Gray, P. (1996). A modular compiler architecture for a data manipulation language. In Proceedings of 14th British National Conference on Databases (BNCOD 14) (pp. 170\u2013188). Edinburgh, Scotland: Springer-Verlag."},{"key":"206917_CR14","first-page":"306","volume-title":"Proceedings of the Third InternationalWorkshop on Database Programming Language\u2014Bulk Types and Persistent Data","author":"M. Erwig","year":"1991","unstructured":"Erwig, M. and Lipeck, U. (1991). A functional DBPL revealing high level optimizations. In P. Kanellakis and J. Schmidt (Eds.), Proceedings of the Third InternationalWorkshop on Database Programming Language\u2014Bulk Types and Persistent Data. Nafplion, Greece: Morgan Kaufmann, pp. 306\u2013321."},{"issue":"4","key":"206917_CR15","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"R. Floyd","year":"1967","unstructured":"Floyd, R. (1967). Nondeterministic Algorithms. Journal of the ACM, 14(4), 636\u2013644.","journal-title":"Journal of the ACM"},{"key":"206917_CR16","doi-asserted-by":"crossref","unstructured":"Gray, P. (1994). Knowledge Reuse Through Networks of Large KBS. In D. Bowers (Ed.), Proceedings of 12th British National Conference on Databases, LNCS 826. Springer-Verlag, pp. 13\u201322.","DOI":"10.1007\/3-540-58235-5_32"},{"key":"206917_CR17","unstructured":"Gray, P., Cui, Z., Embury, S., Gray, W., Hui, K., and Preece, A. (1998). An Agent-Based System for Handling Distributed Design Constraints. In M. Boddy and M. Gini (Eds.), Proceedings of Agents'98 Workshop on Agent-Based Manufacturing, Minneapolis, USA. Dept. of Comp. Science and Eng., Univ. of Minnesota."},{"key":"206917_CR18","first-page":"3","volume-title":"Proc. 1994 International Conference on Object Oriented Information Systems","author":"P. Gray","year":"1994","unstructured":"Gray, P. and Kemp, G. (1994). Object-Oriented Systems and Data Independence. In D. Patel, Y. Sun, and S. Patel (Eds.), Proc. 1994 International Conference on Object Oriented Information Systems. London: Springer-Verlag, pp. 3\u201324."},{"key":"206917_CR19","unstructured":"Gray, P., Kulkarni, K., and Paton, N. (1992). Object-Oriented Databases: A Semantic Data Model Approach, Prentice Hall Series in Computer Science, Prentice Hall International."},{"key":"206917_CR20","doi-asserted-by":"crossref","unstructured":"Gray, P., Moffat, D., and Paton, N. (1988). A Prolog Interface to a Functional Data Model Database. In J. Schmidt, S. Ceri, and M. Missikoff (Eds.), Extending Database Technology Conference. Springer-Verlag, pp. 34\u201348.","DOI":"10.1007\/3-540-19074-0_46"},{"key":"206917_CR21","first-page":"682","volume-title":"Proceedings of the Eighth International Workshop on Database and Expert Systems Applications","author":"P. Gray","year":"1997","unstructured":"Gray, P., Preece, A., Fiddian, N., Gray, W., Bench-Capon, T., Shave, M., Azarmi, N., Wiegand, M., Ashwell, M., Beer, M., Cui, Z., Diaz, B., Embury, S., Hui, K., Jones, A., Jones, D., Kemp, G., Lawson, E., Lunn, K., Marti, P., Shao, J., and Visser, P. (1997). KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases. In R. Wagner (Ed.), Proceedings of the Eighth International Workshop on Database and Expert Systems Applications. Toulouse, France: IEEE Computer Society Press, pp. 682\u2013691."},{"key":"206917_CR22","first-page":"33","volume-title":"Proceedings of the Thirteenth International Conference on Data Engineering (ICDE)","author":"S. Grufman","year":"1997","unstructured":"Grufman, S., Samson, F., Embury, S., Gray, P., and Risch, T. (1997). Distributing Semantic Constraints Between Heterogenous Databases. In W. Gray and P. Larson (Eds.), Proceedings of the Thirteenth International Conference on Data Engineering (ICDE). Birmingham, UK: IEEE Computer Society, pp. 33\u201342."},{"key":"206917_CR23","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-63263-8_6","volume-title":"Advances in Databases: Proceedings of 15th British National Conference on Databases (LNCS 1271)","author":"T. Grust","year":"1997","unstructured":"Grust, T., Kroger, J., Gluche, D., Heuer, A., and Scholl, M. (1997). Query Evaluation in Croque Calculus and Algebra Coincide. In C. Small, P. Douglas, R. Johnson, P. King, and N. Martin (Eds.), Advances in Databases: Proceedings of 15th British National Conference on Databases (LNCS 1271). London, UK: Springer Verlag, pp. 84\u2013100."},{"key":"206917_CR24","first-page":"469","volume-title":"Proceedings of the 18th VLDB Conference","author":"H. Jagadish","year":"1992","unstructured":"Jagadish, H. and Qian, X. (1992). Integrity Maintenance in an Object-Oriented Database. In L.-Y. Yuan (Ed.), Proceedings of the 18th VLDB Conference. Vancouver: Morgan Kaufmann, pp. 469\u2013480."},{"key":"206917_CR25","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-55015-1_2","volume-title":"Second International Conference on Deductive and Object-Oriented Databases","author":"Z. Jiao","year":"1991","unstructured":"Jiao, Z. and Gray, P. (1991). Optimisation of Methods in a Navigational Query Language. In C. Delobel, M. Kifer, and Y. Masunaga (Eds.), Second International Conference on Deductive and Object-Oriented Databases. Munich: Springer-Verlag, pp. 22\u201342."},{"key":"206917_CR26","doi-asserted-by":"crossref","unstructured":"Kemp, G., Iriarte, J., and Gray, P. (1994). Efficient Access to FDM Objects Stored in a Relational Database. In D. Bowers (Ed.), Directions in Databases: Proceedings of the Twelfth British National Conference on Databases (BNCOD 12). Springer-Verlag, pp. 170\u2013186.","DOI":"10.1007\/3-540-58235-5_42"},{"key":"206917_CR27","unstructured":"Kerschberg, L. and Pacheco, J. (1975). A Functional Database Model. Universidade Catolica Rio de Janeiro."},{"issue":"1","key":"206917_CR28","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1093\/comjnl\/29.1.38","volume":"29","author":"K. Kulkarni","year":"1986","unstructured":"Kulkarni, K. and Atkinson, M. (1986). EFDM: Extended Functional Data Model. The Computer Journal, 29(1), 38\u201346.","journal-title":"The Computer Journal"},{"key":"206917_CR29","unstructured":"Landers, T. and Rosenberg, R. (1982). An Overview of Multibase. In H.-J. Schneider (Ed.), Distributed Data Bases. North-Holland."},{"key":"206917_CR30","first-page":"227","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"Nicolas, J.-M. (1982). Logic for Improving Integrity Checking in Relational Databases. Acta Informatica, 18, 227\u2013253.","journal-title":"Acta Informatica"},{"key":"206917_CR31","series-title":"British Computer Society Workshop Series","first-page":"147","volume-title":"Proceedings of 7th British National Conference on Databases","author":"N. Paton","year":"1989","unstructured":"Paton, N. (1989). ADAM: An Object-Oriented Database System Implemented in Prolog. In M. Williams (Ed.), Proceedings of 7th British National Conference on Databases. British Computer Society Workshop Series, Heriot-Watt University, Edinburgh: Cambridge University Press, pp. 147\u2013162."},{"key":"206917_CR32","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1093\/comjnl\/33.6.547","volume":"33","author":"N. Paton","year":"1990","unstructured":"Paton, N. and Gray, P. (1990). Optimising and Executing Daplex Queries Using Prolog. The Computer Journal, 33, 547\u2013555.","journal-title":"The Computer Journal"},{"key":"206917_CR33","first-page":"238","volume-title":"Proceedings of the 11th British National Conference on Databases","author":"S. Reddi","year":"1993","unstructured":"Reddi, S. (1993). Integrity Constraint Enforcement in the Functional Database Language PFL. In M. Worboys and A. Grundy (Eds.), Proceedings of the 11th British National Conference on Databases. Keele, UK: Springer-Verlag, pp. 238\u2013257."},{"key":"206917_CR34","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1145\/602259.602299","volume-title":"SIGMOD 84 Conference","author":"A. Shepherd","year":"1984","unstructured":"Shepherd, A. and Kerschberg, L. (1984). Prism: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. In B. Yormark (Ed.), SIGMOD 84 Conference. Boston: ACM Press, pp. 307\u2013315."},{"issue":"1","key":"206917_CR35","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/319540.319561","volume":"6","author":"D. Shipman","year":"1981","unstructured":"Shipman, D. (1981). The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6(1), 140\u2013173.","journal-title":"ACM Transactions on Database Systems"},{"key":"206917_CR36","unstructured":"Simon, E. and Kotz-Dittrich, A. (1995). Promises and realities of active database systems. Proceedings of the 21st Int'l Conf. on Very Large Databases, VLDB'95."},{"issue":"4","key":"206917_CR37","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/274946.274954","volume":"41","author":"N. Singh","year":"1998","unstructured":"Singh, N. (1998). Unifying Heterogeneous Information Models. Communications of the ACM, 41(4), 37\u201344.","journal-title":"Communications of the ACM"},{"issue":"5","key":"206917_CR38","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1093\/comjnl\/35.5.514","volume":"35","author":"H. S\u00f6ndergaard","year":"1992","unstructured":"S\u00f6ndergaard, H. and Sestoft, P. (1992). Non-Determinism in Functional Languages. The Computer Journal, 35(5), 514\u2013523.","journal-title":"The Computer Journal"},{"key":"206917_CR39","first-page":"495","volume-title":"Proceedings of the IFIP TC2\/WG 2.6 Working Conference on Object-Oriented Databases: Analysis, Design & Construction (DS-4)","author":"M. Stonebraker","year":"1990","unstructured":"Stonebraker, M., Rowe, L., Lindsay, B., Gray, J., Carey, M., Brodie, M., Bernstein, P., and Beech, D. (1990). Third-Generation Database System Manifesto\u2014The Committee for Advanced DBMS Function. In R. Meersman, W. Kent, and S. Khosla (Eds.), Proceedings of the IFIP TC2\/WG 2.6 Working Conference on Object-Oriented Databases: Analysis, Design & Construction (DS-4). Windermere, UK: North-Holland, pp. 495\u2013511."},{"key":"206917_CR40","first-page":"1","volume-title":"Proceedings of the IFIP Int. Conf. on Functional Programming Languages and Computer Architecture, Lecture Notes in Computing Science","author":"D. Turner","year":"1985","unstructured":"Turner, D. (1985). Miranda: A Non-Strict Functional Language with Polymorphic Types. In J.-P. Jouannaud (Ed.), Proceedings of the IFIP Int. Conf. on Functional Programming Languages and Computer Architecture, Lecture Notes in Computing Science. Nancy, France: Springer-Verlag, vol. 201, pp. 1\u201316."},{"key":"206917_CR41","doi-asserted-by":"crossref","unstructured":"Urban, S. (1989). ALICE: An assertion language for integrity constraint expression. Proceedings of Conference on Computer Software Applications.","DOI":"10.1109\/CMPSAC.1989.65098"},{"key":"206917_CR42","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/114325.103712","volume":"16","author":"A. Van Gelder","year":"1991","unstructured":"Van Gelder, A. and Topor, R. (1991). Safety and Translation of Relational Calculus Queries. ACM Transactions on Database Systems, 16, 235\u2013278.","journal-title":"ACM Transactions on Database Systems"},{"key":"206917_CR43","unstructured":"Van Hentenryck, P. (1989). Constraint Satisfaction in Logic Programming, MIT Press."},{"key":"206917_CR44","doi-asserted-by":"crossref","unstructured":"Yoon, J. and Kerschberg, L. (1997). Semantic Update Optimization in Active Database. Database Applications Semantics. Chapman & Hall, pp. 253\u2013269.","DOI":"10.1007\/978-0-387-34913-8_12"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008748808699.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008748808699\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008748808699.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:25:01Z","timestamp":1749219901000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008748808699"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":44,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["206917"],"URL":"https:\/\/doi.org\/10.1023\/a:1008748808699","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"type":"print","value":"0925-9902"},{"type":"electronic","value":"1573-7675"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}