operator->roperator
[idzebra-moved-to-github.git] / index / zrpn.c
1 /*
2  * Copyright (C) 1994-1995, Index Data I/S 
3  * All rights reserved.
4  * Sebastian Hammer, Adam Dickmeiss
5  *
6  * $Log: zrpn.c,v $
7  * Revision 1.39  1996-01-03 16:22:13  quinn
8  * operator->roperator
9  *
10  * Revision 1.38  1995/12/11  09:12:55  adam
11  * The rec_get function returns NULL if record doesn't exist - will
12  * happen in the server if the result set records have been deleted since
13  * the creation of the set (i.e. the search).
14  * The server saves a result temporarily if it is 'volatile', i.e. the
15  * set is register dependent.
16  *
17  * Revision 1.37  1995/12/06  15:05:28  adam
18  * More verbose in count_set.
19  *
20  * Revision 1.36  1995/12/06  12:41:27  adam
21  * New command 'stat' for the index program.
22  * Filenames can be read from stdin by specifying '-'.
23  * Bug fix/enhancement of the transformation from terms to regular
24  * expressons in the search engine.
25  *
26  * Revision 1.35  1995/11/27  09:29:00  adam
27  * Bug fixes regarding conversion to regular expressions.
28  *
29  * Revision 1.34  1995/11/16  17:00:56  adam
30  * Better logging of rpn query.
31  *
32  * Revision 1.33  1995/11/01  13:58:28  quinn
33  * Moving data1 to yaz/retrieval
34  *
35  * Revision 1.32  1995/10/27  14:00:11  adam
36  * Implemented detection of database availability.
37  *
38  * Revision 1.31  1995/10/17  18:02:10  adam
39  * New feature: databases. Implemented as prefix to words in dictionary.
40  *
41  * Revision 1.30  1995/10/16  09:32:38  adam
42  * More work on relational op.
43  *
44  * Revision 1.29  1995/10/13  16:01:49  adam
45  * Work on relations.
46  *
47  * Revision 1.28  1995/10/13  12:26:43  adam
48  * Optimization of truncation.
49  *
50  * Revision 1.27  1995/10/12  17:07:22  adam
51  * Truncation works.
52  *
53  * Revision 1.26  1995/10/12  12:40:54  adam
54  * Bug fixes in rpn_prox.
55  *
56  * Revision 1.25  1995/10/10  13:59:24  adam
57  * Function rset_open changed its wflag parameter to general flags.
58  *
59  * Revision 1.24  1995/10/09  16:18:37  adam
60  * Function dict_lookup_grep got extra client data parameter.
61  *
62  * Revision 1.23  1995/10/06  16:33:37  adam
63  * Use attribute mappings.
64  *
65  * Revision 1.22  1995/10/06  15:07:39  adam
66  * Structure 'local-number' handled.
67  *
68  * Revision 1.21  1995/10/06  13:52:06  adam
69  * Bug fixes. Handler may abort further scanning.
70  *
71  * Revision 1.20  1995/10/06  11:06:33  adam
72  * Scan entries include 'occurrences' now.
73  *
74  * Revision 1.19  1995/10/06  10:43:56  adam
75  * Scan added. 'occurrences' in scan entries not set yet.
76  *
77  * Revision 1.18  1995/10/04  16:57:20  adam
78  * Key input and merge sort in one pass.
79  *
80  * Revision 1.17  1995/10/04  12:55:17  adam
81  * Bug fix in ranked search. Use=Any keys inserted.
82  *
83  * Revision 1.16  1995/10/02  16:24:40  adam
84  * Use attribute actually used in search requests.
85  *
86  * Revision 1.15  1995/10/02  15:18:52  adam
87  * New member in recRetrieveCtrl: diagnostic.
88  *
89  * Revision 1.14  1995/09/28  12:10:32  adam
90  * Bug fixes. Field prefix used in queries.
91  *
92  * Revision 1.13  1995/09/18  14:17:50  adam
93  * Minor changes.
94  *
95  * Revision 1.12  1995/09/15  14:45:21  adam
96  * Retrieve control.
97  * Work on truncation.
98  *
99  * Revision 1.11  1995/09/14  11:53:27  adam
100  * First work on regular expressions/truncations.
101  *
102  * Revision 1.10  1995/09/11  15:23:26  adam
103  * More work on relevance search.
104  *
105  * Revision 1.9  1995/09/11  13:09:35  adam
106  * More work on relevance feedback.
107  *
108  * Revision 1.8  1995/09/08  14:52:27  adam
109  * Minor changes. Dictionary is lower case now.
110  *
111  * Revision 1.7  1995/09/07  13:58:36  adam
112  * New parameter: result-set file descriptor (RSFD) to support multiple
113  * positions within the same result-set.
114  * Boolean operators: and, or, not implemented.
115  * Result-set references.
116  *
117  * Revision 1.6  1995/09/06  16:11:18  adam
118  * Option: only one word key per file.
119  *
120  * Revision 1.5  1995/09/06  10:33:04  adam
121  * More work on present. Some log messages removed.
122  *
123  * Revision 1.4  1995/09/05  15:28:40  adam
124  * More work on search engine.
125  *
126  * Revision 1.3  1995/09/04  15:20:22  adam
127  * Minor changes.
128  *
129  * Revision 1.2  1995/09/04  12:33:43  adam
130  * Various cleanup. YAZ util used instead.
131  *
132  * Revision 1.1  1995/09/04  09:10:40  adam
133  * More work on index add/del/update.
134  * Merge sort implemented.
135  * Initial work on z39 server.
136  *
137  */
138 #include <stdio.h>
139 #include <assert.h>
140 #include <unistd.h>
141 #include <ctype.h>
142
143 #include "zserver.h"
144 #include "attribute.h"
145
146 #include <rsisam.h>
147 #include <rstemp.h>
148 #include <rsnull.h>
149 #include <rsbool.h>
150 #include <rsrel.h>
151
152 int index_word_prefix_map (char *string, oid_value attrSet, int attrUse,
153                            char *basename)
154 {
155     attent *attp;
156
157     logf (LOG_DEBUG, "oid_value attrSet = %d, attrUse = %d", attrSet, attrUse);
158     attp = att_getentbyatt (attrSet, attrUse);
159     if (!attp)
160         return -1;
161     logf (LOG_DEBUG, "ord=%d", attp->attset_ordinal);
162     return index_word_prefix (string, attp->attset_ordinal,
163                               attp->local_attribute, basename);
164 }
165
166 typedef struct {
167     int type;
168     int major;
169     int minor;
170     Z_AttributesPlusTerm *zapt;
171 } AttrType;
172
173 static int attr_find (AttrType *src, oid_value *attributeSetP)
174 {
175     while (src->major < src->zapt->num_attributes)
176     {
177         Z_AttributeElement *element;
178
179         element = src->zapt->attributeList[src->major];
180         if (src->type == *element->attributeType)
181         {
182             switch (element->which) 
183             {
184             case Z_AttributeValue_numeric:
185                 ++(src->major);
186                 if (element->attributeSet && attributeSetP)
187                 {
188                     oident *attrset;
189
190                     attrset = oid_getentbyoid (element->attributeSet);
191                     *attributeSetP = attrset->value;
192                 }
193                 return *element->value.numeric;
194                 break;
195             case Z_AttributeValue_complex:
196                 if (src->minor >= element->value.complex->num_list ||
197                     element->value.complex->list[src->minor]->which !=  
198                     Z_StringOrNumeric_numeric)
199                     break;
200                 ++(src->minor);
201                 if (element->attributeSet && attributeSetP)
202                 {
203                     oident *attrset;
204
205                     attrset = oid_getentbyoid (element->attributeSet);
206                     *attributeSetP = attrset->value;
207                 }
208                 return *element->value.complex->list[src->minor-1]->u.numeric;
209             default:
210                 assert (0);
211             }
212         }
213         ++(src->major);
214     }
215     return -1;
216 }
217
218 static void attr_init (AttrType *src, Z_AttributesPlusTerm *zapt,
219                        int type)
220 {
221     src->zapt = zapt;
222     src->type = type;
223     src->major = 0;
224     src->minor = 0;
225 }
226
227 struct trunc_info {
228     int  *ptr;
229     int  *indx;
230     char **heap;
231     int  heapnum;
232     int  (*cmp)(const void *p1, const void *p2);
233     int  keysize;
234     char *swapbuf;
235     char *tmpbuf;
236     char *buf;
237 };
238
239 static void heap_swap (struct trunc_info *ti, int i1, int i2)
240 {
241     int swap;
242
243     swap = ti->ptr[i1];
244     ti->ptr[i1] = ti->ptr[i2];
245     ti->ptr[i2] = swap;
246 }
247
248 static void heap_delete (struct trunc_info *ti)
249 {
250     int cur = 1, child = 2;
251
252     heap_swap (ti, 1, ti->heapnum--);
253     while (child <= ti->heapnum) {
254         if (child < ti->heapnum &&
255             (*ti->cmp)(ti->heap[ti->ptr[child]],
256                        ti->heap[ti->ptr[1+child]]) > 0)
257             child++;
258         if ((*ti->cmp)(ti->heap[ti->ptr[cur]],
259                        ti->heap[ti->ptr[child]]) > 0)
260         {
261             heap_swap (ti, cur, child);
262             cur = child;
263             child = 2*cur;
264         }
265         else
266             break;
267     }
268 }
269
270 static void heap_insert (struct trunc_info *ti, const char *buf, int indx)
271 {
272     int cur, parent;
273
274     cur = ++(ti->heapnum);
275     memcpy (ti->heap[ti->ptr[cur]], buf, ti->keysize);
276     ti->indx[ti->ptr[cur]] = indx;
277     parent = cur/2;
278     while (parent && (*ti->cmp)(ti->heap[ti->ptr[parent]],
279                                 ti->heap[ti->ptr[cur]]) > 0)
280     {
281         heap_swap (ti, cur, parent);
282         cur = parent;
283         parent = cur/2;
284     }
285 }
286
287 static
288 struct trunc_info *heap_init (int size, int key_size,
289                               int (*cmp)(const void *p1, const void *p2))
290 {
291     struct trunc_info *ti = xmalloc (sizeof(*ti));
292     int i;
293
294     ++size;
295     ti->heapnum = 0;
296     ti->keysize = key_size;
297     ti->cmp = cmp;
298     ti->indx = xmalloc (size * sizeof(*ti->indx));
299     ti->heap = xmalloc (size * sizeof(*ti->heap));
300     ti->ptr = xmalloc (size * sizeof(*ti->ptr));
301     ti->swapbuf = xmalloc (ti->keysize);
302     ti->tmpbuf = xmalloc (ti->keysize);
303     ti->buf = xmalloc (size * ti->keysize);
304     for (i = size; --i >= 0; )
305     {
306         ti->ptr[i] = i;
307         ti->heap[i] = ti->buf + ti->keysize * i;
308     }
309     return ti;
310 }
311
312 static void heap_close (struct trunc_info *ti)
313 {
314     xfree (ti->ptr);
315     xfree (ti->indx);
316     xfree (ti->heap);
317     xfree (ti->swapbuf);
318     xfree (ti->tmpbuf);
319     xfree (ti);
320 }
321
322 static RSET rset_trunc_r (ISAM isam, ISAM_P *isam_p, int from, int to,
323                          int merge_chunk)
324 {
325     RSET result; 
326     RSFD result_rsfd;
327     rset_temp_parms parms;
328
329     parms.key_size = sizeof(struct it_key);
330     result = rset_create (rset_kind_temp, &parms);
331     result_rsfd = rset_open (result, RSETF_WRITE|RSETF_SORT_SYSNO);
332
333     if (to - from > merge_chunk)
334     {
335         RSFD *rsfd;
336         RSET *rset;
337         int i, i_add = (to-from)/merge_chunk + 1;
338         struct trunc_info *ti;
339         int rscur = 0;
340         int rsmax = (to-from)/i_add + 1;
341         
342         rset = xmalloc (sizeof(*rset) * rsmax);
343         rsfd = xmalloc (sizeof(*rsfd) * rsmax);
344         
345         for (i = from; i < to; i += i_add)
346         {
347             if (i_add <= to - i)
348                 rset[rscur] = rset_trunc_r (isam, isam_p, i, i+i_add,
349                                             merge_chunk);
350             else
351                 rset[rscur] = rset_trunc_r (isam, isam_p, i, to,
352                                             merge_chunk);
353             rscur++;
354         }
355         ti = heap_init (rscur, sizeof(struct it_key), key_compare);
356         for (i = rscur; --i >= 0; )
357         {
358             rsfd[i] = rset_open (rset[i], RSETF_READ|RSETF_SORT_SYSNO);
359             if (rset_read (rset[i], rsfd[i], ti->tmpbuf))
360                 heap_insert (ti, ti->tmpbuf, i);
361             else
362             {
363                 rset_close (rset[i], rsfd[i]);
364                 rset_delete (rset[i]);
365             }
366         }
367         while (ti->heapnum)
368         {
369             int n = ti->indx[ti->ptr[1]];
370
371             rset_write (result, result_rsfd, ti->heap[ti->ptr[1]]);
372
373             while (1)
374             {
375                 if (!rset_read (rset[n], rsfd[n], ti->tmpbuf))
376                 {
377                     heap_delete (ti);
378                     rset_close (rset[n], rsfd[n]);
379                     rset_delete (rset[n]);
380                     break;
381                 }
382                 if ((*ti->cmp)(ti->tmpbuf, ti->heap[ti->ptr[1]]) > 1)
383                 {
384                     heap_delete (ti);
385                     heap_insert (ti, ti->tmpbuf, n);
386                     break;
387                 }
388             }
389         }
390         xfree (rset);
391         xfree (rsfd);
392         heap_close (ti);
393     }
394     else
395     {
396         ISPT *ispt;
397         int i;
398         struct trunc_info *ti;
399
400         ispt = xmalloc (sizeof(*ispt) * (to-from));
401
402         ti = heap_init (to-from, sizeof(struct it_key),
403                         key_compare);
404         for (i = to-from; --i >= 0; )
405         {
406             ispt[i] = is_position (isam, isam_p[from+i]);
407             if (is_readkey (ispt[i], ti->tmpbuf))
408                 heap_insert (ti, ti->tmpbuf, i);
409             else
410                 is_pt_free (ispt[i]);
411         }
412         while (ti->heapnum)
413         {
414             int n = ti->indx[ti->ptr[1]];
415
416             rset_write (result, result_rsfd, ti->heap[ti->ptr[1]]);
417 #if 0
418 /* section that preserve all keys */
419             heap_delete (ti);
420             if (is_readkey (ispt[n], ti->tmpbuf))
421                 heap_insert (ti, ti->tmpbuf, n);
422             else
423                 is_pt_free (ispt[n]);
424 #else
425 /* section that preserve all keys with unique sysnos */
426             while (1)
427             {
428                 if (!is_readkey (ispt[n], ti->tmpbuf))
429                 {
430                     heap_delete (ti);
431                     is_pt_free (ispt[n]);
432                     break;
433                 }
434                 if ((*ti->cmp)(ti->tmpbuf, ti->heap[ti->ptr[1]]) > 1)
435                 {
436                     heap_delete (ti);
437                     heap_insert (ti, ti->tmpbuf, n);
438                     break;
439                 }
440             }
441 #endif
442         }
443         heap_close (ti);
444         xfree (ispt);
445     }
446     rset_close (result, result_rsfd);
447     return result;
448 }
449
450 static int isam_trunc_cmp (const void *p1, const void *p2)
451 {
452     ISAM_P i1 = *(ISAM_P*) p1;
453     ISAM_P i2 = *(ISAM_P*) p2;
454     int d;
455
456     d = is_type (i1) - is_type (i2);
457     if (d)
458         return d;
459     return is_block (i1) - is_block (i2);
460 }
461
462 static RSET rset_trunc (ISAM isam, ISAM_P *isam_p, int no)
463 {
464
465     qsort (isam_p, no, sizeof(*isam_p), isam_trunc_cmp);
466     return rset_trunc_r (isam, isam_p, 0, no, 100);
467 }
468
469 struct grep_info {
470     ISAM_P *isam_p_buf;
471     int isam_p_size;
472     int isam_p_indx;
473 };
474
475 static void add_isam_p (const char *info, struct grep_info *p)
476 {
477     if (p->isam_p_indx == p->isam_p_size)
478     {
479         ISAM_P *new_isam_p_buf;
480         
481         p->isam_p_size = 2*p->isam_p_size + 100;
482         new_isam_p_buf = xmalloc (sizeof(*new_isam_p_buf) *
483                                   p->isam_p_size);
484         if (p->isam_p_buf)
485         {
486             memcpy (new_isam_p_buf, p->isam_p_buf,
487                     p->isam_p_indx * sizeof(*p->isam_p_buf));
488             xfree (p->isam_p_buf);
489         }
490         p->isam_p_buf = new_isam_p_buf;
491     }
492     assert (*info == sizeof(*p->isam_p_buf));
493     memcpy (p->isam_p_buf + p->isam_p_indx, info+1, sizeof(*p->isam_p_buf));
494     (p->isam_p_indx)++;
495 }
496
497 static int grep_handle (Dict_char *name, const char *info, void *p)
498 {
499     logf (LOG_DEBUG, "dict name: %s", name);
500     add_isam_p (info, p);
501     return 0;
502 }
503
504 static void gen_regular_rel (char *dst, int val, int islt)
505 {
506     int dst_p = 1;
507     int w, d, i;
508     int pos = 0;
509     char numstr[20];
510
511     *dst = '(';
512     sprintf (numstr, "%d", val);
513     for (w = strlen(numstr); --w >= 0; pos++)
514     {
515         d = numstr[w];
516         if (pos > 0)
517         {
518             if (islt)
519             {
520                 if (d == '0')
521                     continue;
522                 d--;
523             } 
524             else
525             {
526                 if (d == '9')
527                     continue;
528                 d++;
529             }
530         }
531         
532         strcpy (dst + dst_p, numstr);
533         dst_p = strlen(dst) - pos - 1;
534
535         if (islt)
536         {
537             if (d != '0')
538             {
539                 dst[dst_p++] = '[';
540                 dst[dst_p++] = '0';
541                 dst[dst_p++] = '-';
542                 dst[dst_p++] = d;
543                 dst[dst_p++] = ']';
544             }
545             else
546                 dst[dst_p++] = d;
547         }
548         else
549         {
550             if (d != '9')
551             { 
552                 dst[dst_p++] = '[';
553                 dst[dst_p++] = d;
554                 dst[dst_p++] = '-';
555                 dst[dst_p++] = '9';
556                 dst[dst_p++] = ']';
557             }
558             else
559                 dst[dst_p++] = d;
560         }
561         for (i = 0; i<pos; i++)
562         {
563             dst[dst_p++] = '[';
564             dst[dst_p++] = '0';
565             dst[dst_p++] = '-';
566             dst[dst_p++] = '9';
567             dst[dst_p++] = ']';
568         }
569         dst[dst_p++] = '|';
570     }
571     dst[dst_p] = '\0';
572     if (islt)
573     {
574         for (i=1; i<pos; i++)
575             strcat (dst, "[0-9]?");
576     }
577     else
578     {
579         for (i = 0; i <= pos; i++)
580             strcat (dst, "[0-9]");
581         strcat (dst, "[0-9]*");
582     }
583     strcat (dst, ")");
584 }
585
586 static int relational_term (ZServerInfo *zi, Z_AttributesPlusTerm *zapt,
587                             const char *term_sub,
588                             char *term_dict,
589                             oid_value attributeSet,
590                             struct grep_info *grep_info,
591                             int *max_pos)
592 {
593     AttrType relation;
594     int relation_value;
595     int term_value;
596     int r;
597
598     attr_init (&relation, zapt, 2);
599     relation_value = attr_find (&relation, NULL);
600     term_value = atoi (term_sub);
601
602     switch (relation_value)
603     {
604     case 1:
605         if (term_value <= 0)
606             return 1;
607         logf (LOG_DEBUG, "Relation <");
608         gen_regular_rel (term_dict + strlen(term_dict), term_value-1, 1);
609         break;
610     case 2:
611         if (term_value < 0)
612             return 1;
613         logf (LOG_DEBUG, "Relation <=");
614         gen_regular_rel (term_dict + strlen(term_dict), term_value, 1);
615         break;
616     case 4:
617         if (term_value < 0)
618             term_value = 0;
619         logf (LOG_DEBUG, "Relation >=");
620         gen_regular_rel (term_dict + strlen(term_dict), term_value, 0);
621         break;
622     case 5:
623         if (term_value < 0)
624             term_value = 0;
625         logf (LOG_DEBUG, "Relation >");
626         gen_regular_rel (term_dict + strlen(term_dict), term_value+1, 0);
627         break;
628     default:
629         return 0;
630     }
631     logf (LOG_DEBUG, "dict_lookup_grep: %s", term_dict);
632     r = dict_lookup_grep (zi->wordDict, term_dict, 0, grep_info, max_pos,
633                           grep_handle);
634     if (r)
635         logf (LOG_WARN, "dict_lookup_grep fail, rel=gt: %d", r);
636     logf (LOG_DEBUG, "%d positions", grep_info->isam_p_indx);
637     return 1;
638 }
639
640 static void verbatim_char (int ch, int *indx, char *dst)
641 {
642     if (!isalnum (ch))
643         dst[(*indx)++] = '\\';
644     dst[(*indx)++] = ch;
645 }
646
647 static int trunc_term (ZServerInfo *zi, Z_AttributesPlusTerm *zapt,
648                        const char *term_sub,
649                        oid_value attributeSet, struct grep_info *grep_info,
650                        int num_bases, char **basenames)
651 {
652     char term_dict[2*IT_MAX_WORD+2];
653     int i, j, r, base_no;
654     AttrType truncation;
655     int truncation_value;
656     AttrType use;
657     int use_value;
658     oid_value curAttributeSet = attributeSet;
659
660     attr_init (&use, zapt, 1);
661     use_value = attr_find (&use, &curAttributeSet);
662     logf (LOG_DEBUG, "use value %d", use_value);
663     attr_init (&truncation, zapt, 5);
664     truncation_value = attr_find (&truncation, NULL);
665     logf (LOG_DEBUG, "truncation value %d", truncation_value);
666
667     if (use_value == -1)
668         use_value = 1016;
669
670     for (base_no = 0; base_no < num_bases; base_no++)
671     {
672         int max_pos;
673         int prefix_len = index_word_prefix_map (term_dict, curAttributeSet,
674                                                 use_value,
675                                                 basenames[base_no]);
676         if (prefix_len < 0)
677         {
678             zi->errCode = 114;
679             return -1;
680         }
681         if (!relational_term (zi, zapt, term_sub, term_dict,
682                               attributeSet, grep_info, &max_pos))
683         {
684             switch (truncation_value)
685             {
686             case -1:         /* not specified */
687             case 100:        /* do not truncate */
688                 j = strlen(term_dict);
689                 term_dict[j++] = '(';
690                 for (i = 0; term_sub[i]; i++)
691                     verbatim_char (term_sub[i], &j, term_dict);
692                 strcpy (term_dict+j, ")");
693                 r = dict_lookup_grep (zi->wordDict, term_dict, 0, grep_info,
694                                       &max_pos, grep_handle);
695                 if (r)
696                     logf (LOG_WARN, "dict_lookup_grep err, trunc=none:%d", r);
697                 break;
698             case 1:          /* right truncation */
699                 j = strlen(term_dict);
700                 term_dict[j++] = '(';
701                 for (i = 0; term_sub[i]; i++)
702                     verbatim_char (term_sub[i], &j, term_dict);
703                 strcpy (term_dict+j, ".*)");
704                 dict_lookup_grep (zi->wordDict, term_dict, 0, grep_info,
705                                   &max_pos, grep_handle);
706                 break;
707             case 2:          /* left truncation */
708             case 3:          /* left&right truncation */
709                 zi->errCode = 120;
710                 return -1;
711             case 101:        /* process # in term */
712                 j = strlen(term_dict);
713                 term_dict[j++] = '(';
714                 for (i=0; term_sub[i]; i++)
715                     if (term_sub[i] == '#' && i > 2)
716                     {
717                         term_dict[j++] = '.';
718                         term_dict[j++] = '*';
719                     }
720                     else
721                         verbatim_char (term_sub[i], &j, term_dict);
722                 strcpy (term_dict+j, ")");
723                 r = dict_lookup_grep (zi->wordDict, term_dict, 0, grep_info,
724                                       &max_pos, grep_handle);
725                 if (r)
726                     logf (LOG_WARN, "dict_lookup_grep err, trunc=#: %d",
727                           r);
728                 break;
729             case 102:        /* regular expression */
730                 sprintf (term_dict + strlen(term_dict), "(%s)", term_sub);
731                 r = dict_lookup_grep (zi->wordDict, term_dict, 0, grep_info,
732                                       &max_pos, grep_handle);
733                 if (r)
734                     logf (LOG_WARN, "dict_lookup_grep err, trunc=regular: %d",
735                           r);
736                 break;
737             }
738         }
739         if (max_pos <= strlen(basenames[base_no]))
740         {
741             zi->errCode = 109; /* Database unavailable */
742             zi->errString = basenames[base_no];
743             return -1;
744         }
745     }
746     logf (LOG_DEBUG, "%d positions", grep_info->isam_p_indx);
747     return 0;
748 }
749
750 static void trans_term (ZServerInfo *zi, Z_AttributesPlusTerm *zapt,
751                         char *termz)
752 {
753     size_t i, sizez;
754     Z_Term *term = zapt->term;
755
756     sizez = term->u.general->len;
757     if (sizez > IT_MAX_WORD)
758         sizez = IT_MAX_WORD;
759     for (i = 0; i < sizez; i++)
760         termz[i] = index_char_cvt (term->u.general->buf[i]);
761     termz[i] = '\0';
762 }
763
764 static RSET rpn_search_APT_relevance (ZServerInfo *zi, 
765                                       Z_AttributesPlusTerm *zapt,
766                                       oid_value attributeSet,
767                                       int num_bases, char **basenames)
768 {
769     rset_relevance_parms parms;
770     char termz[IT_MAX_WORD+1];
771     char term_sub[IT_MAX_WORD+1];
772     struct grep_info grep_info;
773     char *p0 = termz, *p1 = NULL;
774     RSET result;
775
776     parms.key_size = sizeof(struct it_key);
777     parms.max_rec = 100;
778     parms.cmp = key_compare;
779     parms.is = zi->wordIsam;
780
781     if (zapt->term->which != Z_Term_general)
782     {
783         zi->errCode = 124;
784         return NULL;
785     }
786     trans_term (zi, zapt, termz);
787     grep_info.isam_p_indx = 0;
788     grep_info.isam_p_size = 0;
789     grep_info.isam_p_buf = NULL;
790     while (1)
791     {
792         if ((p1 = strchr (p0, ' ')))
793         {
794             memcpy (term_sub, p0, p1-p0);
795             term_sub[p1-p0] = '\0';
796         }
797         else
798             strcpy (term_sub, p0);
799         if (trunc_term (zi, zapt, term_sub, attributeSet, &grep_info,
800                         num_bases, basenames))
801             return NULL;
802         if (!p1)
803             break;
804         p0 = p1;
805         while (*++p0 == ' ')
806             ;
807     }
808     parms.isam_positions = grep_info.isam_p_buf;
809     parms.no_isam_positions = grep_info.isam_p_indx;
810     if (grep_info.isam_p_indx > 0)
811         result = rset_create (rset_kind_relevance, &parms);
812     else
813         result = rset_create (rset_kind_null, NULL);
814     xfree (grep_info.isam_p_buf);
815     return result;
816 }
817
818 static RSET rpn_search_APT_word (ZServerInfo *zi,
819                                  Z_AttributesPlusTerm *zapt,
820                                  oid_value attributeSet,
821                                  int num_bases, char **basenames)
822 {
823     rset_isam_parms parms;
824     char termz[IT_MAX_WORD+1];
825     struct grep_info grep_info;
826     RSET result;
827
828     if (zapt->term->which != Z_Term_general)
829     {
830         zi->errCode = 124;
831         return NULL;
832     }
833     trans_term (zi, zapt, termz);
834
835     grep_info.isam_p_indx = 0;
836     grep_info.isam_p_size = 0;
837     grep_info.isam_p_buf = NULL;
838
839     if (trunc_term (zi, zapt, termz, attributeSet, &grep_info,
840                     num_bases, basenames))
841         return NULL;
842     if (grep_info.isam_p_indx < 1)
843         result = rset_create (rset_kind_null, NULL);
844     else if (grep_info.isam_p_indx == 1)
845     {
846         parms.is = zi->wordIsam;
847         parms.pos = *grep_info.isam_p_buf;
848         result = rset_create (rset_kind_isam, &parms);
849     }
850     else
851         result = rset_trunc (zi->wordIsam, grep_info.isam_p_buf,
852                              grep_info.isam_p_indx);
853     xfree (grep_info.isam_p_buf);
854     return result;
855 }
856
857 static RSET rpn_prox (RSET *rset, int rset_no)
858 {
859     int i;
860     RSFD *rsfd;
861     int  *more;
862     struct it_key **buf;
863     RSFD rsfd_result;
864     RSET result;
865     rset_temp_parms parms;
866     
867     rsfd = xmalloc (sizeof(*rsfd)*rset_no);
868     more = xmalloc (sizeof(*more)*rset_no);
869     buf = xmalloc (sizeof(*buf)*rset_no);
870
871     for (i = 0; i<rset_no; i++)
872     {
873         buf[i] = xmalloc (sizeof(**buf));
874         rsfd[i] = rset_open (rset[i], RSETF_READ|RSETF_SORT_SYSNO);
875         if (!(more[i] = rset_read (rset[i], rsfd[i], buf[i])))
876         {
877             while (i >= 0)
878             {
879                 rset_close (rset[i], rsfd[i]);
880                 xfree (buf[i]);
881                 --i;
882             }
883             xfree (rsfd);
884             xfree (more);
885             xfree (buf);
886             return rset_create (rset_kind_null, NULL);
887         }
888     }
889     parms.key_size = sizeof (struct it_key);
890     result = rset_create (rset_kind_temp, &parms);
891     rsfd_result = rset_open (result, RSETF_WRITE|RSETF_SORT_SYSNO);
892     
893     while (*more)
894     {
895         for (i = 1; i<rset_no; i++)
896         {
897             int cmp;
898             
899             if (!more[i])
900             {
901                 *more = 0;
902                 break;
903             }
904             cmp = key_compare (buf[i], buf[i-1]);
905             if (cmp > 1)
906             {
907                 more[i-1] = rset_read (rset[i-1], rsfd[i-1], buf[i-1]);
908                 break;
909             }
910             else if (cmp == 1)
911             {
912                 if (buf[i-1]->seqno+1 != buf[i]->seqno)
913                 {
914                     more[i-1] = rset_read (rset[i-1], rsfd[i-1], buf[i-1]);
915                     break;
916                 }
917             }
918             else
919             {
920                 more[i] = rset_read (rset[i], rsfd[i], buf[i]);
921                 break;
922             }
923         }
924         if (i == rset_no)
925         {
926             rset_write (result, rsfd_result, buf[0]);
927             more[0] = rset_read (*rset, *rsfd, *buf);
928         }
929     }
930     
931     for (i = 0; i<rset_no; i++)
932     {
933         rset_close (rset[i], rsfd[i]);
934         xfree (buf[i]);
935     }
936     rset_close (result, rsfd_result);
937     xfree (buf);
938     xfree (more);
939     xfree (rsfd);
940     return result;
941 }
942
943 static RSET rpn_search_APT_phrase (ZServerInfo *zi,
944                                    Z_AttributesPlusTerm *zapt,
945                                    oid_value attributeSet,
946                                    int num_bases, char **basenames)
947 {
948     char termz[IT_MAX_WORD+1];
949     char term_sub[IT_MAX_WORD+1];
950     char *p0 = termz, *p1 = NULL;
951     RSET rset[60], result;
952     int i, rset_no = 0;
953     struct grep_info grep_info;
954
955     if (zapt->term->which != Z_Term_general)
956     {
957         zi->errCode = 124;
958         return NULL;
959     }
960     trans_term (zi, zapt, termz);
961
962     grep_info.isam_p_size = 0;
963     grep_info.isam_p_buf = NULL;
964
965     while (1)
966     {
967         if ((p1 = strchr (p0, ' ')))
968         {
969             memcpy (term_sub, p0, p1-p0);
970             term_sub[p1-p0] = '\0';
971         }
972         else
973             strcpy (term_sub, p0);
974
975         grep_info.isam_p_indx = 0;
976         if (trunc_term (zi, zapt, term_sub, attributeSet, &grep_info,
977                         num_bases, basenames))
978             return NULL;
979         if (grep_info.isam_p_indx == 0)
980             rset[rset_no] = rset_create (rset_kind_null, NULL);
981         else if (grep_info.isam_p_indx > 1)
982             rset[rset_no] = rset_trunc (zi->wordIsam,
983                                         grep_info.isam_p_buf,
984                                         grep_info.isam_p_indx);
985         else
986         {
987             rset_isam_parms parms;
988             
989             parms.is = zi->wordIsam;
990             parms.pos = *grep_info.isam_p_buf;
991             rset[rset_no] = rset_create (rset_kind_isam, &parms);
992         }
993         assert (rset[rset_no]);
994         if (++rset_no >= sizeof(rset)/sizeof(*rset))
995             break;
996         if (!p1)
997             break;
998         p0 = p1;
999         while (*++p0 == ' ')
1000             ;
1001     }
1002     xfree (grep_info.isam_p_buf);
1003     if (rset_no == 0)
1004         return rset_create (rset_kind_null, NULL);
1005     else if (rset_no == 1)
1006         return (rset[0]);
1007
1008     result = rpn_prox (rset, rset_no);
1009     for (i = 0; i<rset_no; i++)
1010         rset_delete (rset[i]);
1011     return result;
1012 }
1013
1014 static RSET rpn_search_APT_local (ZServerInfo *zi, Z_AttributesPlusTerm *zapt,
1015                                   oid_value attributeSet)
1016 {
1017     RSET result;
1018     RSFD rsfd;
1019     struct it_key key;
1020     rset_temp_parms parms;
1021     char termz[IT_MAX_WORD+1];
1022
1023     if (zapt->term->which != Z_Term_general)
1024     {
1025         zi->errCode = 124;
1026         return NULL;
1027     }
1028     parms.key_size = sizeof (struct it_key);
1029     result = rset_create (rset_kind_temp, &parms);
1030     rsfd = rset_open (result, RSETF_WRITE|RSETF_SORT_SYSNO);
1031
1032     trans_term (zi, zapt, termz);
1033     key.sysno = atoi (termz);
1034     if (key.sysno <= 0)
1035         key.sysno = 1;
1036     rset_write (result, rsfd, &key);
1037     rset_close (result, rsfd);
1038     return result;
1039 }
1040
1041 static RSET rpn_search_APT (ZServerInfo *zi, Z_AttributesPlusTerm *zapt,
1042                             oid_value attributeSet,
1043                             int num_bases, char **basenames)
1044 {
1045     AttrType relation;
1046     AttrType structure;
1047     int relation_value, structure_value;
1048
1049     attr_init (&relation, zapt, 2);
1050     attr_init (&structure, zapt, 4);
1051     
1052     relation_value = attr_find (&relation, NULL);
1053     structure_value = attr_find (&structure, NULL);
1054     switch (structure_value)
1055     {
1056     case -1:
1057         if (relation_value == 102) /* relevance relation */
1058             return rpn_search_APT_relevance (zi, zapt, attributeSet,
1059                                              num_bases, basenames);
1060         return rpn_search_APT_phrase (zi, zapt, attributeSet,
1061                                       num_bases, basenames);
1062     case 1: /* phrase */
1063         if (relation_value == 102) /* relevance relation */
1064             return rpn_search_APT_relevance (zi, zapt, attributeSet,
1065                                              num_bases, basenames);
1066         return rpn_search_APT_phrase (zi, zapt, attributeSet,
1067                                       num_bases, basenames);
1068         break;
1069     case 2: /* word */
1070         if (relation_value == 102) /* relevance relation */
1071             return rpn_search_APT_relevance (zi, zapt, attributeSet,
1072                                              num_bases, basenames);
1073         return rpn_search_APT_word (zi, zapt, attributeSet,
1074                                     num_bases, basenames);
1075     case 3: /* key */
1076         break;
1077     case 4: /* year */
1078         break;
1079     case 5: /* date - normalized */
1080         break;
1081     case 6: /* word list */
1082         return rpn_search_APT_relevance (zi, zapt, attributeSet,
1083                                          num_bases, basenames);
1084     case 100: /* date - un-normalized */
1085         break;
1086     case 101: /* name - normalized */
1087         break;
1088     case 102: /* date - un-normalized */
1089         break;
1090     case 103: /* structure */
1091         break;
1092     case 104: /* urx */
1093         break;
1094     case 105: /* free-form-text */
1095         return rpn_search_APT_relevance (zi, zapt, attributeSet,
1096                                          num_bases, basenames);
1097     case 106: /* document-text */
1098         return rpn_search_APT_relevance (zi, zapt, attributeSet,
1099                                          num_bases, basenames);
1100     case 107: /* local-number */
1101         return rpn_search_APT_local (zi, zapt, attributeSet);
1102     case 108: /* string */ 
1103         return rpn_search_APT_word (zi, zapt, attributeSet,
1104                                     num_bases, basenames);
1105     case 109: /* numeric string */
1106         break;
1107     }
1108     zi->errCode = 118;
1109     return NULL;
1110 }
1111
1112 static RSET rpn_search_ref (ZServerInfo *zi, Z_ResultSetId *resultSetId)
1113 {
1114     ZServerSet *s;
1115
1116     if (!(s = resultSetGet (zi, resultSetId)))
1117         return rset_create (rset_kind_null, NULL);
1118     return s->rset;
1119 }
1120
1121 static RSET rpn_search_structure (ZServerInfo *zi, Z_RPNStructure *zs,
1122                                   oid_value attributeSet,
1123                                   int num_bases, char **basenames)
1124 {
1125     RSET r = NULL;
1126     if (zs->which == Z_RPNStructure_complex)
1127     {
1128         rset_bool_parms bool_parms;
1129         int soft = 0;
1130
1131         bool_parms.rset_l = rpn_search_structure (zi, zs->u.complex->s1,
1132                                                   attributeSet,
1133                                                   num_bases, basenames);
1134         if (bool_parms.rset_l == NULL)
1135             return NULL;
1136         if (rset_is_ranked(bool_parms.rset_l))
1137             soft = 1;
1138         bool_parms.rset_r = rpn_search_structure (zi, zs->u.complex->s2,
1139                                                   attributeSet,
1140                                                   num_bases, basenames);
1141         if (bool_parms.rset_r == NULL)
1142         {
1143             rset_delete (bool_parms.rset_l);
1144             return NULL;
1145         }
1146         if (rset_is_ranked(bool_parms.rset_r))
1147             soft = 1;
1148         bool_parms.key_size = sizeof(struct it_key);
1149         bool_parms.cmp = key_compare;
1150
1151         switch (zs->u.complex->roperator->which)
1152         {
1153         case Z_Operator_and:
1154             r = rset_create (soft ? rset_kind_sand:rset_kind_and, &bool_parms);
1155             break;
1156         case Z_Operator_or:
1157             r = rset_create (soft ? rset_kind_sor:rset_kind_or, &bool_parms);
1158             break;
1159         case Z_Operator_and_not:
1160             r = rset_create (soft ? rset_kind_snot:rset_kind_not, &bool_parms);
1161             break;
1162         default:
1163             assert (0);
1164         }
1165     }
1166     else if (zs->which == Z_RPNStructure_simple)
1167     {
1168         if (zs->u.simple->which == Z_Operand_APT)
1169         {
1170             logf (LOG_DEBUG, "rpn_search_APT");
1171             r = rpn_search_APT (zi, zs->u.simple->u.attributesPlusTerm,
1172                                 attributeSet, num_bases, basenames);
1173         }
1174         else if (zs->u.simple->which == Z_Operand_resultSetId)
1175         {
1176             logf (LOG_DEBUG, "rpn_search_ref");
1177             r = rpn_search_ref (zi, zs->u.simple->u.resultSetId);
1178         }
1179         else
1180         {
1181             assert (0);
1182         }
1183     }
1184     else
1185     {
1186         assert (0);
1187     }
1188     return r;
1189 }
1190
1191 void count_set_save (RSET *r, int *count)
1192 {
1193     int psysno = 0;
1194     int kno = 0;
1195     struct it_key key;
1196     RSFD rfd, wfd;
1197     RSET w;
1198     rset_temp_parms parms;
1199
1200     logf (LOG_DEBUG, "count_set_save");
1201     *count = 0;
1202     parms.key_size = sizeof(struct it_key);
1203     w = rset_create (rset_kind_temp, &parms);
1204     wfd = rset_open (w, RSETF_WRITE|RSETF_SORT_SYSNO);
1205     rfd = rset_open (*r, RSETF_READ|RSETF_SORT_SYSNO);
1206     while (rset_read (*r, rfd, &key))
1207     {
1208         if (key.sysno != psysno)
1209         {
1210             rset_write (w, wfd, &key);
1211             psysno = key.sysno;
1212             (*count)++;
1213         }
1214         kno++;
1215     }
1216     rset_close (*r, rfd);
1217     rset_delete (*r);
1218     rset_close (w, wfd);
1219     *r = w;
1220     logf (LOG_DEBUG, "%d keys, %d distinct sysnos", kno, *count);
1221 }
1222
1223 static void count_set (RSET r, int *count)
1224 {
1225     int psysno = 0;
1226     int kno = 0;
1227     struct it_key key;
1228     RSFD rfd;
1229
1230     logf (LOG_DEBUG, "count_set");
1231     *count = 0;
1232     rfd = rset_open (r, RSETF_READ|RSETF_SORT_SYSNO);
1233     while (rset_read (r, rfd, &key))
1234     {
1235         if (key.sysno != psysno)
1236         {
1237             psysno = key.sysno;
1238             (*count)++;
1239         }
1240         kno++;
1241     }
1242     rset_close (r, rfd);
1243     logf (LOG_DEBUG, "%d keys, %d distinct sysnos", kno, *count);
1244 }
1245
1246 int rpn_search (ZServerInfo *zi,
1247                 Z_RPNQuery *rpn, int num_bases, char **basenames, 
1248                 const char *setname, int *hits)
1249 {
1250     RSET rset;
1251     oident *attrset;
1252     oid_value attributeSet;
1253
1254     zlog_rpn (rpn);
1255
1256     zi->errCode = 0;
1257     zi->errString = NULL;
1258
1259     attrset = oid_getentbyoid (rpn->attributeSetId);
1260     attributeSet = attrset->value;
1261     rset = rpn_search_structure (zi, rpn->RPNStructure, attributeSet,
1262                                  num_bases, basenames);
1263     if (!rset)
1264         return zi->errCode;
1265     if (rset_is_volatile(rset))
1266         count_set_save(&rset,hits);
1267     else
1268         count_set (rset, hits);
1269     resultSetAdd (zi, setname, 1, rset);
1270     if (zi->errCode)
1271         logf (LOG_DEBUG, "search error: %d", zi->errCode);
1272     return zi->errCode;
1273 }
1274
1275 struct scan_info {
1276     struct scan_entry *list;
1277     ODR odr;
1278     int before, after;
1279     ISAM isam;
1280     char prefix[20];
1281 };
1282
1283 static int scan_handle (Dict_char *name, const char *info, int pos, 
1284                         void *client)
1285 {
1286     int len_prefix, idx;
1287     ISAM_P isam_p;
1288     RSET rset;
1289     struct scan_info *scan_info = client;
1290
1291     rset_isam_parms parms;
1292
1293     len_prefix = strlen(scan_info->prefix);
1294     if (memcmp (name, scan_info->prefix, len_prefix))
1295         return 1;
1296     if (pos > 0)
1297         idx = scan_info->after - pos + scan_info->before;
1298     else
1299         idx = - pos - 1;
1300     scan_info->list[idx].term = odr_malloc (scan_info->odr,
1301                                             strlen(name + len_prefix)+1);
1302     strcpy (scan_info->list[idx].term, name + len_prefix);
1303     assert (*info == sizeof(isam_p));
1304     memcpy (&isam_p, info+1, sizeof(isam_p));
1305     parms.is = scan_info->isam;
1306     parms.pos = isam_p;
1307 #if 1
1308     rset = rset_create (rset_kind_isam, &parms);
1309     count_set (rset, &scan_info->list[idx].occurrences);
1310     rset_delete (rset);
1311 #else
1312     scan_info->list[idx].occurrences = 1;
1313 #endif
1314     logf (LOG_DEBUG, "pos=%3d idx=%3d name=%s", pos, idx, name);
1315     return 0;
1316 }
1317
1318
1319 static int dummy_handle (Dict_char *name, const char *info, void *p)
1320 {
1321     return 0;
1322 }
1323
1324 int rpn_scan (ZServerInfo *zi, Z_AttributesPlusTerm *zapt,
1325               int num_bases, char **basenames,
1326               int *position, int *num_entries, struct scan_entry **list,
1327               int *status)
1328 {
1329     int i, j, sizez, max_pos;
1330     int pos = *position;
1331     int num = *num_entries;
1332     int before;
1333     int after;
1334     char termz[IT_MAX_WORD+20];
1335     AttrType use;
1336     int use_value;
1337     Z_Term *term = zapt->term;
1338     struct scan_info scan_info;
1339
1340     logf (LOG_DEBUG, "scan, position = %d, num = %d", pos, num);
1341
1342     if (num_bases != 1)
1343         return 111;
1344     scan_info.before = before = pos-1;
1345     scan_info.after = after = 1+num-pos;
1346     scan_info.odr = zi->odr;
1347
1348     logf (LOG_DEBUG, "scan, before = %d, after = %d", before, after);
1349     
1350     scan_info.isam = zi->wordIsam;
1351     scan_info.list = odr_malloc (zi->odr, (before+after)*
1352                                  sizeof(*scan_info.list));
1353     for (j = 0; j<before+after; j++)
1354         scan_info.list[j].term = NULL;
1355     attr_init (&use, zapt, 1);
1356     use_value = attr_find (&use, NULL);
1357     logf (LOG_DEBUG, "use value %d", use_value);
1358
1359     if (use_value == -1)
1360         use_value = 1016;
1361     i = index_word_prefix (termz, 1, use_value, *basenames);
1362
1363     dict_lookup_grep (zi->wordDict, termz, 0, NULL, &max_pos,
1364                       dummy_handle);
1365     if (max_pos <= strlen(*basenames))
1366     {
1367         zi->errString = *basenames;
1368         return zi->errCode = 109; /* Database unavailable */
1369     }
1370     strcpy (scan_info.prefix, termz);
1371     sizez = term->u.general->len;
1372     if (sizez > IT_MAX_WORD)
1373         sizez = IT_MAX_WORD;
1374     for (j = 0; j<sizez; j++)
1375         termz[j+i] = index_char_cvt (term->u.general->buf[j]);
1376     termz[j+i] = '\0';
1377     
1378     dict_scan (zi->wordDict, termz, &before, &after, &scan_info, scan_handle);
1379
1380     *status = BEND_SCAN_SUCCESS;
1381
1382     for (i = 0; i<scan_info.after; i++)
1383         if (scan_info.list[scan_info.before+scan_info.after-i-1].term)
1384             break;
1385     *num_entries -= i;
1386     if (i)
1387         *status = BEND_SCAN_PARTIAL;
1388
1389     for (i = 0; i<scan_info.before; i++)
1390         if (scan_info.list[i].term)
1391             break;
1392     if (i)
1393         *status = BEND_SCAN_PARTIAL;
1394     *position -= i;
1395     *num_entries -= i;
1396
1397     *list = scan_info.list+i;       /* list is set to first 'real' entry */
1398
1399     if (*num_entries == 0)          /* signal 'unsupported use-attribute' */
1400         zi->errCode = 114;          /* if no entries was found */
1401     logf (LOG_DEBUG, "position = %d, num_entries = %d",
1402           *position, *num_entries);
1403     if (zi->errCode)
1404         logf (LOG_DEBUG, "scan error: %d", zi->errCode);
1405     return 0;
1406 }
1407               
1408
1409