{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:36:01Z","timestamp":1725489361899},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410942"},{"type":"electronic","value":"9783540399636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39963-1_27","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:54:19Z","timestamp":1187236459000},"page":"256-265","source":"Crossref","is-referenced-by-count":1,"title":["Extended Query Answering Using Integrity Rules"],"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,7,2]]},"reference":[{"key":"27_CR1","volume-title":"The computer modeling of mathematical reasoning","author":"A. Bundy","year":"1986","unstructured":"Bundy A., \u201cThe computer modeling of mathematical reasoning\u201d, Academic Press, London, 1986."},{"key":"27_CR2","unstructured":"Codd E.F., \u201cDomains, keys and referential integrity in relational databases\u201d, Info DB3, No.1, 1988"},{"key":"27_CR3","unstructured":"Elmasri R. and Navathe S.B., \u201cFundamentals of database systems\u201d, 3nd Edition, Addison-Wesley, 2000"},{"issue":"1","key":"27_CR4","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., \u201cOn the translation of relational queries into iterative programs\u201d, ACM Trans. Database Syst. Vol.14, No.1, 1\u201327, 1989.","journal-title":"ACM Trans. Database Syst."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Godfrey P., Grant J., Gryz J. and Minker J., \u201cIntegrity Constraints: Semantics and applications\u201d, Logics for Databases and Information Systems, Kluwer, Ch.9, 1998.","DOI":"10.1007\/978-1-4615-5643-5_9"},{"key":"27_CR6","unstructured":"Lowden B.G.T. and Robinson J., \u201cA semantic query optimiser using automatic rule derivation\u201d, Proc. Fifth Annual Workshop on Information Technologies and Systems, Netherlands, 68\u201376, December 1995."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Lowden B.G.T. and Robinson J., \u201cA statistical approach to rule selection in semantic query optimisation\u201d, Proc. 11th ISMIS International Symposium on Methodologies for Intelligent Systems, Warsaw, June 1999.","DOI":"10.1007\/BFb0095119"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Lowden B.G.T. and Robinson J., \u201cA fast method for ensuring the consistency of integrity constraints\u201d, Proc. 10th International DEXA conference on Database and Expert Systems Applications, Florence, August 1999","DOI":"10.1007\/3-540-48309-8_38"},{"key":"27_CR9","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1007\/BF01178680","volume":"28","author":"X. Qian","year":"1991","unstructured":"Qian X., \u201cThe expressive power of the bounded-iteration construct\u201d, Acta Inf. 28, 631\u2013656, October 1991.","journal-title":"Acta Inf."},{"issue":"4","key":"27_CR10","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/169725.169716","volume":"18","author":"X. Qian","year":"1993","unstructured":"Qian X., \u201cThe deductive synthesis of database transactions\u201d, ACM Trans. Database Syst. 18, 4, 626\u2013677, December 1993.","journal-title":"ACM Trans. Database Syst."},{"key":"27_CR11","first-page":"319","volume-title":"Proc. IDEAS\u201997","author":"A. Sayli","year":"1997","unstructured":"Sayli A.and Lowden B.G.T., \u201cA fast transformation method for semantic query optimisation\u201d, Proc. IDEAS\u201997, IEEE, Montreal, 319\u2013326, 1997."},{"key":"27_CR12","unstructured":"Sprague R.H. & Watson H.J., Decision support systems: putting theory into practice, Prentice Hall, 1989."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Stonebraker M., Hypothetical databases as views, Proc. ACM Sigmod International Conference on Management of Data, 1981.","DOI":"10.1145\/582318.582352"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Vielle L. et al., The EKS-V1 system, Proc. International Conference on Logic Programming & Automated Reasoning, Springer Verlag, 1992.","DOI":"10.1007\/BFb0013102"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39963-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:11:37Z","timestamp":1556755897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39963-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410942","9783540399636"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-39963-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}