{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:43:55Z","timestamp":1725551035379},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664482"},{"type":"electronic","value":"9783540483090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48309-8_38","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:14:41Z","timestamp":1269882881000},"page":"406-415","source":"Crossref","is-referenced-by-count":1,"title":["A Fast Method for Ensuring the Consistency of Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Barry G. T.","family":"Lowden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerome","family":"Robinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,18]]},"reference":[{"issue":"2","key":"38_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U.S. Chakravarthy","year":"1990","unstructured":"Chakravarthy U.S., Grant J. and Minker J.,\u2018Logic-based approach to semantic query optimisation\u2019, ACM Transactions on Database Systems, Vol. 15, No.2, 162\u2013207, June 1990.","journal-title":"ACM Transactions on Database Systems"},{"key":"38_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97005-4","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1987","unstructured":"Clocksin W.F. and Mellish C.S., \u2018Programming in Prolog\u2019, Springer, Berlin, 1987."},{"key":"38_CR3","unstructured":"Codd E.F., \u2018Domains, keys and referential integrity in relational databases\u2019, Info DB3, No.1, 1988"},{"key":"38_CR4","unstructured":"Elmasri R. and Navathe S.B., \u2018Fundamentals of database systems\u2019, 2nd Edition, Addison-Wesley, 1994."},{"issue":"1","key":"38_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/62032.62033","volume":"14","author":"J. Freytag","year":"1989","unstructured":"Freytag J. and Goodman N., \u2018On the translation of relational queries into iterative programs\u2019, ACM Trans. Database Syst. Vol.14, No.1, 1\u201327, 1989.","journal-title":"ACM Trans. Database Syst."},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Godfrey P., Grant J., Gryz J. and Minker J., \u2018Integrity Constraints: Semantics and applications\u2019, Logics for Databases and Information Systems, Kluwer, Ch.9, 1998.","DOI":"10.1007\/978-1-4615-5643-5_9"},{"key":"38_CR7","first-page":"145","volume-title":"Advances in Database Theory","author":"L. Henschen","year":"1984","unstructured":"Henschen L. and McCune W., \u2018Compiling constraint-checking programs from first-order formulas\u2019, Advances in Database Theory, Vol.2, Gallaire, Minker, and Nicolas, Eds., Plenum Press, New York, 145\u2013169, 1984."},{"key":"38_CR8","unstructured":"Kowalski R., \u2018Logic for problem solving\u2019, North Holland, Amsterdam, 1979"},{"key":"38_CR9","unstructured":"Lowden B.G.T. and Robinson J., \u2018A semantic query optimiser using automatic rule derivation\u2019, Proc. Fifth Annual Workshop on Information Technologies and Systems, Netherlands, 68\u201376, December 1995."},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Lowden B.G.T. and Robinson J., \u2018A statistical approach to rule selection in semantic query optimisation\u2019, to appear in Proc. ISMIS\u201999, Warsaw, June 1999.","DOI":"10.1007\/BFb0095119"},{"issue":"4","key":"38_CR11","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/146931.146932","volume":"17","author":"M. Siegel","year":"1992","unstructured":"Siegel M., et. al., \u2018A method for automatic rule derivation to support semantic query optimisation\u2019, ACM, TODs, Vol.17, No.4, 563\u2013600, December 1992.","journal-title":"ACM, TODs"},{"key":"38_CR12","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1007\/BF01178680","volume":"28","author":"X. Qian","year":"1991","unstructured":"Qian X., \u2018The expressive power of the bounded-iteration construct\u2019, Acta Inf. 28, 631\u2013656, October 1991.","journal-title":"Acta Inf."},{"issue":"4","key":"38_CR13","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/169725.169716","volume":"18","author":"X. Qian","year":"1993","unstructured":"Qian X., \u2018The deductive synthesis of database transactions\u2019, ACM Trans. Database Syst. 18, 4, 626\u2013677, December 1993.","journal-title":"ACM Trans. Database Syst."},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Sayli A. and Lowden B.G.T., \u2018A fast transformation method for semantic query optimisation\u2019, Proc. IDEAS\u201997, IEEE, Montreal, 319\u2013326, 1997.","DOI":"10.1109\/IDEAS.1997.625701"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48309-8_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:15:18Z","timestamp":1558970118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48309-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664482","9783540483090"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48309-8_38","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}