Created
November 11, 2010 03:00
-
-
Save jutememo/671916 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// 人 | |
var persons base | |
relation { p_id integer | |
, p_name character | |
, p_gender integer | |
, p_age integer} | |
key {p_id}; | |
persons := | |
relation{ | |
tuple { p_id 1, p_name "Tarou", p_gender 1, p_age 10 }, | |
tuple { p_id 2, p_name "Hanako", p_gender 2, p_age 20 }, | |
tuple { p_id 3, p_name "Jirou", p_gender 1, p_age 30 }, | |
tuple { p_id 4, p_name "Saburou", p_gender 1, p_age 40 }, | |
tuple { p_id 5, p_name "Akemi", p_gender 2, p_age 8 }, | |
tuple { p_id 6, p_name "Sadayo", p_gender 2, p_age 70 }, | |
tuple { p_id 7, p_name "Hiroko", p_gender 2, p_age 15 }}; | |
// グループ | |
var groups base | |
relation { g_id integer | |
, g_name character } | |
key {g_id}; | |
groups := | |
relation { | |
tuple { g_id 1, g_name "Matu" }, | |
tuple { g_id 2, g_name "Take" }, | |
tuple { g_id 3, g_name "Ume" }}; | |
// 割当て | |
var assignments base | |
relation { a_id integer | |
, a_p_id integer | |
, a_g_id integer | |
, a_date character } | |
key {a_id}; | |
assignments := | |
relation { | |
tuple { a_id 1, a_p_id 1, a_g_id 1, a_date "2010/04/01" }, | |
tuple { a_id 2, a_p_id 2, a_g_id 1, a_date "2009/09/01" }, | |
tuple { a_id 3, a_p_id 3, a_g_id 2, a_date "2010/04/01" }, | |
tuple { a_id 4, a_p_id 1, a_g_id 2, a_date "2010/05/01" }, | |
tuple { a_id 5, a_p_id 1, a_g_id 3, a_date "2011/04/01" }}; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment