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
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
|
ij> AUTOCOMMIT OFF;
ij> -- MODULE DML057
-- SQL Test Suite, V6.0, Interactive SQL, dml057.sql
-- 59-byte ID
-- TEd Version #
-- AUTHORIZATION HU
set schema HU;
0 rows inserted/updated/deleted
ij> --O SELECT USER FROM HU.ECCO;
VALUES USER;
1
--------------------------------------------------------------------------------------------------------------------------------
HU
ij> -- RERUN if USER value does not match preceding AUTHORIZATION comment
-- date_time print
-- TEST:0248 FIPS sizing - binary precision of FLOAT >= 20!
-- FIPS sizing TEST
DELETE FROM JJ;
0 rows inserted/updated/deleted
WARNING 02000: No row was found for FETCH, UPDATE or DELETE; or the result of a query is an empty table.
ij> -- Making sure the table is empty
-- setup
INSERT INTO JJ
VALUES(0.1048575);
1 row inserted/updated/deleted
ij> -- PASS:0248 If 1 row is inserted?
SELECT FLOATTEST
FROM JJ;
FLOATTEST
------------------------
0.1048575
ij> -- PASS:0248 If FLOATTEST = 0.1048575 ?
-- PASS:0248 OR is between 0.1048574 and 0.1048576 ?
--O SELECT COUNT(*) FROM JJ
SELECT * FROM JJ
WHERE FLOATTEST > 0.1048574 AND FLOATTEST < 0.1048576;
FLOATTEST
------------------------
0.1048575
ij> -- PASS:0248 If count = 1?
DELETE FROM JJ;
1 row inserted/updated/deleted
ij> -- Making sure the table is empty
-- setup
INSERT INTO JJ
VALUES(-0.1048575);
1 row inserted/updated/deleted
ij> -- PASS:0248 If 1 row is inserted?
SELECT FLOATTEST
FROM JJ;
FLOATTEST
------------------------
-0.1048575
ij> -- PASS:0248 If FLOATTEST = -0.1048575 ?
-- PASS:0248 OR is between -0.1048576 and -0.1048574 ?
--O SELECT COUNT(*) FROM JJ
SELECT * FROM JJ
WHERE FLOATTEST > -0.1048576 AND FLOATTEST < -0.1048574;
FLOATTEST
------------------------
-0.1048575
ij> -- PASS:0248 If count = 1?
-- restore
ROLLBACK WORK;
ij> -- END TEST >>> 0248 <<< END TEST
-- *****************************************************************
-- TEST:0249 FIPS sizing - binary precision of REAL >= 20!
-- FIPS sizing TEST
DELETE FROM GG;
0 rows inserted/updated/deleted
WARNING 02000: No row was found for FETCH, UPDATE or DELETE; or the result of a query is an empty table.
ij> -- Making sure the table is empty
-- setup
INSERT INTO GG
VALUES(0.1048575);
1 row inserted/updated/deleted
ij> -- PASS:0249 If 1 row is inserted?
SELECT REALTEST
FROM GG;
REALTEST
---------------
0.1048575
ij> -- PASS:0249 If REALTEST = 0.1048575 ?
-- PASS:0249 OR is between 0.1048574 and 0.1048576 ?
--O SELECT COUNT(*) FROM GG
SELECT * FROM GG
WHERE REALTEST > 0.1048574 AND REALTEST < 0.1048576;
REALTEST
---------------
0.1048575
ij> -- PASS:0249 If count = 1?
DELETE FROM GG;
1 row inserted/updated/deleted
ij> -- Making sure the table is empty
-- setup
INSERT INTO GG
VALUES(-0.1048575);
1 row inserted/updated/deleted
ij> -- PASS:0249 If 1 row is inserted?
SELECT REALTEST
FROM GG;
REALTEST
---------------
-0.1048575
ij> -- PASS:0249 If REALTEST = -0.1048575 ?
-- PASS:0249 OR is between -0.1048576 and -0.1048574 ?
--O SELECT COUNT(*) FROM GG
SELECT * FROM GG
WHERE REALTEST > -0.1048576 AND REALTEST < -0.1048574;
REALTEST
---------------
-0.1048575
ij> -- PASS:0249 If count = 1?
-- restore
ROLLBACK WORK;
ij> -- END TEST >>> 0249 <<< END TEST
-- ***************************************************************
-- TEST:0250 FIPS sizing - bin. precision of DOUBLE >= 30!
-- FIPS sizing TEST
DELETE FROM II;
0 rows inserted/updated/deleted
WARNING 02000: No row was found for FETCH, UPDATE or DELETE; or the result of a query is an empty table.
ij> -- Making sure the table is empty
-- setup
INSERT INTO II
VALUES(0.1073741823);
1 row inserted/updated/deleted
ij> -- PASS:0250 If 1 row is inserted?
SELECT DOUBLETEST
FROM II;
DOUBLETEST
------------------------
0.1073741823
ij> -- PASS:0250 If DOUBLETEST = 0.1073741823 ?
-- PASS:0250 OR is between 0.1073741822 and 0.1073741824 ?
--O SELECT COUNT(*) FROM II
SELECT * FROM II
WHERE DOUBLETEST > 0.1073741822 AND DOUBLETEST < 0.1073741824;
DOUBLETEST
------------------------
0.1073741823
ij> -- PASS:0250 If count = 1?
DELETE FROM II;
1 row inserted/updated/deleted
ij> -- Making sure the table is empty
-- setup
INSERT INTO II
VALUES(-0.1073741823);
1 row inserted/updated/deleted
ij> -- PASS:0250 If 1 row is inserted?
SELECT DOUBLETEST
FROM II;
DOUBLETEST
------------------------
-0.1073741823
ij> -- PASS:0250 If DOUBLETEST = -0.1073741823 ?
-- PASS:0250 OR is between -0.1073741824 and -0.1073741822 ?
--O SELECT COUNT(*) FROM II
SELECT * FROM II
WHERE DOUBLETEST > -0.1073741824 AND DOUBLETEST < -0.1073741822;
DOUBLETEST
------------------------
-0.1073741823
ij> -- PASS:0250 If count = 1?
-- restore
ROLLBACK WORK;
ij> -- END TEST >>> 0250 <<< END TEST
-- *************************************************////END-OF-MODULE
;
ij>
|
