{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:53Z","timestamp":1725663533881},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569213"},{"type":"electronic","value":"9783540477853"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56921-9_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:53:20Z","timestamp":1330239200000},"page":"238-257","source":"Crossref","is-referenced-by-count":3,"title":["Integrity constraint enforcement in the functional database language PFL"],"prefix":"10.1007","author":[{"given":"Swarup","family":"Reddi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"L. Cardelli, Types for data data-oriented languages, in Advances in Database Technology (EDBT 88), LNCS 303. Springer-Verlag. 1988.","DOI":"10.1007\/3-540-19074-0_44"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"S.K. Das and H. Williams, A path finding method for constraint checking in deductive databases, Data & Knowledge Engineering, 1989. No. 4.","DOI":"10.1016\/0169-023X(89)90021-9"},{"key":"14_CR3","unstructured":"S.K. Das and M.H. Williams. Integrity checking methods in deductive databases: a comparative evaluation. Proceedings of the 7th British National Conference on Databases, CUP. 1989."},{"key":"14_CR4","unstructured":"H. Decker, Integrity enforcement on deductive databases, Proceedings of The First International Conference on Expert Database Systems, Charleston, South Carolina. Edited by L. Kerschberg. 1986."},{"key":"14_CR5","unstructured":"A.J. Field and P.G. Harrison, Functional Programming. Addison Wesley, 1988."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"J. Hughes, Why functional programming matters. The Computer Journal. 1989. Vol. 32, No. 2.","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"14_CR7","unstructured":"R.A. Kowalski, F. Sadri and P. Soper, Integrity checking in deductive databases. Proceedings of the 13th International Conference on Very Large Databases, Brighton. 1987."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd and R.W Topor, A Basis for Deductive Database Systems. Journal of Logic Programming. 1985. No. 2.","DOI":"10.1016\/0743-1066(85)90013-5"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd and R.W Topor, A Basis for Deductive Database Systems II. Journal of Logic Programming. 1986. No. 1.","DOI":"10.1016\/0743-1066(86)90004-X"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J-M. Nicolas and K. Yazdanian, Integrity checking in deductive databases, in Logic and Databases, Edited by H. Gallaire and J. Minker. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_12"},{"key":"14_CR11","unstructured":"A. Oliv\u00e9 Integrity constraints checking in deductive databases. Proceedings of the 17th International Conference on Very Large Databases, Barcelona. 1991."},{"key":"14_CR12","unstructured":"S.L. Peyton-Jones, The Implementation of Functional Programming Languages. Prentice Hall, 1987."},{"key":"14_CR13","unstructured":"A. Poulovassilis, The Design and Implementation of FDL, a functional database language. Ph.D. Thesis, Birkbeck College, University of London. 1989."},{"key":"14_CR14","unstructured":"A. Poulovassilis and C. Small, A functional programming approach to deductive databases. Proceedings of the 17th International Conference on Very Large Databases, Barcelona. 1991."},{"key":"14_CR15","unstructured":"U.S. Reddy, On the relationship between logic and functional languages. in Logic Programming, Functions Relations and Equations, Edited by D. De Groot. Prentice Hall, 1986."},{"key":"14_CR16","unstructured":"C. Small and A. Poulovassilis, An overview of PFL. 3rd International Workshop on Database Programming Languages, Nafplion. 1991."},{"key":"14_CR17","unstructured":"J.D. Ullman, Principles of Database and Knowledge-base Systems. Computer Science Press, 1988."}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56921-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:07:04Z","timestamp":1605629224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56921-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569213","9783540477853"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-56921-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}