Commit Graph

416 Commits

Author SHA1 Message Date
Shohei Murayama
3235a1aca1 created a memorandum 2013-06-22 17:34:26 +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
Kei Hibino
f9af8930c7 Add header document of integrated Query module. 2013-06-12 16:45:15 +09:00
Kei Hibino
5f9ed8a387 Add document of typed SQLs derived from type informations. 2013-06-12 16:39:08 +09:00
Kei Hibino
8289ff2394 Add document of Query type. 2013-06-12 16:11:37 +09:00
Kei Hibino
b9da1347d0 Add document about Relation type. 2013-06-12 15:55:56 +09:00
Kei Hibino
1e679312ba Update css. 2013-06-12 15:54:34 +09:00
Kei Hibino
0852793629 Add document of AggregatedQuery. 2013-06-12 13:42:32 +09:00
Kei Hibino
1d7701435a Add document of SimpleQuery. 2013-06-11 20:54:29 +09:00
Kei Hibino
a4bfeffd3c Add document of QueryCore monad. 2013-06-11 20:42:46 +09:00
Kei Hibino
1a574fb09f Add document of QueryJoin monad transformer. 2013-06-11 20:34:53 +09:00