index/rpnscan.c

   1 /* $Id: rpnscan.c,v 1.24 2007-12-13 11:09:20 adam Exp $
   2    Copyright (C) 1995-2007
   3    Index Data ApS
   4
   5 This file is part of the Zebra server.
   6
   7 Zebra is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 2, or (at your option) any later
  10 version.
  11
  12 Zebra is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with this program; if not, write to the Free Software
  19 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
  20
  21 */
  22
  23 #include <stdio.h>
  24 #include <assert.h>
  25 #ifdef WIN32
  26 #include <io.h>
  27 #endif
  28 #if HAVE_UNISTD_H
  29 #include <unistd.h>
  30 #endif
  31 #include <ctype.h>
  32
  33 #include <yaz/diagbib1.h>
  34 #include "index.h"
  35 #include <zebra_xpath.h>
  36 #include <yaz/wrbuf.h>
  37 #include <attrfind.h>
  38 #include <charmap.h>
  39 #include <rset.h>
  40 #include <yaz/oid_db.h>
  41
  42 #define RPN_MAX_ORDS 32
  43
  44 /* convert APT SCAN term to internal cmap */
  45 static ZEBRA_RES trans_scan_term(ZebraHandle zh, Z_AttributesPlusTerm *zapt,
  46                                  char *termz, zebra_map_t zm)
  47 {
  48     char term_utf8[IT_MAX_WORD];
  49
  50     if (zapt_term_to_utf8(zh, zapt, term_utf8) == ZEBRA_FAIL)
  51         return ZEBRA_FAIL;    /* error */
  52     else if (zebra_maps_is_icu(zm))
  53     {
  54         const char *res_buf;
  55         size_t res_len;
  56         zebra_map_tokenize_start(zm, term_utf8, strlen(term_utf8));
  57
  58         if (zebra_map_tokenize_next(zm, &res_buf, &res_len, 0, 0))
  59         {
  60             memcpy(termz, res_buf, res_len);
  61             termz[res_len] = '\0';
  62         }
  63         else
  64             termz[0] = '\0';
  65     }
  66     else
  67     {
  68         const char **map;
  69         const char *cp = (const char *) term_utf8;
  70         const char *cp_end = cp + strlen(cp);
  71         const char *src;
  72         int i = 0;
  73         const char *space_map = NULL;
  74         int len;
  75
  76         while ((len = (cp_end - cp)) > 0)
  77         {
  78             map = zebra_maps_input(zm, &cp, len, 0);
  79             if (**map == *CHR_SPACE)
  80                 space_map = *map;
  81             else
  82             {
  83                 if (i && space_map)
  84                     for (src = space_map; *src; src++)
  85                         termz[i++] = *src;
  86                 space_map = NULL;
  87                 for (src = *map; *src; src++)
  88                     termz[i++] = *src;
  89             }
  90         }
  91         termz[i] = '\0';
  92     }
  93     return ZEBRA_OK;
  94 }
  95
  96 static void get_first_snippet_from_rset(ZebraHandle zh,
  97                                         RSET rset, zebra_snippets *snippets,
  98                                         zint *sysno)
  99 {
 100     struct it_key key;
 101     RSFD rfd;
 102     TERMID termid;
 103     size_t sysno_mem_index = 0;
 104
 105     if (zh->m_staticrank)
 106         sysno_mem_index = 1;
 107
 108     yaz_log(YLOG_DEBUG, "get_first_snippet_from_rset");
 109
 110     rfd = rset_open(rset, RSETF_READ);
 111     *sysno = 0;
 112     while (rset_read(rfd, &key, &termid))
 113     {
 114         if (key.mem[sysno_mem_index] != *sysno)
 115         {
 116             if (*sysno)
 117                 break;
 118             *sysno = key.mem[sysno_mem_index];
 119         }
 120         if (termid)
 121         {
 122             struct ord_list *ol;
 123             for (ol = termid->ol; ol; ol = ol->next)
 124             {
 125                 zebra_snippets_append(snippets, key.mem[key.len-1], 0,
 126                                       ol->ord, termid->name);
 127             }
 128         }
 129     }
 130     rset_close(rfd);
 131 }
 132
 133 struct scan2_info_entry {
 134     WRBUF term;
 135     char prefix[20];
 136     ISAM_P isam_p;
 137     int pos_to_save;
 138     int ord;
 139 };
 140
 141 static int scan_handle2(char *name, const char *info, int pos, void *client)
 142 {
 143     int len_prefix;
 144     struct scan2_info_entry *scan_info = (struct scan2_info_entry *) client;
 145
 146     if (scan_info->pos_to_save != pos)
 147         return 0;
 148
 149     len_prefix = strlen(scan_info->prefix);
 150     if (memcmp(name, scan_info->prefix, len_prefix))
 151         return 1;
 152
 153     /* skip special terms such as first-in-field specials */
 154     if (name[len_prefix] < CHR_BASE_CHAR)
 155         return 1;
 156
 157     wrbuf_rewind(scan_info->term);
 158     wrbuf_puts(scan_info->term, name+len_prefix);
 159
 160     assert(*info == sizeof(ISAM_P));
 161     memcpy(&scan_info->isam_p, info+1, sizeof(ISAM_P));
 162     return 0;
 163 }
 164
 165
 166 static int scan_save_set(ZebraHandle zh, ODR stream, NMEM nmem,
 167                          struct rset_key_control *kc,
 168                          Z_AttributesPlusTerm *zapt,
 169                          RSET limit_set,
 170                          const char *term,
 171                          const char *index_type,
 172                          struct scan2_info_entry *ar, int ord_no,
 173                          ZebraScanEntry *glist, int pos)
 174 {
 175     int i;
 176     RSET rset = 0;
 177     zint approx_limit = zh->approx_limit;
 178     AttrType global_hits_limit_attr;
 179     int l;
 180     attr_init_APT(&global_hits_limit_attr, zapt, 12);
 181
 182     l = attr_find(&global_hits_limit_attr, NULL);
 183     if (l != -1)
 184         approx_limit = l;
 185
 186     for (i = 0; i < ord_no; i++)
 187     {
 188         if (ar[i].isam_p && strcmp(wrbuf_cstr(ar[i].term), term) == 0)
 189         {
 190             struct ord_list *ol = ord_list_create(nmem);
 191             RSET rset_t;
 192
 193             ol = ord_list_append(nmem, ol, ar[i].ord);
 194
 195             assert(ol);
 196             rset_t = rset_trunc(
 197                     zh, &ar[i].isam_p, 1,
 198                     wrbuf_buf(ar[i].term), wrbuf_len(ar[i].term),
 199                     NULL, 1, zapt->term->which, nmem,
 200                     kc, kc->scope, ol, index_type,
 201                     0 /* hits_limit_value */,
 202                     0 /* term_ref_id_str */);
 203             if (!rset)
 204                 rset = rset_t;
 205             else
 206             {
 207                 RSET rsets[2];
 208
 209                 rsets[0] = rset;
 210                 rsets[1] = rset_t;
 211                 rset = rset_create_or(nmem, kc, kc->scope, 0 /* termid */,
 212                                       2, rsets);
 213             }
 214             ar[i].isam_p = 0;
 215         }
 216     }
 217     if (rset)
 218     {
 219         zint count;
 220         /* merge with limit_set if given */
 221         if (limit_set)
 222         {
 223             RSET rsets[2];
 224             rsets[0] = rset;
 225             rsets[1] = rset_dup(limit_set);
 226
 227             rset = rset_create_and(nmem, kc, kc->scope, 2, rsets);
 228         }
 229         /* count it */
 230         zebra_count_set(zh, rset, &count, approx_limit);
 231
 232         if (pos != -1)
 233         {
 234             zint sysno;
 235             zebra_snippets *hit_snippets = zebra_snippets_create();
 236
 237             glist[pos].term = 0;
 238             glist[pos].display_term = 0;
 239
 240             get_first_snippet_from_rset(zh, rset, hit_snippets, &sysno);
 241             if (sysno)
 242             {
 243                 zebra_snippets *rec_snippets = zebra_snippets_create();
 244                 int code = zebra_get_rec_snippets(zh, sysno, rec_snippets);
 245                 if (code == 0)
 246                 {
 247                     const struct zebra_snippet_word *w =
 248                         zebra_snippets_lookup(rec_snippets, hit_snippets);
 249                     if (w)
 250                     {
 251                         glist[pos].display_term = odr_strdup(stream, w->term);
 252                     }
 253                 }
 254                 zebra_snippets_destroy(rec_snippets);
 255             }
 256             if (zebra_term_untrans_iconv(zh, stream->mem, index_type,
 257                                          &glist[pos].term, term))
 258             {
 259                 /* failed.. use display_term instead (which could be 0) */
 260                 glist[pos].term = glist[pos].display_term;
 261             }
 262
 263             glist[pos].occurrences = count;
 264             zebra_snippets_destroy(hit_snippets);
 265         }
 266         rset_delete(rset);
 267         if (count > 0)
 268             return 1;
 269         else
 270             return 0;
 271     }
 272     return 0;
 273 }
 274
 275 static ZEBRA_RES rpn_scan_norm(ZebraHandle zh, ODR stream, NMEM nmem,
 276                                struct rset_key_control *kc,
 277                                Z_AttributesPlusTerm *zapt,
 278                                int *position, int *num_entries,
 279                                ZebraScanEntry **list,
 280                                int *is_partial, RSET limit_set,
 281                                const char *index_type,
 282                                int ord_no, int *ords)
 283 {
 284     struct scan2_info_entry *ar = nmem_malloc(nmem, sizeof(*ar) * ord_no);
 285     struct rpn_char_map_info rcmi;
 286     zebra_map_t zm = zebra_map_get_or_add(zh->reg->zebra_maps, index_type);
 287     int i, dif;
 288     int after_pos;
 289     int pos = 0;
 290
 291     ZebraScanEntry *glist = (ZebraScanEntry *)
 292         odr_malloc(stream, *num_entries * sizeof(*glist));
 293
 294     *is_partial = 0;
 295     if (*position > *num_entries+1)
 296     {
 297         *is_partial = 1;
 298         *position = 1;
 299         *num_entries = 0;
 300         return ZEBRA_OK;
 301     }
 302     rpn_char_map_prepare(zh->reg, zm, &rcmi);
 303
 304     for (i = 0; i < ord_no; i++)
 305         ar[i].term = wrbuf_alloc();
 306
 307     for (i = 0; i < ord_no; i++)
 308     {
 309         char termz[IT_MAX_WORD+20];
 310         int prefix_len = 0;
 311
 312         prefix_len = key_SU_encode(ords[i], termz);
 313         termz[prefix_len] = 0;
 314         strcpy(ar[i].prefix, termz);
 315
 316         if (trans_scan_term(zh, zapt, termz+prefix_len, zm) ==
 317             ZEBRA_FAIL)
 318         {
 319             for (i = 0; i < ord_no; i++)
 320                 wrbuf_destroy(ar[i].term);
 321             return ZEBRA_FAIL;
 322         }
 323         wrbuf_rewind(ar[i].term);
 324         wrbuf_puts(ar[i].term, termz + prefix_len);
 325         ar[i].isam_p = 0;
 326         ar[i].ord = ords[i];
 327     }
 328     /** deal with terms before position .. */
 329     /* the glist index starts at zero (unlike scan positions */
 330     for (pos = *position-2; pos >= 0; )
 331     {
 332         const char *hi = 0;
 333
 334         /* scan on all maximum terms */
 335         for (i = 0; i < ord_no; i++)
 336         {
 337             if (ar[i].isam_p == 0)
 338             {
 339                 char termz[IT_MAX_WORD+20];
 340                 int before = 1;
 341                 int after = 0;
 342
 343                 ar[i].pos_to_save = -1;
 344
 345                 strcpy(termz, ar[i].prefix);
 346                 strcat(termz, wrbuf_cstr(ar[i].term));
 347                 dict_scan(zh->reg->dict, termz, &before, &after,
 348                           ar+i, scan_handle2);
 349             }
 350         }
 351         /* get maximum after scan */
 352         for (i = 0; i < ord_no; i++)
 353         {
 354             if (ar[i].isam_p
 355                 && (hi == 0 || strcmp(wrbuf_cstr(ar[i].term), hi) > 0))
 356                 hi = wrbuf_cstr(ar[i].term);
 357         }
 358         if (!hi)
 359             break;
 360         if (scan_save_set(zh, stream, nmem, kc, zapt, limit_set, hi,
 361                           index_type, ar, ord_no, glist,
 362                           (pos >= 0 && pos < *num_entries) ? pos : -1))
 363             --pos;
 364     }
 365     /* see if we got all terms before.. */
 366     dif = 1 + pos;
 367     if (dif > 0)
 368     {
 369         /* did not get all terms; adjust the real position and reduce
 370            number of entries */
 371         yaz_log(YLOG_LOG, "before terms dif=%d", dif);
 372         glist = glist + dif;
 373         *num_entries -= dif;
 374         *position -= dif;
 375         *is_partial = 1;
 376     }
 377     for (i = 0; i < ord_no; i++)
 378     {
 379         char termz[IT_MAX_WORD+20];
 380         int prefix_len = 0;
 381
 382         prefix_len = key_SU_encode(ords[i], termz);
 383         termz[prefix_len] = 0;
 384         strcpy(ar[i].prefix, termz);
 385
 386         if (trans_scan_term(zh, zapt, termz+prefix_len, zm) ==
 387             ZEBRA_FAIL)
 388             return ZEBRA_FAIL;
 389         wrbuf_rewind(ar[i].term);
 390         wrbuf_puts(ar[i].term, termz + prefix_len);
 391         ar[i].isam_p = 0;
 392         ar[i].ord = ords[i];
 393     }
 394
 395     after_pos = 1;  /* immediate term first.. */
 396     for (pos = *position-1; pos < *num_entries; )
 397     {
 398         const char *lo = 0;
 399
 400         /* scan on all minimum terms */
 401         for (i = 0; i < ord_no; i++)
 402         {
 403             if (ar[i].isam_p == 0)
 404             {
 405                 char termz[IT_MAX_WORD+20];
 406                 int before = 0;
 407                 int after = after_pos;
 408
 409                 ar[i].pos_to_save = 1;
 410
 411                 strcpy(termz, ar[i].prefix);
 412                 strcat(termz, wrbuf_cstr(ar[i].term));
 413                 dict_scan(zh->reg->dict, termz, &before, &after,
 414                           ar+i, scan_handle2);
 415             }
 416         }
 417         after_pos = 2;  /* next round we grab following term */
 418
 419         /* get minimum after scan */
 420         for (i = 0; i < ord_no; i++)
 421         {
 422             if (ar[i].isam_p
 423                 && (lo == 0 || strcmp(wrbuf_cstr(ar[i].term), lo) < 0))
 424                 lo = wrbuf_cstr(ar[i].term);
 425         }
 426         if (!lo)
 427             break;
 428         if (scan_save_set(zh, stream, nmem, kc, zapt, limit_set, lo,
 429                           index_type, ar, ord_no, glist,
 430                           (pos >= 0 && pos < *num_entries) ? pos : -1))
 431             pos++;
 432
 433     }
 434     if (pos != *num_entries)
 435     {
 436         if (pos >= 0)
 437             *num_entries = pos;
 438         else
 439             *num_entries = 0;
 440         *is_partial = 1;
 441     }
 442
 443     *list = glist;
 444
 445     for (i = 0; i < ord_no; i++)
 446         wrbuf_destroy(ar[i].term);
 447
 448     return ZEBRA_OK;
 449 }
 450
 451 struct scan1_info_entry {
 452     char *term;
 453     ISAM_P isam_p;
 454 };
 455
 456 struct scan_info {
 457     struct scan1_info_entry *list;
 458     ODR odr;
 459     int before, after;
 460     char prefix[20];
 461 };
 462
 463 ZEBRA_RES rpn_scan(ZebraHandle zh, ODR stream, Z_AttributesPlusTerm *zapt,
 464                    const Odr_oid *attributeset,
 465                    int num_bases, char **basenames,
 466                    int *position, int *num_entries, ZebraScanEntry **list,
 467                    int *is_partial, const char *set_name)
 468 {
 469     int base_no;
 470     int ords[RPN_MAX_ORDS], ord_no = 0;
 471
 472     const char *index_type;
 473     char *search_type = NULL;
 474     char rank_type[128];
 475     int complete_flag;
 476     int sort_flag;
 477     NMEM nmem;
 478     ZEBRA_RES res;
 479     struct rset_key_control *kc = 0;
 480     RSET limit_set = 0;
 481
 482     *list = 0;
 483     *is_partial = 0;
 484
 485     if (!attributeset)
 486         attributeset = yaz_oid_attset_bib_1;
 487
 488     if (!set_name)
 489     {
 490         /* see if there is a @attr 8=set */
 491         AttrType termset;
 492         int termset_value_numeric;
 493         const char *termset_value_string = 0;
 494         attr_init_APT(&termset, zapt, 8);
 495         termset_value_numeric =
 496             attr_find_ex(&termset, NULL, &termset_value_string);
 497         if (termset_value_numeric != -1)
 498         {
 499             if (termset_value_numeric != -2)
 500             {
 501                 char resname[32];
 502                 sprintf(resname, "%d", termset_value_numeric);
 503                 set_name = odr_strdup(stream, resname);
 504             }
 505             else
 506                 set_name = odr_strdup(stream, termset_value_string);
 507         }
 508     }
 509
 510     if (set_name)
 511     {
 512         limit_set = resultSetRef(zh, set_name);
 513
 514         if (!limit_set)
 515         {
 516             zebra_setError(zh,
 517                            YAZ_BIB1_SPECIFIED_RESULT_SET_DOES_NOT_EXIST,
 518                            set_name);
 519             return ZEBRA_FAIL;
 520         }
 521     }
 522
 523     yaz_log(YLOG_DEBUG, "position = %d, num = %d",
 524             *position, *num_entries);
 525
 526     if (zebra_maps_attr(zh->reg->zebra_maps, zapt, &index_type, &search_type,
 527                         rank_type, &complete_flag, &sort_flag))
 528     {
 529         *num_entries = 0;
 530         zebra_setError(zh, YAZ_BIB1_UNSUPP_ATTRIBUTE_TYPE, 0);
 531         return ZEBRA_FAIL;
 532     }
 533     if (num_bases > RPN_MAX_ORDS)
 534     {
 535         zebra_setError(zh, YAZ_BIB1_TOO_MANY_DATABASES_SPECIFIED, 0);
 536         return ZEBRA_FAIL;
 537     }
 538     for (base_no = 0; base_no < num_bases; base_no++)
 539     {
 540         int ord;
 541
 542         if (zebraExplain_curDatabase(zh->reg->zei, basenames[base_no]))
 543         {
 544             zebra_setError(zh, YAZ_BIB1_DATABASE_UNAVAILABLE,
 545                            basenames[base_no]);
 546             *num_entries = 0;
 547             return ZEBRA_FAIL;
 548         }
 549         if (zebra_apt_get_ord(zh, zapt, index_type, 0, attributeset, &ord)
 550             != ZEBRA_OK)
 551             continue;
 552         ords[ord_no++] = ord;
 553     }
 554     if (ord_no == 0)
 555     {
 556         *num_entries = 0; /* zebra_apt_get_ord should set error reason */
 557         return ZEBRA_FAIL;
 558     }
 559     if (*num_entries < 1)
 560     {
 561         *num_entries = 0;
 562         return ZEBRA_OK;
 563     }
 564     nmem = nmem_create();
 565     kc = zebra_key_control_create(zh);
 566
 567     res = rpn_scan_norm(zh, stream, nmem, kc, zapt, position, num_entries,
 568                         list, is_partial, limit_set,
 569                         index_type, ord_no, ords);
 570     nmem_destroy(nmem);
 571     (*kc->dec)(kc);
 572     return res;
 573 }
 574
 575 /*
 576  * Local variables:
 577  * c-basic-offset: 4
 578  * indent-tabs-mode: nil
 579  * End:
 580  * vim: shiftwidth=4 tabstop=8 expandtab
 581  */
 582