{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:34:17Z","timestamp":1725536057529},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_31","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"372-386","source":"Crossref","is-referenced-by-count":3,"title":["User Defined Indexing"],"prefix":"10.1007","author":[{"given":"David","family":"Vaz","sequence":"first","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Warren, D.H.D.: Implementing Prolog - Compiling Predicate Logic Programs. Technical Report 39 and 40, Department of Artificial Intelligence, University of Edinburgh (1977)"},{"key":"31_CR2","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Note 309, SRI International (1983)"},{"key":"31_CR3","unstructured":"Hermenegildo, M., Bueno, F., Puebla, G.: The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems. In: Parallelism and Implementation of Logic and Constraint Logic Programming (1999)"},{"key":"31_CR4","volume-title":"Logic Programming: Proceedings of the Fourteenth International Conference on Logic Programming","author":"G. Puebla","year":"1997","unstructured":"Puebla, G., Stuckey, P.: Optimization of logic programs with dynamic scheduling. In: Logic Programming: Proceedings of the Fourteenth International Conference on Logic Programming, MIT Press, Cambridge (1997)"},{"key":"31_CR5","unstructured":"Demoen, B., Mari\u00ebn, A., Callebaut, A.: Indexing prolog clauses. In: NACLP, pp. 1001\u20131012 (1989)"},{"key":"31_CR6","unstructured":"Wielemaker, J.: SWI-Prolog 5.5: Reference Manual. SWI, University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands (2008)"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/978-3-540-74610-2_27","volume-title":"Proceedings of the 23rd International Conference on Logic Programming","author":"V. Santos Costa","year":"2007","unstructured":"Santos Costa, V., Sagonas, K., Lopes, R.: Demand-driven indexing of prolog clauses. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 395\u2013409. Springer, Heidelberg (2007)"},{"issue":"2","key":"31_CR8","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/356770.356776","volume":"11","author":"D. Comer","year":"1979","unstructured":"Comer, D.: The ubiquitous b-tree. ACM Comput. Surv.\u00a011(2), 121\u2013137 (1979)","journal-title":"ACM Comput. Surv."},{"key":"31_CR9","first-page":"47","volume-title":"SIGMOD 1984, Proceedings of Annual Meeting","author":"A. Guttman","year":"1984","unstructured":"Guttman, A.: R-trees: A dynamic index structure for spatial searching. In: Yormark, B. (ed.) SIGMOD 1984, Proceedings of Annual Meeting, Boston, Massachusetts, June 18-21, pp. 47\u201357. ACM Press, New York (1984)"},{"key":"31_CR10","unstructured":"The Postgis Development Team: Postgis adds support for geographic objects to the postgresql object-relational database, \n                    \n                      http:\/\/postgis.refractions.net\/"},{"key":"31_CR11","volume-title":"Introduction to constraint databases","author":"P. Revesz","year":"2002","unstructured":"Revesz, P.: Introduction to constraint databases. Springer, New York (2002)"},{"issue":"3","key":"31_CR12","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: Hilog: A foundation for higher-order logic programming. J. Log. Program.\u00a015(3), 187\u2013230 (1993)","journal-title":"J. Log. Program."},{"key":"31_CR13","unstructured":"Demoen, B.: Dynamic attributes, their hprolog implementation, and a first evaluation. Technical report, Department of Computer Science, K.U.Leuven, Leuven, Belgium (2002)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-74610-2_14","volume-title":"Logic Programming","author":"D. Vaz","year":"2007","unstructured":"Vaz, D., Ferreira, M., Lopes, R.: Spatial-yap: A logic-based geographic information system. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 195\u2013208. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T06:28:02Z","timestamp":1552112882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}