r9336: 12 May 2004 Kevin Rosenberg (kevin@rosenberg.net)
[clsql.git] / tests / test-fdml.lisp
1 ;;;; -*- Mode: LISP; Syntax: ANSI-Common-Lisp; Base: 10 -*-
2 ;;;; ======================================================================
3 ;;;; File:    test-fdml.lisp
4 ;;;; Author:  Marcus Pearce <m.t.pearce@city.ac.uk>
5 ;;;; Created: 30/03/2004
6 ;;;; Updated: $Id$
7 ;;;;
8 ;;;; Tests for the CLSQL Functional Data Manipulation Language
9 ;;;; (FDML).
10 ;;;;
11 ;;;; This file is part of CLSQL.
12 ;;;;
13 ;;;; CLSQL users are granted the rights to distribute and use this software
14 ;;;; as governed by the terms of the Lisp Lesser GNU Public License
15 ;;;; (http://opensource.franz.com/preamble.html), also known as the LLGPL.
16 ;;;; ======================================================================
17
18 (in-package #:clsql-tests)
19
20 #.(clsql:locally-enable-sql-reader-syntax)
21
22 (setq *rt-fdml*
23       '(
24         
25 ;; inserts a record using all values only and then deletes it 
26 (deftest :fdml/insert/1
27     (progn
28       (clsql:insert-records :into [employee] 
29                            :values `(11 1 "Yuri" "Gagarin" "gagarin@soviet.org"
30                                      1 1 1.85 t ,(clsql:get-time)))
31       (values 
32        (clsql:select [first-name] [last-name] [email]
33                     :from [employee] :where [= [emplid] 11])
34        (progn (clsql:delete-records :from [employee] :where [= [emplid] 11])
35               (clsql:select [*] :from [employee] :where [= [emplid] 11]))))
36   (("Yuri" "Gagarin" "gagarin@soviet.org")) nil)
37
38 ;; inserts a record using attributes and values and then deletes it
39 (deftest :fdml/insert/2
40     (progn
41       (clsql:insert-records :into [employee] 
42                            :attributes '(emplid groupid first_name last_name
43                                          email ecompanyid managerid)
44                            :values '(11 1 "Yuri" "Gagarin" "gagarin@soviet.org"
45                                      1 1))
46       (values 
47        (clsql:select [first-name] [last-name] [email] :from [employee]
48                     :where [= [emplid] 11])
49        (progn (clsql:delete-records :from [employee] :where [= [emplid] 11])
50               (clsql:select [*] :from [employee] :where [= [emplid] 11]))))
51   (("Yuri" "Gagarin" "gagarin@soviet.org")) nil)
52
53 ;; inserts a record using av-pairs and then deletes it
54 (deftest :fdml/insert/3
55     (progn
56       (clsql:insert-records :into [employee] 
57                            :av-pairs'((emplid 11) (groupid 1)
58                                       (first_name "Yuri")
59                                       (last_name "Gagarin")
60                                       (email "gagarin@soviet.org")
61                                       (ecompanyid 1) (managerid 1)))
62       (values 
63        (clsql:select [first-name] [last-name] [email] :from [employee]
64                     :where [= [emplid] 11])
65        (progn (clsql:delete-records :from [employee] :where [= [emplid] 11])
66               (clsql:select [first-name] [last-name] [email] :from [employee]
67                            :where [= [emplid] 11]))))
68   (("Yuri" "Gagarin" "gagarin@soviet.org")) nil)
69
70 ;; inserts a records using a query from another table 
71 (deftest :fdml/insert/4
72     (progn
73       (clsql:create-table [employee2] '(([forename] string)
74                                  ([surname] string)
75                                  ([email] string)))
76       (clsql:insert-records :into [employee2] 
77                      :query [select [first-name] [last-name] [email] 
78                                     :from [employee]]
79                      :attributes '(forename surname email))
80       (prog1
81           (equal (clsql:select [*] :from [employee2])
82                  (clsql:select [first-name] [last-name] [email]
83                               :from [employee]))
84         (clsql:drop-table [employee2] :if-does-not-exist :ignore)))
85   t)
86
87 ;; updates a record using attributes and values and then deletes it
88 (deftest :fdml/update/1
89     (progn
90       (clsql:update-records [employee] 
91                            :attributes '(first_name last_name email)
92                            :values '("Yuri" "Gagarin" "gagarin@soviet.org")
93                            :where [= [emplid] 1])
94       (values 
95        (clsql:select [first-name] [last-name] [email] :from [employee]
96                     :where [= [emplid] 1])
97        (progn
98          (clsql:update-records [employee] 
99                               :av-pairs'((first_name "Vladamir")
100                                          (last_name "Lenin")
101                                          (email "lenin@soviet.org"))
102                               :where [= [emplid] 1])
103          (clsql:select [first-name] [last-name] [email] :from [employee]
104                       :where [= [emplid] 1]))))
105   (("Yuri" "Gagarin" "gagarin@soviet.org"))
106   (("Vladamir" "Lenin" "lenin@soviet.org")))
107
108 ;; updates a record using av-pairs and then deletes it
109 (deftest :fdml/update/2
110     (progn
111       (clsql:update-records [employee] 
112                            :av-pairs'((first_name "Yuri")
113                                       (last_name "Gagarin")
114                                       (email "gagarin@soviet.org"))
115                            :where [= [emplid] 1])
116       (values 
117        (clsql:select [first-name] [last-name] [email] :from [employee]
118                     :where [= [emplid] 1])
119        (progn
120          (clsql:update-records [employee]
121                               :av-pairs'((first_name "Vladamir")
122                                          (last_name "Lenin")
123                                          (email "lenin@soviet.org"))
124                               :where [= [emplid] 1])
125          (clsql:select [first-name] [last-name] [email]
126                       :from [employee] :where [= [emplid] 1]))))
127   (("Yuri" "Gagarin" "gagarin@soviet.org"))
128   (("Vladamir" "Lenin" "lenin@soviet.org")))
129
130
131 ;; Computed values are not always classified as numeric by psqlodbc
132 (deftest :fdml/query/1
133     (let ((count (caar (clsql:query "SELECT COUNT(*) FROM EMPLOYEE WHERE (EMAIL LIKE '%org')" :field-names nil))))
134       (if (stringp count)
135           (nth-value 0 (parse-integer count))
136         count))
137   10)
138
139 (deftest :fdml/query/2
140     (multiple-value-bind (rows field-names)
141         (clsql:query
142          "SELECT FIRST_NAME,LAST_NAME FROM EMPLOYEE WHERE (EMPLID <= 5) ORDER BY LAST_NAME")
143       (values rows (mapcar 'string-upcase field-names)))
144   (("Leonid" "Brezhnev") ("Nikita" "Kruschev") ("Vladamir" "Lenin")
145    ("Josef" "Stalin") ("Leon" "Trotsky"))
146   ("FIRST_NAME" "LAST_NAME"))
147
148 (deftest :fdml/query/3
149     (caar (clsql:query "SELECT EMPLID FROM EMPLOYEE WHERE LAST_NAME = 'Andropov'" :field-names nil))
150   6)
151   
152 (deftest :fdml/query/4
153     (typep (caar (clsql:query "SELECT HEIGHT FROM EMPLOYEE WHERE LAST_NAME = 'Andropov'" :field-names nil))
154      'float)
155   t)
156   
157 (deftest :fdml/query/5
158  (clsql:query (clsql:sql [select [first-name] [sum [emplid]] :from [employee]] 
159                         [group-by [first-name]] [order-by [sum [emplid]]])
160               :field-names nil :result-types nil)
161  (("Josef" "2") ("Leon" "3") ("Nikita" "4") ("Leonid" "5") ("Yuri" "6")
162   ("Konstantin" "7") ("Mikhail" "8") ("Boris" "9") ("Vladamir" "11")))
163
164 (deftest :fdml/query/6
165  (clsql:query (clsql:sql [union [select [emplid] :from [employee]] 
166                          [select [groupid] :from [company]]])
167               :field-names nil :result-types nil :flatp t)
168  ("1" "2" "3" "4" "5" "6" "7" "8" "9" "10"))
169
170 (deftest :fdml/query/7
171  (clsql:query (clsql:sql [intersect [select [emplid] :from [employee]] 
172                          [select [groupid] :from [company]]])
173               :field-names nil :result-types nil :flatp t)
174  ("1"))
175
176 (deftest :fdml/query/8
177  (clsql:query (clsql:sql [except [select [emplid] :from [employee]] 
178                          [select [groupid] :from [company]]])
179               :field-names nil :result-types nil :flatp t)
180  ("2" "3" "4" "5" "6" "7" "8" "9" "10")) 
181
182 (deftest :fdml/execute-command/1
183     (values
184      (clsql:table-exists-p [foo] :owner *test-database-user*)
185      (progn
186        (clsql:execute-command "create table foo (bar integer)")
187        (clsql:table-exists-p [foo] :owner *test-database-user*))
188      (progn
189        (clsql:execute-command "drop table foo")
190        (clsql:table-exists-p [foo] :owner *test-database-user*)))
191   nil t nil)
192
193
194 ;; compare min, max and average hieghts in inches (they're quite short
195 ;; these guys!) 
196 (deftest :fdml/select/1
197     (let ((max (clsql:select [function "floor"
198                              [/ [* [max [height]] 100] 2.54]]
199                              :from [employee]
200                              :result-types nil 
201                              :flatp t))
202           (min (clsql:select [function "floor"
203                              [/ [* [min [height]] 100] 2.54]]
204                              :from [employee]
205                              :result-types nil 
206                              :flatp t))
207           (avg (clsql:select [function "floor"
208                              [avg [/ [* [height] 100] 2.54]]]
209                              :from [employee]
210                              :result-types nil 
211                              :flatp t)))
212       (apply #'< (mapcar #'(lambda (s) (parse-integer s :junk-allowed t))
213                          (append min avg max))))
214  t)
215
216 (deftest :fdml/select/2
217  (clsql:select [first-name] :from [employee] :flatp t :distinct t
218                             :field-names nil 
219                             :result-types nil 
220                             :order-by [first-name])
221  ("Boris" "Josef" "Konstantin" "Leon" "Leonid" "Mikhail" "Nikita" "Vladamir"
222   "Yuri"))
223
224 (deftest :fdml/select/3
225     (clsql:select [first-name] [count [*]] :from [employee]
226                           :result-types nil 
227                           :group-by [first-name]
228                           :order-by [first-name]
229                           :field-names nil)
230  (("Boris" "1") ("Josef" "1") ("Konstantin" "1") ("Leon" "1") ("Leonid" "1")
231   ("Mikhail" "1") ("Nikita" "1") ("Vladamir" "2") ("Yuri" "1")))
232
233 (deftest :fdml/select/4
234     (clsql:select [last-name] :from [employee] 
235                           :where [like [email] "%org"]
236                           :order-by [last-name]
237                           :field-names nil 
238                           :result-types nil 
239                           :flatp t)
240  ("Andropov" "Brezhnev" "Chernenko" "Gorbachev" "Kruschev" "Lenin" "Putin"
241   "Stalin" "Trotsky" "Yeltsin"))
242
243 (deftest :fdml/select/5
244     (clsql:select [email] :from [employee] :flatp t :result-types nil 
245                           :where [in [employee emplid]
246                           [select [managerid] :from [employee]]]
247                           :field-names nil)
248   ("lenin@soviet.org"))
249
250 (deftest :fdml/select/6
251     (if (clsql-sys:db-type-has-fancy-math? *test-database-underlying-type*)
252         (mapcar #'(lambda (s) (parse-integer s :junk-allowed t))
253                 (clsql:select [function "trunc" [height]] :from [employee]
254                               :result-types nil 
255                               :field-names nil
256                               :flatp t))
257         (mapcar #'(lambda (s) (truncate (parse-integer s :junk-allowed t)))
258                 (clsql:select [height] :from [employee] :flatp t 
259                               :field-names nil :result-types nil)))
260  (1 1 1 1 1 1 1 1 1 1))
261
262 (deftest :fdml/select/7
263     (clsql:select [max [emplid]] :from [employee] :flatp t 
264                   :field-names nil :result-types nil)
265   ("10"))
266
267 (deftest :fdml/select/8
268     (clsql:select [min [emplid]] :from [employee] :flatp t 
269                   :field-names nil :result-types nil)
270   ("1"))
271
272 (deftest :fdml/select/9
273     (subseq 
274      (car 
275       (clsql:select [avg [emplid]] :from [employee] :flatp t 
276                     :field-names nil :result-types nil)) 
277      0 3)
278   "5.5")
279
280 (deftest :fdml/select/10
281     (clsql:select [last-name] :from [employee]
282                   :where [not [in [emplid]
283                   [select [managerid] :from [company]]]]
284                   :result-types nil 
285                   :field-names nil 
286                   :flatp t
287                   :order-by [last-name])
288  ("Andropov" "Brezhnev" "Chernenko" "Gorbachev" "Kruschev" "Putin" "Stalin"
289   "Trotsky" "Yeltsin"))
290
291 (deftest :fdml/select/11
292     (clsql:select [last-name] :from [employee] :where [married] :flatp t
293                   :field-names nil :order-by [emplid] :result-types nil)
294   ("Lenin" "Stalin" "Trotsky"))
295
296 (deftest :fdml/select/12
297     (let ((v 1))
298       (clsql:select [last-name] :from [employee] :where [= [emplid] v]
299                     :field-names nil :result-types nil))
300   (("Lenin")))
301
302 (deftest :fdml/select/13
303      (multiple-value-bind (results field-names) 
304          (clsql:select [emplid] [last-name] :from [employee] 
305                        :where [= [emplid] 1])
306        (values results (mapcar #'string-downcase field-names)))
307  ((1 "Lenin"))
308  ("emplid" "last_name"))
309
310 (deftest :fdml/select/14
311      (floatp (car (clsql:select [height] :from [employee] :where [= [emplid] 1] 
312                                 :flatp t)))
313   t)
314
315 (deftest :fdml/select/15
316     (multiple-value-bind (rows field-names)
317         (clsql:select [addressid] [street-number] [street-name] [city_field] [zip] 
318          :from [addr]
319          :where [= 1 [addressid]])
320       (values
321        rows
322        (mapcar #'string-downcase field-names)))
323   ((1 10 "Park Place" "Leningrad" 123))
324   ("addressid" "street_number" "street_name" "city_field" "zip"))
325
326 (deftest :fdml/select/16
327     (clsql:select [emplid] :from [employee] :where [= 1 [emplid]]
328      :field-names nil)
329   ((1)))
330
331 (deftest :fdml/select/17
332     (clsql:select [emplid] [last-name] :from [employee] :where [= 1 [emplid]]
333      :field-names nil)
334   ((1 "Lenin")))
335
336 (deftest :fdml/select/18
337     (clsql:select [emplid :string] [last-name] :from [employee] :where [= 1 [emplid]]
338      :field-names nil)
339   (("1" "Lenin")))
340
341 (deftest :fdml/select/19
342     (clsql:select [emplid] :from [employee] :order-by [emplid] 
343                            :where [between [* [emplid] 10] [* 5 10] [* 10 10]]
344                            :field-names nil :result-types nil :flatp t)
345  ("5" "6" "7" "8" "9" "10"))
346
347 (deftest :fdml/select/20
348     (clsql:select [emplid] :from [employee] :order-by [emplid] 
349                            :where [not [between [* [emplid] 10] [* 5 10] [* 10 10]]]
350                            :field-names nil :result-types nil :flatp t)
351  ("1" "2" "3" "4"))
352
353 (deftest :fdml/select/21 
354   (clsql:select [substr [first-name] 1 4] :from [employee] 
355                 :flatp t :order-by [emplid] :field-names nil)
356  ("Vlad" "Jose" "Leon" "Niki" "Leon" "Yuri" "Kons" "Mikh" "Bori" "Vlad"))
357
358 (deftest :fdml/select/22 
359   (clsql:select [\|\| [first-name] " " [last-name]] :from [employee]
360                 :flatp t :order-by [emplid] :field-names nil)
361  ("Vladamir Lenin" "Josef Stalin" "Leon Trotsky" "Nikita Kruschev"
362  "Leonid Brezhnev" "Yuri Andropov" "Konstantin Chernenko" "Mikhail Gorbachev"
363  "Boris Yeltsin" "Vladamir Putin"))
364
365 (deftest :fdml/select/23
366  (clsql:select [emplid] :from [employee] :where [in [emplid] '(1 2 3 4)]
367                         :flatp t :order-by [emplid] :field-names nil
368                         :result-types nil)
369  ("1" "2" "3" "4"))
370
371 (deftest :fdml/select/24
372  (clsql:select [distinct [first-name]] :from [employee] :flatp t
373                :order-by [first-name] :field-names nil :result-types nil)
374  ("Boris" "Josef" "Konstantin" "Leon" "Leonid" "Mikhail" "Nikita" "Vladamir"
375   "Yuri"))
376
377 ;(deftest :fdml/select/11
378 ;    (clsql:select [emplid] :from [employee]
379 ;                :where [= [emplid] [any [select [companyid] :from [company]]]]
380 ;                :flatp t)
381 ;  ("1"))
382
383 (deftest :fdml/do-query/1
384     (let ((result '()))
385     (clsql:do-query ((name) [select [last-name] :from [employee]
386                                    :order-by [last-name]])
387       (push name result))
388     result)
389  ("Yeltsin" "Trotsky" "Stalin" "Putin" "Lenin" "Kruschev" "Gorbachev"
390             "Chernenko" "Brezhnev" "Andropov")) 
391
392 (deftest :fdml/map-query/1
393     (clsql:map-query 'list #'identity
394                     [select [last-name] :from [employee] :flatp t
395                             :order-by [last-name]])
396   ("Andropov" "Brezhnev" "Chernenko" "Gorbachev" "Kruschev" "Lenin" "Putin"
397               "Stalin" "Trotsky" "Yeltsin"))
398
399 (deftest :fdml/map-query/2
400     (clsql:map-query 'vector #'identity
401                     [select [last-name] :from [employee] :flatp t
402                             :order-by [last-name]])
403   #("Andropov" "Brezhnev" "Chernenko" "Gorbachev" "Kruschev" "Lenin" "Putin"
404     "Stalin" "Trotsky" "Yeltsin"))
405   
406 (deftest :fdml/loop/1
407     (loop for (forename surname)
408       being each tuple in
409       [select [first-name] [last-name] :from [employee] :order-by [last-name]]
410       collect (concatenate 'string forename " " surname))
411   ("Yuri Andropov" "Leonid Brezhnev" "Konstantin Chernenko" "Mikhail Gorbachev"
412                    "Nikita Kruschev" "Vladamir Lenin" "Vladamir Putin"
413    "Josef Stalin" "Leon Trotsky" "Boris Yeltsin"))
414
415 (deftest :fdml/loop/2
416     (loop for (addressid)
417       being each tuple in
418       [select [addressid] :from [addr] :order-by [addressid]]
419      collect addressid)
420   (1 2))
421
422 (deftest :fdml/loop/3
423     (loop for addressid
424       being each tuple in
425       [select [addressid] :from [addr] :order-by [addressid]]
426       collect addressid)
427   (1 2))
428
429 ;; starts a transaction deletes a record and then rolls back the deletion 
430 (deftest :fdml/transaction/1
431     (let ((results '()))
432       ;; test if we are in a transaction
433       (push (clsql:in-transaction-p) results)
434       ;;start a transaction 
435       (clsql:start-transaction)
436       ;; test if we are in a transaction
437       (push (clsql:in-transaction-p) results)
438       ;;Putin has got to go
439       (clsql:delete-records :from [employee] :where [= [last-name] "Putin"])
440       ;;Should be nil 
441       (push 
442        (clsql:select [*] :from [employee] :where [= [last-name] "Putin"])
443        results)
444       ;;Oh no, he's still there
445       (clsql:rollback)
446       ;; test that we are out of the transaction
447       (push (clsql:in-transaction-p) results)
448       ;; Check that we got him back alright 
449       (push (clsql:select [email] :from [employee] :where [= [last-name] "Putin"]
450                          :flatp t)
451             results)
452       (apply #'values (nreverse results)))
453   nil t nil nil ("putin@soviet.org"))
454
455 ;; starts a transaction, updates a record and then rolls back the update
456 (deftest :fdml/transaction/2
457     (let ((results '()))
458       ;; test if we are in a transaction
459       (push (clsql:in-transaction-p) results)
460       ;;start a transaction 
461       (clsql:start-transaction)
462       ;; test if we are in a transaction
463       (push (clsql:in-transaction-p) results)
464       ;;Putin has got to go
465       (clsql:update-records [employee]
466        :av-pairs '((email "putin-nospam@soviet.org"))
467        :where [= [last-name] "Putin"])
468       ;;Should be new value  
469       (push (clsql:select [email] :from [employee]
470                          :where [= [last-name] "Putin"]
471                          :flatp t)
472             results)
473       ;;Oh no, he's still there
474       (clsql:rollback)
475       ;; test that we are out of the transaction
476       (push (clsql:in-transaction-p) results)
477       ;; Check that we got him back alright 
478       (push (clsql:select [email] :from [employee] :where [= [last-name] "Putin"]
479                          :flatp t)
480             results)
481       (apply #'values (nreverse results)))
482   nil t ("putin-nospam@soviet.org") nil ("putin@soviet.org")) 
483
484 ;; runs an update within a transaction and checks it is committed
485 (deftest :fdml/transaction/3
486     (let ((results '()))
487       ;; check status 
488       (push (clsql:in-transaction-p) results)
489       ;; update records 
490       (push
491        (clsql:with-transaction () 
492          (clsql:update-records [employee] 
493                               :av-pairs '((email "lenin-nospam@soviet.org"))
494                               :where [= [emplid] 1]))
495        results)
496       ;; check status 
497       (push (clsql:in-transaction-p) results)
498       ;; check that was committed 
499       (push (clsql:select [email] :from [employee] :where [= [emplid] 1]
500                          :flatp t)
501             results)
502       ;; undo the changes 
503       (push
504        (clsql:with-transaction () 
505          (clsql:update-records [employee] 
506                               :av-pairs '((email "lenin@soviet.org"))
507                               :where [= [emplid] 1]))
508        results)
509       ;; and check status 
510       (push (clsql:in-transaction-p) results)
511       ;; check that was committed 
512       (push (clsql:select [email] :from [employee] :where [= [emplid] 1]
513                          :flatp t)
514             results)
515       (apply #'values (nreverse results)))
516   nil :committed nil ("lenin-nospam@soviet.org") :committed
517   nil ("lenin@soviet.org"))
518
519 ;; runs a valid update and an invalid one within a transaction and checks
520 ;; that the valid update is rolled back when the invalid one fails. 
521 (deftest :fdml/transaction/4
522     (let ((results '()))
523       ;; check status
524       (push (clsql:in-transaction-p) results)
525       (handler-case 
526           (clsql:with-transaction () 
527             ;; valid update
528             (clsql:update-records [employee] 
529                                   :av-pairs '((email "lenin-nospam@soviet.org"))
530                                   :where [= [emplid] 1])
531             ;; invalid update which generates an error 
532             (clsql:update-records [employee] 
533                                   :av-pairs
534                                   '((emale "lenin-nospam@soviet.org"))
535                                   :where [= [emplid] 1]))
536         (clsql:clsql-error ()
537           (progn
538             ;; check status 
539             (push (clsql:in-transaction-p) results)
540             ;; and check nothing done 
541             (push (clsql:select [email] :from [employee] :where [= [emplid] 1]
542                                :flatp t)
543                   results)
544             (apply #'values (nreverse results))))))
545   nil nil ("lenin@soviet.org"))
546
547 ))
548
549 #.(clsql:restore-sql-reader-syntax-state)