File size: 2,789 Bytes
b110593
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
//                           _       _
// __      _____  __ ___   ___  __ _| |_ ___
// \ \ /\ / / _ \/ _` \ \ / / |/ _` | __/ _ \
//  \ V  V /  __/ (_| |\ V /| | (_| | ||  __/
//   \_/\_/ \___|\__,_| \_/ |_|\__,_|\__\___|
//
//  Copyright © 2016 - 2024 Weaviate B.V. All rights reserved.
//
//  CONTACT: [email protected]
//

package inverted

import (
	"testing"

	"github.com/stretchr/testify/assert"
	"github.com/stretchr/testify/require"
	"github.com/weaviate/sroar"
	"github.com/weaviate/weaviate/adapters/repos/db/lsmkv/roaringset"
	"github.com/weaviate/weaviate/entities/filters"
)

func TestPropValuePairs_Merging(t *testing.T) {
	t.Run("always creates new underlying bitmap", func(t *testing.T) {
		type testCase struct {
			name string

			bitmaps  []*sroar.Bitmap
			operator filters.Operator

			expectedIds []uint64
		}

		testCases := []testCase{
			{
				name: "AND; different sets",

				bitmaps: []*sroar.Bitmap{
					roaringset.NewBitmap(7, 8, 9, 10, 11),
					roaringset.NewBitmap(1, 3, 5, 7, 9, 11),
					roaringset.NewBitmap(1, 3, 5, 7, 9),
				},
				operator: filters.OperatorAnd,

				expectedIds: []uint64{7, 9},
			},
			{
				name: "OR; different sets",

				bitmaps: []*sroar.Bitmap{
					roaringset.NewBitmap(7, 8, 9, 10, 11),
					roaringset.NewBitmap(1, 3, 5, 7, 9, 11),
					roaringset.NewBitmap(1, 3, 5, 7, 9),
				},
				operator: filters.OperatorOr,

				expectedIds: []uint64{1, 3, 5, 7, 8, 9, 10, 11},
			},
			{
				name: "AND; same sets",

				bitmaps: []*sroar.Bitmap{
					roaringset.NewBitmap(7, 8, 9, 10, 11),
					roaringset.NewBitmap(7, 8, 9, 10, 11),
					roaringset.NewBitmap(7, 8, 9, 10, 11),
				},
				operator: filters.OperatorAnd,

				expectedIds: []uint64{7, 8, 9, 10, 11},
			},
			{
				name: "OR; same sets",

				bitmaps: []*sroar.Bitmap{
					roaringset.NewBitmap(7, 8, 9, 10, 11),
					roaringset.NewBitmap(7, 8, 9, 10, 11),
					roaringset.NewBitmap(7, 8, 9, 10, 11),
				},
				operator: filters.OperatorOr,

				expectedIds: []uint64{7, 8, 9, 10, 11},
			},
		}

		for _, tc := range testCases {
			t.Run(tc.name, func(t *testing.T) {
				pv := &propValuePair{
					operator: tc.operator,
					children: make([]*propValuePair, len(tc.bitmaps)),
				}
				for i := range tc.bitmaps {
					pv.children[i] = &propValuePair{
						operator: filters.OperatorEqual,
						docIDs: docBitmap{
							docIDs: tc.bitmaps[i],
						},
					}
				}

				dbm, err := pv.mergeDocIDs()

				require.Nil(t, err)
				assert.ElementsMatch(t, tc.expectedIds, dbm.IDs())
				assert.False(t, tc.bitmaps[0] == dbm.docIDs)
				assert.False(t, tc.bitmaps[1] == dbm.docIDs)
				assert.False(t, tc.bitmaps[2] == dbm.docIDs)
			})
		}
	})
}