3b84d95bd7e19badc6048e7ec726150ff8e13558
[clsql.git] / base / db-interface.lisp
1 ;;;; -*- Mode: LISP; Syntax: ANSI-Common-Lisp; Base: 10 -*-
2 ;;;; *************************************************************************
3 ;;;; FILE IDENTIFICATION
4 ;;;;
5 ;;;; Name:          db-interface.lisp
6 ;;;; Purpose:       Generic function definitions for DB interfaces
7 ;;;; Programmers:   Kevin M. Rosenberg based on
8 ;;;;                Original code by Pierre R. Mai. Additions from
9 ;;;;                onShoreD to support UncommonSQL front-end 
10 ;;;; Date Started:  Feb 2002
11 ;;;;
12 ;;;; $Id$
13 ;;;;
14 ;;;; This file, part of CLSQL, is Copyright (c) 2002-2004 by Kevin M. Rosenberg
15 ;;;; and Copyright (c) 1999-2001 by Pierre R. Mai, and onShoreD
16 ;;;;
17 ;;;; CLSQL users are granted the rights to distribute and use this software
18 ;;;; as governed by the terms of the Lisp Lesser GNU Public License
19 ;;;; (http://opensource.franz.com/preamble.html), also known as the LLGPL.
20 ;;;; *************************************************************************
21
22 (in-package #:clsql-base-sys)
23
24 (defgeneric database-type-load-foreign (database-type)
25   (:documentation
26    "The internal generic implementation of reload-database-types."))
27
28 (defgeneric database-type-library-loaded (database-type)
29   (:documentation
30    "The internal generic implementation for checking if
31 database type library loaded successfully."))
32
33 (defgeneric database-initialize-database-type (database-type)
34   (:documentation
35    "The internal generic implementation of initialize-database-type."))
36
37 (defgeneric database-name-from-spec (connection-spec database-type)
38   (:documentation
39    "Returns the name of the database that would be created if connect
40 was called with the connection-spec."))
41
42 (defgeneric database-connect (connection-spec database-type)
43   (:documentation "Internal generic implementation of connect."))
44
45 (defgeneric database-reconnect (database)
46   (:method ((database t))
47            (signal-no-database-error database))
48   (:documentation "Internal generic implementation of reconnect."))
49
50 (defgeneric database-disconnect (database)
51   (:method ((database t))
52            (signal-no-database-error database))
53   (:documentation "Internal generic implementation of disconnect."))
54
55 (defgeneric database-query (query-expression database result-types field-names)
56   (:method (query-expression (database t) result-types field-names)
57            (declare (ignore query-expression result-types field-names))
58            (signal-no-database-error database))
59   (:documentation "Internal generic implementation of query."))
60
61
62 (defgeneric database-execute-command (sql-expression database)
63   (:method (sql-expression (database t))
64            (declare (ignore sql-expression))
65            (signal-no-database-error database))
66   (:documentation "Internal generic implementation of execute-command."))
67
68 ;;; Mapping and iteration
69 (defgeneric database-query-result-set
70     (query-expression database &key full-set result-types)
71   (:method (query-expression (database t) &key full-set result-types)
72            (declare (ignore query-expression full-set result-types))
73            (signal-no-database-error database)
74            (values nil nil nil))
75   (:documentation
76    "Internal generic implementation of query mapping.  Starts the
77 query specified by query-expression on the given database and returns
78 a result-set to be used with database-store-next-row and
79 database-dump-result-set to access the returned data.  The second
80 value is the number of columns in the result-set, if there are any.
81 If full-set is true, the number of rows in the result-set is returned
82 as a third value, if this is possible (otherwise nil is returned for
83 the third value).  This might have memory and resource usage
84 implications, since many databases will require the query to be
85 executed in full to answer this question.  If the query produced no
86 results then nil is returned for all values that would have been
87 returned otherwise.  If an error occurs during query execution, the
88 function should signal a clsql-sql-error."))
89
90 (defgeneric database-dump-result-set (result-set database)
91   (:method (result-set (database t))
92            (declare (ignore result-set))
93            (signal-no-database-error database))
94   (:documentation "Dumps the received result-set."))
95
96 (defgeneric database-store-next-row (result-set database list)
97   (:method (result-set (database t) list)
98            (declare (ignore result-set list))
99            (signal-no-database-error database))
100   (:documentation
101    "Returns t and stores the next row in the result set in list or
102 returns nil when result-set is finished."))
103
104 (defgeneric database-create (connection-spec type)
105   (:documentation
106    "Creates a database, returns T if successfull or signals an error."))
107
108 (defgeneric database-probe (connection-spec type)
109   (:method (spec type)
110     (declare (ignore spec))
111     (warn "database-proe not support for database-type ~A." type))
112   (:documentation
113    "Probes for the existence of a database, returns T if database found or NIL 
114 if not found. May signal an error if unable to communicate with database server."))
115
116 (defgeneric database-list (connection-spec type)
117   (:method (spec type)
118     (declare (ignore spec))
119     (warn "database-list not support for database-type ~A." type))
120   (:documentation
121    "Lists all databases found for TYPE. May signal an error if unable to communicate with database server."))
122
123 (defgeneric database-destroy (connection-spec database)
124   (:documentation "Destroys (drops) a database."))
125
126 (defgeneric database-truncate (database)
127   (:method ((database t))
128     (signal-no-database-error database))
129   (:documentation "Remove all data from database."))
130
131 (defgeneric database-describe-table (database table)
132   (:method ((database t) table)
133     (declare (ignore table))
134     (signal-no-database-error database))
135   (:documentation "Return a list of name/type for columns in table"))
136
137 (defgeneric database-destory (connection-spec type)
138   (:documentation
139    "Destroys a database, returns T if successfull or signals an error
140 if unable to destory."))
141
142 (defgeneric database-create-sequence (name database)
143   (:documentation "Create a sequence in DATABASE."))
144
145 (defgeneric database-drop-sequence (name database)
146   (:documentation "Drop a sequence from DATABASE."))
147
148 (defgeneric database-sequence-next (name database)
149   (:documentation "Increment a sequence in DATABASE."))
150
151 (defgeneric database-list-sequences (database &key owner)
152   (:documentation "List all sequences in DATABASE."))
153
154 (defgeneric database-set-sequence-position (name position database)
155   (:documentation "Set the position of the sequence called NAME in DATABASE."))
156
157 (defgeneric database-sequence-last (name database)
158   (:documentation "Select the last value in sequence NAME in DATABASE."))
159
160 (defgeneric database-start-transaction (database)
161   (:documentation "Start a transaction in DATABASE."))
162
163 (defgeneric database-commit-transaction (database)
164   (:documentation "Commit current transaction in DATABASE."))
165
166 (defgeneric database-abort-transaction (database)
167   (:documentation "Abort current transaction in DATABASE."))
168
169 (defgeneric database-get-type-specifier (type args database)
170   (:documentation "Return the type SQL type specifier as a string, for
171 the given lisp type and parameters."))
172
173 (defgeneric database-list-tables (database &key owner)
174   (:documentation "List all tables in the given database"))
175  
176 (defgeneric database-list-views (database &key owner)
177   (:documentation "List all views in the DATABASE."))
178
179 (defgeneric database-list-indexes (database &key owner)
180   (:documentation "List all indexes in the DATABASE."))
181
182 (defgeneric database-list-table-indexes (table database &key owner)
183   (:documentation "List all indexes for a table in the DATABASE."))
184
185 (defgeneric database-list-attributes (table database &key owner)
186   (:documentation "List all attributes in TABLE."))
187
188 (defgeneric database-attribute-type (attribute table database &key owner)
189   (:documentation "Return the type of ATTRIBUTE in TABLE. Returns multiple values
190 of TYPE_NAME (keyword) PRECISION SCALE NULLABLE."))
191
192 (defgeneric database-add-attribute (table attribute database)
193   (:documentation "Add the attribute to the table."))
194
195 (defgeneric database-rename-attribute (table oldatt newname database)
196   (:documentation "Rename the attribute in the table to NEWNAME."))
197
198 (defgeneric oid (object)
199   (:documentation "Return the unique ID of a database object."))
200
201 ;;; Database backend capabilities
202
203 (defgeneric database-underlying-type (database)
204   (:method (database)
205     (database-type database))
206   (:documentation "Returns the type of the underlying database. For ODBC, needs to query ODBC driver."))
207
208 (defgeneric db-type-use-column-on-drop-index? (db-type)
209   (:method (db-type)
210            (declare (ignore db-type))
211            nil)
212   (:documentation "NIL [default] if database-type does not use column name on DROP INDEX."))
213
214 (defgeneric db-type-has-views? (db-type)
215   (:method (db-type)
216            (declare (ignore db-type))
217            ;; SQL92 has views
218            t)
219   (:documentation "T [default] if database-type supports views."))
220
221 (defgeneric db-type-default-case (db-type)
222   (:method (db-type)
223            (declare (ignore db-type))
224            ;; By default, CommonSQL converts identifiers to UPPER case. 
225            :upper)
226   (:documentation ":upper [default] if means identifiers mapped to UPPER case SQL like CommonSQL API. However, Postgresql maps identifiers to lower case, so PostgreSQL uses a value of :lower for this result."))
227
228 (defgeneric db-type-has-fancy-math? (db-type)
229   (:method (db-type)
230            (declare (ignore db-type))
231            nil)
232   (:documentation "NIL [default] if database-type does not have fancy math."))
233
234 (defgeneric db-type-has-subqueries? (db-type)
235   (:method (db-type)
236            (declare (ignore db-type))
237            t)
238   (:documentation "T [default] if database-type supports views."))
239
240 (defgeneric db-type-has-boolean-where? (db-type)
241   (:method (db-type)
242            (declare (ignore db-type))
243            ;; SQL99 has boolean where
244            t)
245   (:documentation "T [default] if database-type supports boolean WHERE clause, such as 'WHERE MARRIED'."))
246
247 (defgeneric db-backend-has-create/destroy-db? (db-type)
248   (:method (db-type)
249            (declare (ignore db-type))
250            t)
251   (:documentation "T [default] if backend can destroy and create databases."))
252
253 (defgeneric db-type-transaction-capable? (db database)
254   (:method (db database)
255            (declare (ignore db database))
256            t)
257   (:documentation "T [default] if database can supports transactions."))
258
259 ;;; Large objects support (Marc Battyani)
260
261 (defgeneric database-create-large-object (database)
262   (:documentation "Creates a new large object in the database and returns the object identifier"))
263
264 (defgeneric database-write-large-object (object-id data database)
265   (:documentation "Writes data to the large object"))
266
267 (defgeneric database-read-large-object (object-id database)
268   (:documentation "Reads the large object content"))
269
270 (defgeneric database-delete-large-object (object-id database)
271   (:documentation "Deletes the large object in the database"))
272
273
274 ;; Checks for closed database
275
276 (defmethod database-disconnect :before ((database database))
277   (unless (is-database-open database)
278     (signal-closed-database-error database)))
279
280 (defmethod database-query :before (query-expression (database database) 
281                                    result-set field-names)
282   (declare (ignore query-expression result-set field-names))
283   (unless (is-database-open database)
284     (signal-closed-database-error database)))
285
286 (defmethod database-execute-command :before (sql-expression (database database))
287   (declare (ignore sql-expression))
288   (unless (is-database-open database)
289     (signal-closed-database-error database)))
290
291 (defmethod database-query-result-set :before (expr (database database)
292                                             &key full-set result-types)
293   (declare (ignore expr full-set result-types))
294   (unless (is-database-open database)
295     (signal-closed-database-error database)))
296
297 (defmethod database-dump-result-set :before (result-set (database database))
298   (declare (ignore result-set))
299   (unless (is-database-open database)
300     (signal-closed-database-error database)))
301  
302 (defmethod database-store-next-row :before (result-set (database database) list)
303   (declare (ignore result-set list))
304   (unless (is-database-open database)
305     (signal-closed-database-error database)))
306
307 (defmethod database-commit-transaction :before ((database database))
308   (unless (is-database-open database)
309     (signal-closed-database-error database)))
310
311 (defmethod database-start-transaction :before ((database database))
312   (unless (is-database-open database)
313     (signal-closed-database-error database)))
314
315 (defmethod database-abort-transaction :before ((database database))
316   (unless (is-database-open database)
317     (signal-closed-database-error database)))
318
319 (defgeneric describe-table (table &key database)
320   (:documentation "Describes a table, returns a list of name/type for columns in table"))
321