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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
-module(infinite_relations_test).
-include_lib("eunit/include/eunit.hrl").
-include("operations.hrl").
%%% Test Suite for Infinite Relations
infinite_relations_test_() ->
{foreach,
fun setup/0,
fun cleanup/1,
[
fun test_create_naturals/1,
fun test_naturals_with_constraints/1,
fun test_integers_generator/1,
fun test_rationals_generator/1,
fun test_take_operator/1,
fun test_finite_relation_cardinality/1
]}.
%%% Setup and Cleanup
setup() ->
operations:setup(),
operations:create_database(test_db).
cleanup(_DB) ->
ok.
%%% Helper Functions
%% Strip metadata from tuples for comparison
strip_meta(Tuple) when is_map(Tuple) ->
maps:remove(meta, Tuple);
strip_meta(Tuples) when is_list(Tuples) ->
[strip_meta(T) || T <- Tuples].
%%% Tests
test_create_naturals(DB) ->
%% Naturals are now built-in to every database
%% Just retrieve the relation to verify it exists
{ok, NaturalsHash} = operations:get_relation_hash(DB, natural),
[NaturalsRel] = mnesia:dirty_read(relation, NaturalsHash),
[
?_assert(is_record(NaturalsRel, relation)),
?_assertEqual(natural, NaturalsRel#relation.name),
?_assertEqual(aleph_zero, NaturalsRel#relation.cardinality),
?_assertEqual({generators, natural}, NaturalsRel#relation.generator)
].
test_naturals_with_constraints(DB) ->
%% Naturals are built-in, just query them
%% Query with range constraint [0, 9]
Iterator = operations:get_tuples_iterator(DB, natural, #{value => {range, 0, 9}}),
Tuples = operations:collect_all(Iterator),
DataOnly = strip_meta(Tuples),
%% Should get exactly 10 tuples: {0, 1, 2, ..., 9}
[
?_assertEqual(10, length(Tuples)),
?_assert(lists:member(#{value => 0}, DataOnly)),
?_assert(lists:member(#{value => 5}, DataOnly)),
?_assert(lists:member(#{value => 9}, DataOnly))
].
test_integers_generator(DB) ->
%% Integers are built-in
{ok, IntegersHash} = operations:get_relation_hash(DB, integer),
[Integers] = mnesia:dirty_read(relation, IntegersHash),
%% Query with range constraint [-5, 5]
Iterator = operations:get_tuples_iterator(DB, integer, #{value => {range, -5, 5}}),
Tuples = operations:collect_all(Iterator),
DataOnly = strip_meta(Tuples),
%% Should get 11 tuples: {-5, -4, ..., 0, ..., 4, 5}
[
?_assertEqual(aleph_zero, Integers#relation.cardinality),
?_assertEqual(11, length(Tuples)),
?_assert(lists:member(#{value => 0}, DataOnly)),
?_assert(lists:member(#{value => -5}, DataOnly)),
?_assert(lists:member(#{value => 5}, DataOnly))
].
test_rationals_generator(DB) ->
%% Rationals are built-in
{ok, RationalsHash} = operations:get_relation_hash(DB, rational),
[Rationals] = mnesia:dirty_read(relation, RationalsHash),
%% Take first 10 rationals using constraints
Iterator = operations:get_tuples_iterator(DB, rational, #{}),
%% Just get a few tuples to verify generator works
{ok, First} = operations:next_tuple(Iterator),
{ok, Second} = operations:next_tuple(Iterator),
operations:close_iterator(Iterator),
[
?_assertEqual(aleph_zero, Rationals#relation.cardinality),
?_assert(is_map(First)),
?_assert(maps:is_key(numerator, First)),
?_assert(maps:is_key(denominator, First)),
?_assert(is_map(Second))
].
test_take_operator(DB) ->
%% Naturals are built-in, just use them
%% Take 100 naturals
{_DB2, Naturals100} = operations:take(DB, natural, 100),
%% Verify result is finite
[
?_assertEqual({finite, 100}, Naturals100#relation.cardinality),
?_assertEqual({take, natural, 100}, Naturals100#relation.generator)
].
test_finite_relation_cardinality(DB) ->
%% Create finite relation
{DB1, _} = operations:create_relation(DB, users, #{name => string, age => integer}),
%% Add tuple
{_DB2, UpdatedRel} = operations:create_tuple(DB1, users, #{name => "Alice", age => 30}),
%% Cardinality should be 1
[
?_assertEqual({finite, 1}, UpdatedRel#relation.cardinality)
].
|
