{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:08:10Z","timestamp":1725574090321},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183805"},{"type":"electronic","value":"9783642183812"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-18381-2_24","type":"book-chapter","created":{"date-parts":[[2011,1,4]],"date-time":"2011-01-04T11:01:51Z","timestamp":1294138911000},"page":"284-296","source":"Crossref","is-referenced-by-count":8,"title":["Cooperative Query Answering by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Raju","family":"Halder","sequence":"first","affiliation":[]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","first-page":"95","volume-title":"Proceedings of the 12th International Florida Artificial Intelligence Research Society Conference","author":"J.L. Braga","year":"1999","unstructured":"Braga, J.L., Laender, A.H.F., Ramos, C.V.: Cooperative relational database querying using multiple knowledge bases. In: Proceedings of the 12th International Florida Artificial Intelligence Research Society Conference, May 1999, pp. 95\u201399. AAAI Press, Orlando (May 1999)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-89330-1_2","volume-title":"Programming Languages and Systems","author":"L. Chen","year":"2008","unstructured":"Chen, L., Min\u00e9, A., Cousot, P.: A sound floating-point polyhedra abstract domain. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol.\u00a05356, pp. 3\u201318. Springer, Heidelberg (2008)"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-642-03237-0_21","volume-title":"Static Analysis","author":"L. Chen","year":"2009","unstructured":"Chen, L., Min\u00e9, A., Wang, J., Cousot, P.: Interval polyhedra: An abstract domain to infer interval linear relationships. In: Palsberg, J., Su, Z. (eds.) SAS 2009. LNCS, vol.\u00a05673, pp. 309\u2013325. Springer, Heidelberg (2009)"},{"issue":"5","key":"24_CR4","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1109\/69.317704","volume":"6","author":"W.W. Chu","year":"1994","unstructured":"Chu, W.W., Chen, Q.: A structured approach for cooperative query answering. IEEE Transactions on Knowledge and Data Engineering\u00a06(5), 738\u2013749 (1994)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"3-4","key":"24_CR5","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF00962924","volume":"1","author":"W.W. Chu","year":"1992","unstructured":"Chu, W.W., Chen, Q.: Neighborhood and associative query answering. Journal of Intelligent Information Systems\u00a01(3-4), 355\u2013382 (1992)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"2-3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF00122129","volume":"6","author":"W.W. Chu","year":"1996","unstructured":"Chu, W.W., Yang, H., Chiang, K., Minock, M., Chow, G., Larson, C.: Cobase: a scalable and extensible cooperative information system. Journal of Intelligent Information Systems\u00a06(2-3), 223\u2013259 (1996)","journal-title":"Journal of Intelligent Information Systems"},{"key":"24_CR7","first-page":"238","volume-title":"Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"issue":"5","key":"24_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/64.621228","volume":"12","author":"T. Gaasterland","year":"1997","unstructured":"Gaasterland, T.: Cooperative answering through controlled query relaxation. IEEE Expert: Intelligent Systems and Their Applications\u00a012(5), 48\u201359 (1997)","journal-title":"IEEE Expert: Intelligent Systems and Their Applications"},{"issue":"2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R. Giacobazzi","year":"2000","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract interpretations complete. Journal of the ACM (JACM)\u00a047(2), 361\u2013416 (2000)","journal-title":"Journal of the ACM (JACM)"},{"key":"24_CR10","first-page":"420","volume-title":"Proceedings of the 17th International Conference on Database and Expert Systems Applications (DEXA 2006)","author":"N. Hachani","year":"2006","unstructured":"Hachani, N., Ounelli, H.: A knowledge-based approach for database flexible querying. In: DEXA 2006, pp. 420\u2013424. IEEE CS, Krakow (2006)"},{"key":"24_CR11","first-page":"53","volume-title":"Proceedings of the IEEE 7th International Conference on INFOrmatics and Systems (INFOS 2010), Advances in Data Engineering and Management Track","author":"R. Halder","year":"2010","unstructured":"Halder, R., Cortesi, A.: Abstract interpretation for sound approximation of database query languages. In: Proceedings of the IEEE 7th International Conference on INFOrmatics and Systems (INFOS 2010), Advances in Data Engineering and Management Track, March 28\u201330, pp. 53\u201359. IEEE Catalog Number: IEEE CFP1006J-CDR, Cairo (2010)"},{"key":"24_CR12","first-page":"254","volume-title":"Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010)","author":"R. Halder","year":"2010","unstructured":"Halder, R., Cortesi, A.: Observation-based fine grained access control for relational databases. In: Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010), July 22\u201324, pp. 254\u2013265. INSTICC Press, Athens (2010)"},{"key":"24_CR13","unstructured":"Huh, S.-Y., Moon, K.-H.: Approximate query answering approach based on data abstraction and fuzzy relation. In: Proceedings of INFORMS-KORMS, Seoul, Korea, pp. 2057\u20132065 (June 2000)"},{"issue":"5","key":"24_CR14","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/TSE.1986.6312958","volume":"12","author":"T. Ichikawa","year":"1986","unstructured":"Ichikawa, T., Hirakawa, M.: Ares: a relational database with the capability of performing flexible interpretation of queries. IEEE Transactions on Software Engineering\u00a012(5), 624\u2013634 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"24_CR15","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1016\/j.eswa.2005.12.016","volume":"32","author":"M. Keun Shin","year":"2007","unstructured":"Keun Shin, M., Huh, S.Y., Lee, W.: Providing ranked cooperative query answers using the metricized knowledge abstraction hierarchy. Expert Systems with Applications\u00a032(2), 469\u2013484 (2007)","journal-title":"Expert Systems with Applications"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-44978-7_10","volume-title":"Programs as Data Objects","author":"A. Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: A new numerical abstract domain based on difference-bound matrices. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, pp. 155\u2013172. Springer, Heidelberg (2001)"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/SSDM.2001.938541","volume-title":"Proceedings of the 13th International Conference on Scientific and Statistical Database Management (SSDBM 2001)","author":"T. Palpanas","year":"2001","unstructured":"Palpanas, T., Koudas, N.: Entropy based approximate querying and exploration of datacubes. In: Proceedings of the 13th International Conference on Scientific and Statistical Database Management (SSDBM 2001), pp. 81\u201390. IEEE Computer Society Press, Fairfax (2001)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2011: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18381-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T07:00:07Z","timestamp":1553324407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18381-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183805","9783642183812"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18381-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}