Commit Graph

425 Commits

Author SHA1 Message Date
Kei Hibino
5cc1eac890 Renamed.
--HG--
rename : relational-join-HDBC-pgTest/example/1/querySample.hs => relational-join-HDBC-pgTest/example/1/queryExample.hs
2013-06-26 12:36:20 +09:00
Kei Hibino
571b3b0e46 Update example. 2013-06-26 12:35:03 +09:00
Kei Hibino
50575c3c5e Add document of typed HDBC query sequence. Update fetchUnique. 2013-06-26 11:48:44 +09:00
Kei Hibino
e2fffab5bb Remove unused definitions from example. 2013-06-22 17:58:27 +09:00
Kei Hibino
dc67b4ce56 Merged. 2013-06-22 17:56:28 +09:00
Kei Hibino
e6e0641d84 Merged. 2013-06-22 17:51:02 +09:00
Shohei Murayama
3235a1aca1 created a memorandum 2013-06-22 17:34:26 +09:00
Kei Hibino
3d8e11c147 Renamed into just package name.
--HG--
rename : session/GNUmakefile => HDBC-session/GNUmakefile
rename : session/HDBC-session.cabal => HDBC-session/HDBC-session.cabal
rename : session/LICENSE => HDBC-session/LICENSE
rename : session/Setup.hs => HDBC-session/Setup.hs
rename : session/debian/changelog => HDBC-session/debian/changelog
rename : session/debian/compat => HDBC-session/debian/compat
rename : session/debian/control => HDBC-session/debian/control
rename : session/debian/copyright => HDBC-session/debian/copyright
rename : session/debian/rules => HDBC-session/debian/rules
rename : session/debian/source/format => HDBC-session/debian/source/format
rename : session/debian/watch => HDBC-session/debian/watch
rename : session/src/Database/HDBC/Session.hs => HDBC-session/src/Database/HDBC/Session.hs
2013-06-22 17:26:44 +09:00
Kazu Yamamoto
09e70f68be removing unnecesary scripts. 2013-06-22 17:12:06 +09:00
Kei Hibino
bad52df2f4 Add document of typed HDBC query. 2013-06-22 17:12:03 +09:00
Kei Hibino
303538cead Renamed.
--HG--
rename : relational-join-HDBC-pgTest/sample/1/Group.hs => relational-join-HDBC-pgTest/example/1/Group.hs
rename : relational-join-HDBC-pgTest/sample/1/Membership.hs => relational-join-HDBC-pgTest/example/1/Membership.hs
rename : relational-join-HDBC-pgTest/sample/1/README => relational-join-HDBC-pgTest/example/1/README
rename : relational-join-HDBC-pgTest/sample/1/User.hs => relational-join-HDBC-pgTest/example/1/User.hs
rename : relational-join-HDBC-pgTest/sample/1/create.sh => relational-join-HDBC-pgTest/example/1/create.sh
rename : relational-join-HDBC-pgTest/sample/1/drop.sh => relational-join-HDBC-pgTest/example/1/drop.sh
rename : relational-join-HDBC-pgTest/sample/1/querySample.hs => relational-join-HDBC-pgTest/example/1/querySample.hs
2013-06-22 15:13:31 +09:00
Kei Hibino
e0148189e9 Update readme. 2013-06-22 14:50:38 +09:00
Kei Hibino
d0cf2e1af4 Merge pull request. 2013-06-22 14:39:41 +09:00
Kei Hibino
c8db57fb13 Rename local variable. 2013-06-22 14:38:43 +09:00
Kei Hibino
ef9641ee02 Add document of schema driver interface via HDBC. 2013-06-22 14:33:18 +09:00
Kei Hibino
1a9f3451e8 Add document of system catalog queries. 2013-06-22 00:13:05 +09:00
Kei Hibino
1bd5f12fe8 Update compile error message. 2013-06-21 23:45:56 +09:00
Kei Hibino
94748cdd14 Add document of functions to query IBM DB2 system catalogs. 2013-06-21 23:38:22 +09:00
Kei Hibino
3d45923972 Update session to call rollback before disconnect using nested bracket. 2013-06-21 22:32:28 +09:00
Kei Hibino
69c2c38bf0 Add document of TH functions for relational-join. 2013-06-21 21:05:11 +09:00
Kei Hibino
5675a52397 Update document of projection operators. 2013-06-21 20:09:08 +09:00
Kei Hibino
de98c15757 Fix around placeholders with direct style join and update examples. 2013-06-21 20:00:57 +09:00
Kazu Yamamoto
cb9aaebfba updating README. 2013-06-21 15:28:57 +09:00
Kazu Yamamoto
6b7dc701d4 removing PATH setting.
"psql" may not exist in /usr/bin and /bin.
2013-06-21 15:26:28 +09:00
Kei Hibino
b2791a8274 Add little comments to examples. 2013-06-20 17:02:38 +09:00
Kei Hibino
cbd5cd0221 Now, TH functions of relational-join can deal with composite keys! 2013-06-20 15:59:35 +09:00
Kei Hibino
8849a2148a Now, defaultly import Record.Instances from Query.TH. 2013-06-20 15:22:13 +09:00
Kei Hibino
9c3fc4a3f7 Add fixities for binary operators. 2013-06-20 14:39:01 +09:00
Kei Hibino
7825f315d6 Add zipping of projection path. 2013-06-20 14:37:23 +09:00
Kei Hibino
34e0e5397d Derivation of typed update from composite key. 2013-06-20 13:38:17 +09:00
Kei Hibino
5973d9b44e Export update value indexes logic. 2013-06-20 12:02:25 +09:00
Kei Hibino
dd88fcbd23 Query derivation from specified key. 2013-06-20 10:54:09 +09:00
Kei Hibino
46eee4d62a Extend constraint key into composite key. 2013-06-20 02:54:05 +09:00
Kei Hibino
65f828cb84 Update TH function for primary composite key constraint. 2013-06-20 00:21:59 +09:00
Kei Hibino
f178f4d2e4 Weaken too strong inference rules. 2013-06-19 22:58:00 +09:00
Kei Hibino
c2973410bf Add TH functions for compsite key table constraints. 2013-06-19 20:17:18 +09:00
Kei Hibino
d5dd5949de Export composite key constraint type class. 2013-06-19 20:06:11 +09:00
Kei Hibino
e8c151435c Weaken constraint for updateValues. 2013-06-19 19:52:38 +09:00
Kei Hibino
9d1356756d Add inference rules for composite keys. 2013-06-19 19:45:03 +09:00
Kei Hibino
a88047dfff Rename function which infers ColumnConstraint proof object. 2013-06-19 18:27:29 +09:00
Kei Hibino
71782668da Add table constraint generalized into composite key. 2013-06-18 18:11:16 +09:00
Kei Hibino
b4502d8c29 Rename constraint derivation rules. 2013-06-18 17:05:39 +09:00
Kei Hibino
d53bb7d5e3 Bugfix. Weaken too strong derivation and inference rule. 2013-06-18 16:44:42 +09:00
Kei Hibino
7df39bb462 Rename constraint type. (SingleKeyConstraint --> ColumnsConstraint) 2013-06-18 16:25:40 +09:00
Kei Hibino
2104640882 Rename table constraint type names. 2013-06-18 10:07:33 +09:00
Kei Hibino
a51358665f Renamed KeyConstraint --> SingleKeyConstraint. 2013-06-14 00:22:17 +09:00
Kei Hibino
d75ae7bd84 Weaken constraints along with projection path structure update. 2013-06-13 18:54:50 +09:00
Kei Hibino
25fc0b46ad Update projection path structure to prepare representing composite key. 2013-06-13 18:43:57 +09:00
Kei Hibino
57333c1001 Add header document of templates to generate base Query. 2013-06-12 18:13:00 +09:00
Kei Hibino
2c13f6f2f5 Add document for type class methods. 2013-06-12 17:23:14 +09:00