home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tdbbenchmark.mail < prev    next >
Internet Message Format  |  1994-06-20  |  167KB

  1. From rts  Thu Jun 24 09:52:25 1993
  2. Received: from boojum.CS.Arizona.EDU by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  3.     id AA10782; Thu, 24 Jun 1993 09:52:26 MST
  4. Date: Thu, 24 Jun 1993 09:52:25 MST
  5. From: "Rick Snodgrass" <rts>
  6. Message-Id: <199306241652.AA03122@boojum.cs.arizona.edu>
  7. Received: by boojum.cs.arizona.edu; Thu, 24 Jun 1993 09:52:25 MST
  8. To: tdbbenchmark@cs.arizona.edu
  9. Subject: tdbbenchmark mailing list
  10.  
  11.           Temporal Database Benchmark (tdbbenchmark)
  12.                 Mailing List
  13.  
  14. Welcome to the Temporal Database Benchmark mailing list. We have added
  15. your name to this mailing list.
  16.  
  17. This mailing list is meant to be a forum for discussing temporal
  18. database benchmarks. Various versions of a "semantic benchmark," to be
  19. used to evaluate the user friendliness of proposed temporal query
  20. languages, have appeared, including the May 10 version of the
  21. benchmark, containing tasks 1-3, and the June 11 version of the
  22. benchmark, which was presented at the temporal DB workshop held in
  23. Arlington, Texas.
  24.  
  25. At that meeting, it was decided that Professor Christian S. Jensen
  26. would head up an effort to complete the semantic benchmark (probably
  27. under a different title). However, this mailing list is open to
  28. anyone.
  29.  
  30. Items of interest should be mailed to "tdbbenchmark@cs.arizona.edu".
  31. Mail is immediately redistributed to all persons on the list.  It is
  32. good practice to include a signature giving your name and email
  33. address, because not all mailers preserve these.
  34.  
  35. Requests for addition or removal from the list should be sent to
  36. "tdbbenchmark-request@cs.arizona.edu" and not to the general mailing
  37. list.
  38.  
  39. If you submit an item to tdbbenchmark and get back failure
  40. notifications for individuals, you can help eliminate this problem by
  41. mailing such messages to tdbbenchmark-request.  Our software tries to
  42. arrange for failure notifications to be sent to us, but it isn't
  43. foolproof.
  44.  
  45. Collected correspondence from the tdbbenchmark mailing list will be
  46. periodically archived, and will be made available via anonymous ftp
  47. from cs.arizona.edu in the tsql subdirectory, in the file
  48. tdbbenchmark.mail.
  49.  
  50. There is also a more global mailing list, the TSQL mailing list
  51. (tsql@cs.arizona.edu), meant to be a common meeting area for persons
  52. interested in the TSQL design.  Topics for discussion include all
  53. those listed in the initial white paper, "TSQL: A Design Approach." To
  54. subscribe to this list, send a request to tsql-request@cs.arizona.edu.
  55.  
  56. The current subscribers of this mailing list are as follows.
  57.  
  58. ahn@cbnmva.att.com
  59. atuzhili@stern.nyu.edu
  60. cliff
  61. csj@iesd.auc.dk
  62. edrbtsn@cs.indiana.edu
  63. eliop@isosun.ariadne-t.gr
  64. fabio@deis64.cineca.it
  65. gadia@cs.iastate.edu
  66. jajodia@sitevax.gmu.edu
  67. jclifford@gba.nyu.edu
  68. kaefer@informatik.uni-kl.di
  69. kalua@cs.indiana.edu
  70. kline@cs.arizona.edu
  71. kulkarni_krishna@tandem.com
  72. MONTANARI@UDUNIV.CINECA.IT
  73. nls@cse.iitb.ernet.in
  74. peressi@udmi5400.cineca.it
  75. pernici@ipmel2.polimi.it
  76. rita@deis64.cineca.it
  77. roddick@unisa.edu.au
  78. rts@cs.arizona.edu
  79. segev@csr.lbl.gov
  80. snair@cs.iastate.edu
  81. tiberio@deis64.cineca.it
  82. UZTBB@CUNYVM.CUNY.EDU
  83. wuu@ctt.bellcore.com
  84.  
  85. From Elias.Eliopoulos@isosun.ariadne-t.gr  Tue Jun 29 17:19:00 1993
  86. Received: from ARTS01.INFN.IT (cosine-gw.infn.it) by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  87.     id AA04078; Tue, 29 Jun 1993 08:20:08 MST
  88. Received: From MR(RFCGATEWAY) by MAILER with Id HERMHS      0023081.000741365864
  89.           for MAILER@ARTS01.INFN.IT; Tue, 29 JUN 93 17:19 GMT
  90. Message-Id: <HERMHS      0023081.000741365864>
  91. X-Posting-Date: 29-JUN-1993 14:57:44.00
  92. Received: via INFNGW
  93. Date:  Tue, 29 JUN 93 17:19 GMT
  94. From: Elias.Eliopoulos@isosun.ariadne-t.gr
  95. Subject:  
  96. To: tdbbenchmark@cs.arizona.edu
  97. X-Original-To: tdbbenchmark@cs.arizona.edu
  98.  
  99. RFC-822-Headers:
  100. Received: by isosun.ariadne-t.gr (4.1/SMI-4.0-MHS-6.0)
  101.     id AA23077; Tue, 29 Jun 93 17:57:42 +0300
  102.  
  103.  
  104. Dear Rick and Christian,
  105. With respect to the paper on a benchmark on temporal datand Christian,#M#JWith respect to the paper on a benchmark on temporal datshould write something like the following: 'Given that there are many diverse data modelling approaches in the area, each co-
  106. author has tried to identify reasonable queries whose formulation and also their answering should be enabled by a valid time DBMS. This will allow the reader identify from this set of queries those which, in his opinion, are most important and thus perfor
  107. m a personal evaluation of each model, based on two parameters, firstly whether each query can be formulated in some model and, secondly, how easily it can be formulated.'
  108.  
  109. Secondly, if the 'benchmark' is to appear as a joint paper, we wonder whether it would be wise for every author to express his personal ideas at the end of the paper. In spite of this, our own comments are the following:
  110.  
  111. Comments on the paper
  112. 1. It is unavoidable that the queries and also the schema of the database have been influenced by individual models. For example, in an ungrouped model, the schema could perhaps be completely different, if we were to record the history of employee names.
  113.  
  114. 2. The key and the functional dependencies between various pieces of data are given in the paper. This directly implies that we all agree in 'what the key of a historical relation is', which is not true. We think that we should rather write that 'we provi
  115. de the functional dependencies which we assume that the data satisfy at each time instant'.
  116.  
  117. 3. Many queries (eg 2.1.1, 2.1.2, 2.1.7, 2.1.5) imply that certain scalar and perhaps aggregate functions are supported but we do not specify which they are. In contrast, we are quite specific on the relational operators which are supported.
  118.  
  119.  
  120. Minor improvements
  121. Q2.1.5 should be modified as: 'whose salary remained the same for the longer continuous time' or something like this.
  122.  
  123. Q2.1.7 does not seem to be a reasonable query, in the general case in which there are many managers.
  124.  
  125. Q2.2.4 should be rephrased as 'For all departments whose managers and budgets have not changed for the last 18 months ...'.
  126.  
  127. Q2.3.5 is practically identical to Q2.1.5, if we take into consideration the fact that a salary only increases. The distinction will be clearer if in Q2.3.5 we consider a case in which an employee ceases being paid and, after some time he starts being pai
  128. d again with the same salary.
  129.  
  130. Q2.3.10: Rather than write 'in a department called Toy', better to write 'in the Toy department'. The same remark applies to some other queries.
  131.  
  132. Q2.4.3 is similar to Q2.4.7. In Q2.4.3 it is better to explicitly write 'at least 5 consecutive years'.
  133.  
  134. Q4.2.3: Write: 'exceeded', 'continued'.
  135.  
  136. Q4.2.4: replace 'at' by 'one'. Do you mean exactly one year? 
  137.  
  138. Q4.4.3: Omit the second 'they'.
  139.  
  140. Q4.10.5: omit 'then'.
  141.  
  142.  
  143.  
  144. New classes of queries
  145. There are many reasonable queries for which no provision has been made in the taxonomy. We distinguish them into groups A, B and C below.
  146.  
  147. Group A: To simplify the discussion, in the following we do not distinguish between event, interval and element. In addition, we do not distinguish between value, derived and imposed. Instead, we only consider the case that a piece of data d1 is valid at 
  148. time t1 and, similarly, d2 is valid at t2. Then the output-based taxonomy may require the output of the following results:
  149.  
  150. 1. t1        t2     
  151. 2. t1             d2
  152. 3. t1        t2   d2
  153. 4.      d1   t2     
  154. 5.      d1        d2
  155. 6.      d1   t2   d2
  156. 7. t1   d1   t2   d2
  157.  
  158. Relevant Examples
  159. 1. Give the time Edward was in the Toy department and the time his salary became $30K (output of the form t1, t2).
  160. Answer: "2/1/82 - 1/31/87, 6/1/82"
  161.  
  162. 2. Give the time Edward was in the Toy department and the department he is currently working in (output of the form t1, d2).
  163. Answer: "2/1/82 - 1/31/87, Book"
  164.  
  165. 3. Give the time Edward was in the Toy department and his salary history (output of the form t1, t2, d2).
  166. Answer: "2/1/82 - 1/31/87, ((2/1/82 - 5/31/82, $20K), (6/1/82 - 1/31/85, $30K), (2/1/85 - 1/31/87, $40K), (4/1/87 - present, $40K))"
  167.  
  168. Similarly, for the remainder cases:
  169.  
  170. 4. Give the department in which Edward was at time 12/31/84 and the time at which his salary became greater than $20K.
  171. Answer: "Toy, 6/1/82"
  172.  
  173. 5. Give Di's salary at time 12/31/85 and 12/31/86.
  174. Answer: "$40K, $50K"
  175.  
  176. 5. Give Di's salary at time 12/31/85 and the department she was in at time 12/31/86. (Note that in this query the time must also be output so as to associate each salary with the respective date).
  177. Answer: "12/31/85, $40K, 12/31/86, Toy"
  178.  
  179. 6. Give Di's salary at time 12/31/85 and her salary history.
  180. Answer: "$40K, ((1/1/82 - 7/31/84, $30K), (8/1/84 - 8/31/86, $40K), (9/1/86 - present, $50K))"
  181.  
  182. 7. Give Di's salary at all times less than 12/31/85 and her department history at all times greater than 12/31/86.
  183. Answer: "((1/1/82 - 7/31/84, $30K), (8/1/84 - 12/31/85, $40K)), Toy, 12/31/86 - present"
  184.  
  185. Using the above classification of queries, we can see that there are 7 distinct classes of the output-based taxonomy.
  186.  
  187. Similarly, the top-level selection-based taxonomy might be classified into 7 classes (if reasonable queries can be identified) and this could result in 49 distinct types of queries. If we further consider in conjunction all the cases you have already iden
  188. tified, then it is likely that the number of classes will be further increased
  189.  
  190.  
  191. Group B: Queries which require unnestings and nestings (It applies only to grouped models). Some queries are the following.
  192.  
  193. 1. For each department give the current names of the employees who ever worked in it.
  194. Answer: "Toy, ((Edward), (Di))", 
  195. "Book, Edward"
  196.  
  197. 2. For each department give the current names of the employees who worked in it and also the respective time.
  198. Answer: "Toy, ((Edward, 2/1/82 - 1/31/87), (Di, 1/1/82, present))", 
  199. "Book, Edward, 4/1/87 - present"
  200.  
  201. 3. For every department give the current names of the employees who worked in it and for each of the employees give his salary history.
  202. Answer: "Toy, ((Edward, (($20K, 2/1/82 - 5/31/82), ($30K, 6/1/82 - 1/31/85), ($40K, 2/1/85 - 1/31/87))), (Di, (($30K, 1/1/82 - 7/31/84), ($40K, 8/1/84 - 8/31/86), ($50K, 9/1/86 - present))))", 
  203. "Book, Edward, $40K, 4/1/87 - 12/31/88"
  204.  
  205. 4. For each department give the distinct salaries whose employees were earning at time 12/31/84. 
  206. Answer: "Toy, (($30K), ($40K))", 
  207. "Books, -"
  208.  
  209. 5. For each particular salary value, list the current names of the employees who were getting this salary.
  210. Answer: "$20K, Edward", 
  211. "$30K, ((Edward), (Di))", 
  212. "$40K, ((Edward), (Di))", 
  213. "$50K, Di"
  214.  
  215. 6. For each particular salary value list the current names of the employees who were getting this salary and also the respective times.
  216. Answer: "$20K, Edward, 2/1/82 - 5/31/82", 
  217. "$30K, ((Edward, 6/1/82 - 1/31/85), (Di, 1/1/82 - 7/31/84))",
  218. "$40K, ((Edward, ((2/1/85 - 1/31/87), (4/1/87 - present)), (Di, 8/1/84 - 8/31/86))", 
  219. "$50K, Di, 9/1/86 - present"
  220.  
  221. 7. For each time instant within 5/30/82 - 6/2/82, give the distinct salaries which the employees were earning.
  222. Answer: "5/30/82, (($20K), ($30K))", 
  223. "5/31/82, (($20K), ($30K))", 
  224. "6/1/82, $30K", 
  225. "6/2/82, $30K"
  226.  
  227. 8. For every manager give the departments in which he worked and the relevant time.
  228. Answer: "Di, ((Toy, ((1/1/82 - present))))"
  229.  
  230. 9. For every department give his managers and the relevant time.
  231. Answer: "Toy, ((Di, ((1/1/82 - present))))", 
  232. "Book, -, -"
  233.  
  234. Note that this result is different than that of the previous query. In particular a grouped model must be capable of grouping the result of each query in a distinct way as is shown by the pairs of brackets.
  235.  
  236. 10. For every manager list the current names of his employees and the time at which each of them was managed by this particular manager.
  237. Answer: "Di, ((Edward, 2/1/82 - 1/31/87))"
  238.  
  239. 11. For each employee (current name) give his managers and the time at which he was managed by each of them.
  240. Answer: "Edward, ((Di, 2/1/82 - 1/31/87))", 
  241.  
  242. Note that this result is different than that of the previous query. In particular a grouped model must be capable of grouping the result of each query in a distinct way as is shown by the pairs of brackets.
  243.  
  244. 12. List the salary and department of each employee (current name) at times 12/31/84 and 12/31/85 (Here, we want to retrieve data at two distinct time points. Clearly, there is no need to have a nested relation.)
  245. Answer: "12/31/84, Edward, Toy, $30K", 
  246. "12/31/84, Di, Toy, $40K", 
  247. "12/31/85, Edward, Toy, $40K", 
  248. "12/31/85, Di, Toy, $40K"
  249.  
  250. Clearly, queries like the above can also be classified in a systematic way.
  251.  
  252. Group C: It includes various queries which we do classify into some particular class.
  253.  
  254. 1. For each employee (current name) list his salary on date 12/31/84, 12/31/85, and 12/31/86.
  255. In this query we want to retrieve employee salaries at more than one specific time instant. It is obvious therefore that the resulting relation must contain for each employee his name and three salaries, each of them recorded next to one of the dates 12/3
  256. 1/84, 12/31/85, and 12/31/86.
  257. Answer: "Edward, ((12/31/84, $30K), (12/31/85, $40K), (12/31/86, $40K))", 
  258. "Di, ((12/31/84, $40K), (12/31/85, $40K), (12/31/86, $50K))"
  259.  
  260. 2. Let us assume that a department is operational if at least one employee works in it. Then a query can be:
  261. For each department, list the time at which it was operational.
  262. Answer: "Toy, 1/1/82 - present", 
  263. "Book, 4/1/87 - present"
  264.  
  265. 3. For each employee (current name) show his salary and assignment to departments for each of the dates from 5/30/82 to 6/2/82
  266. Answer: "Edward, 5/30/82, $20K, Toy", 
  267. "Edward, 5/31/82, $20K, Toy", 
  268. "Edward, 6/1/82, $30K, Toy", 
  269. "Edward, 6/2/82, $30K, Toy", 
  270. "Di, 5/30/82, $30K, Toy", 
  271. "Di, 5/31/82, $30K, Toy", 
  272. "Di, 6/1/82, $30K, Toy", 
  273. "Di, 6/2/82, $30K, Toy".
  274.  
  275. 4. For each employee (current name) list the greater time intervals at which there is no change either at his salary or at the department he works in.
  276. Answer: "Edward, 2/1/82 - 5/31/82, $20K, Toy", 
  277. "Edward, 6/1/82 - 1/31/85, $30K, Toy", 
  278. "Edward, 2/1/85 - 1/31/87, $40K, Toy", 
  279. "Edward, 4/1/87 - present, $40K, Book", 
  280. "Di, 1/1/82 - 7/31/84, 30K, Toy", 
  281. "Di, 8/1/84 - 8/31/86, $40K, Toy", 
  282. "Di, 9/1/86 - present, $50K, Toy"
  283.  
  284.  
  285.  
  286. From Elias.Eliopoulos@isosun.ariadne-t.gr  Tue Jun 29 17:33:00 1993
  287. Received: from ARTS01.INFN.IT (cosine-gw.infn.it) by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  288.     id AA04449; Tue, 29 Jun 1993 08:34:08 MST
  289. Received: From MR(RFCGATEWAY) by MAILER with Id HERMHS      0023227.000741366945
  290.           for MAILER@ARTS01.INFN.IT; Tue, 29 JUN 93 17:33 GMT
  291. Message-Id: <HERMHS      0023227.000741366945>
  292. X-Posting-Date: 29-JUN-1993 15:15:45.00
  293. Received: via INFNGW
  294. Date:  Tue, 29 JUN 93 17:33 GMT
  295. From: Elias.Eliopoulos@isosun.ariadne-t.gr
  296. Subject:  
  297. To: tdbbenchmark@cs.arizona.edu
  298. X-Original-To: tdbbenchmark@cs.arizona.edu
  299.  
  300. RFC-822-Headers:
  301. Received: by isosun.ariadne-t.gr (4.1/SMI-4.0-MHS-6.0)
  302.     id AA23221; Tue, 29 Jun 93 18:15:24 +0300
  303.  
  304.  
  305. From: Nikos A. Lorentzos and Yannis Mitsopoulos
  306. (Mail resubmission)
  307.  
  308. Dear Rick and Christian,With respect to the paper on a benchmark on temporal databases,
  309. Yannis G. Mitsopoulos and me find it necessary to express some
  310. comments and also provide additional sample queries, which are
  311. important and should be included in the final paper. We list them
  312. next.
  313.  
  314. General Comments
  315. Firstly, we believe that the word 'benchmark' should completely be
  316. avoided, it will give rise to a severe criticism. The same is also
  317. true for the words 'user-friendly' and 'expressiveness'. Perhaps, we
  318. should write something like the following: 'Given that there are many
  319. diverse data modelling approaches in the area, each co-author has
  320. tried to identify reasonable queries whose formulation and also their
  321. answering should be enabled by a valid time DBMS. This will allow the
  322. reader identify from this set of queries those which, in his opinion,
  323. are most important and thus perform a personal evaluation of each
  324. model, based on two parameters, firstly whether each query can be
  325. formulated in some model and, secondly, how easily it can be
  326. formulated.'
  327.  
  328. Secondly, if the 'benchmark' is to appear as a joint paper, we wonder
  329. whether it would be wise for every author to express his personal
  330. ideas at the end of the paper. In spite of this, our own comments are
  331. the following:
  332.  
  333. Comments on the paper
  334. 1. It is unavoidable that the queries and also the schema of the
  335. database have been influenced by individual models. For example, in
  336. an ungrouped model, the schema could perhaps be completely different,
  337. if we were to record the history of employee names.
  338.  
  339. 2. The key and the functional dependencies between various pieces of
  340. data are given in the paper. This directly implies that we all agree
  341. in 'what the key of a historical relation is', which is not true. We
  342. think that we should rather write that 'we provide the functional
  343. dependencies which we assume that the data satisfy at each time
  344. instant'.
  345.  
  346. 3. Many queries (eg 2.1.1, 2.1.2, 2.1.7, 2.1.5) imply that certain
  347. scalar and perhaps aggregate functions are supported but we do not
  348. specify which they are. In contrast, we are quite specific on the
  349. relational operators which are supported.
  350.  
  351.  
  352. Minor improvements
  353. Q2.1.5 should be modified as: 'whose salary remained the same for the
  354. longer continuous time' or something like this.
  355.  
  356. Q2.1.7 does not seem to be a reasonable query, in the general case in
  357. which there are many managers.
  358.  
  359. Q2.2.4 should be rephrased as 'For all departments whose managers and
  360. budgets have not changed for the last 18 months ...'.
  361.  
  362. Q2.3.5 is practically identical to Q2.1.5, if we take intoconsideration the fact that a salary only increases. The distinction
  363. will be clearer if in Q2.3.5 we consider a case in which an employee
  364. ceases being paid and, after some time he starts being paid again
  365. with the same salary.
  366.  
  367. Q2.3.10: Rather than write 'in a department called Toy', better to
  368. write 'in the Toy department'. The same remark applies to some other
  369. queries.
  370.  
  371. Q2.4.3 is similar to Q2.4.7. In Q2.4.3 it is better to explicitly
  372. write 'at least 5 consecutive years'.
  373.  
  374. Q4.2.3: Write: 'exceeded', 'continued'.
  375.  
  376. Q4.2.4: replace 'at' by 'one'. Do you mean exactly one year?
  377.  
  378. Q4.4.3: Omit the second 'they'.
  379.  
  380. Q4.10.5: omit 'then'.
  381.  
  382.  
  383.  
  384. New classes of queries
  385. There are many reasonable queries for which no provision has been
  386. made in the taxonomy. We distinguish them into groups A, B and C
  387. below.
  388.  
  389. Group A: To simplify the discussion, in the following we do not
  390. distinguish between event, interval and element. In addition, we do
  391. not distinguish between value, derived and imposed. Instead, we only
  392. consider the case that a piece of data d1 is valid at time t1 and,
  393. similarly, d2 is valid at t2. Then the output-based taxonomy may
  394. require the output of the following results:
  395.  
  396. 1. t1        t2
  397. 2. t1             d2
  398. 3. t1        t2   d2
  399. 4.      d1   t2
  400. 5.      d1        d2
  401. 6.      d1   t2   d2
  402. 7. t1   d1   t2   d2
  403.  
  404. Relevant Examples
  405. 1. Give the time Edward was in the Toy department and the time his
  406. salary became $30K (output of the form t1, t2).
  407. Answer: "2/1/82 - 1/31/87, 6/1/82"
  408.  
  409. 2. Give the time Edward was in the Toy department and the department
  410. he is currently working in (output of the form t1, d2).
  411. Answer: "2/1/82 - 1/31/87, Book"
  412.  
  413. 3. Give the time Edward was in the Toy department and his salary
  414. history (output of the form t1, t2, d2).
  415. Answer: "2/1/82 - 1/31/87, ((2/1/82 - 5/31/82, $20K), (6/1/82 -
  416. 1/31/85, $30K), (2/1/85 - 1/31/87, $40K), (4/1/87 - present, $40K))"
  417. Similarly, for the remainder cases:
  418.  
  419. 4. Give the department in which Edward was at time 12/31/84 and the
  420. time at which his salary became greater than $20K.
  421. Answer: "Toy, 6/1/82"
  422.  
  423. 5. Give Di's salary at time 12/31/85 and 12/31/86.
  424. Answer: "$40K, $50K"
  425.  
  426. 5. Give Di's salary at time 12/31/85 and the department she was in at
  427. time 12/31/86. (Note that in this query the time must also be output
  428. so as to associate each salary with the respective date).
  429. Answer: "12/31/85, $40K, 12/31/86, Toy"
  430.  
  431. 6. Give Di's salary at time 12/31/85 and her salary history.
  432. Answer: "$40K, ((1/1/82 - 7/31/84, $30K), (8/1/84 - 8/31/86, $40K),
  433. (9/1/86 - present, $50K))"
  434.  
  435. 7. Give Di's salary at all times less than 12/31/85 and her
  436. department history at all times greater than 12/31/86.
  437. Answer: "((1/1/82 - 7/31/84, $30K), (8/1/84 - 12/31/85, $40K)), Toy,
  438. 12/31/86 - present"
  439.  
  440. Using the above classification of queries, we can see that there are
  441. 7 distinct classes of the output-based taxonomy.
  442.  
  443. Similarly, the top-level selection-based taxonomy might be classified
  444. into 7 classes (if reasonable queries can be identified) and this
  445. could result in 49 distinct types of queries. If we further consider
  446. in conjunction all the cases you have already identified, then it is
  447. likely that the number of classes will be further increased
  448.  
  449.  
  450. Group B: Queries which require unnestings and nestings (It applies
  451. only to grouped models). Some queries are the following.
  452.  
  453. 1. For each department give the current names of the employees who
  454. ever worked in it.
  455. Answer: "Toy, ((Edward), (Di))",
  456. "Book, Edward"
  457.  
  458. 2. For each department give the current names of the employees who
  459. worked in it and also the respective time.
  460. Answer: "Toy, ((Edward, 2/1/82 - 1/31/87), (Di, 1/1/82, present))",
  461. "Book, Edward, 4/1/87 - present"
  462.  
  463. 3. For every department give the current names of the employees who
  464. worked in it and for each of the employees give his salary history.
  465. Answer: "Toy, ((Edward, (($20K, 2/1/82 - 5/31/82), ($30K, 6/1/82 -
  466. 1/31/85), ($40K, 2/1/85 - 1/31/87))), (Di, (($30K, 1/1/82 - 7/31/84),
  467. ($40K, 8/1/84 - 8/31/86), ($50K, 9/1/86 - present))))",
  468. "Book, Edward, $40K, 4/1/87 - 12/31/88"
  469.  
  470. 4. For each department give the distinct salaries whose employees
  471. were earning at time 12/31/84.
  472. Answer: "Toy, (($30K), ($40K))","Books, -"
  473.  
  474. 5. For each particular salary value, list the current names of the
  475. employees who were getting this salary.
  476. Answer: "$20K, Edward",
  477. "$30K, ((Edward), (Di))",
  478. "$40K, ((Edward), (Di))",
  479. "$50K, Di"
  480.  
  481. 6. For each particular salary value list the current names of the
  482. employees who were getting this salary and also the respective times.
  483. Answer: "$20K, Edward, 2/1/82 - 5/31/82",
  484. "$30K, ((Edward, 6/1/82 - 1/31/85), (Di, 1/1/82 - 7/31/84))",
  485. "$40K, ((Edward, ((2/1/85 - 1/31/87), (4/1/87 - present)), (Di,
  486. 8/1/84 - 8/31/86))",
  487. "$50K, Di, 9/1/86 - present"
  488.  
  489. 7. For each time instant within 5/30/82 - 6/2/82, give the distinct
  490. salaries which the employees were earning.
  491. Answer: "5/30/82, (($20K), ($30K))",
  492. "5/31/82, (($20K), ($30K))",
  493. "6/1/82, $30K",
  494. "6/2/82, $30K"
  495.  
  496. 8. For every manager give the departments in which he worked and the
  497. relevant time.
  498. Answer: "Di, ((Toy, ((1/1/82 - present))))"
  499.  
  500. 9. For every department give his managers and the relevant time.
  501. Answer: "Toy, ((Di, ((1/1/82 - present))))",
  502. "Book, -, -"
  503.  
  504. Note that this result is different than that of the previous query.
  505. In particular a grouped model must be capable of grouping the result
  506. of each query in a distinct way as is shown by the pairs of brackets.
  507.  
  508. 10. For every manager list the current names of his employees and the
  509. time at which each of them was managed by this particular manager.
  510. Answer: "Di, ((Edward, 2/1/82 - 1/31/87))"
  511.  
  512. 11. For each employee (current name) give his managers and the time
  513. at which he was managed by each of them.
  514. Answer: "Edward, ((Di, 2/1/82 - 1/31/87))",
  515.  
  516. Note that this result is different than that of the previous query.
  517. In particular a grouped model must be capable of grouping the result
  518. of each query in a distinct way as is shown by the pairs of brackets.
  519.  
  520. 12. List the salary and department of each employee (current name) at
  521. times 12/31/84 and 12/31/85 (Here, we want to retrieve data at two
  522. distinct time points. Clearly, there is no need to have a nested
  523. relation.)
  524. Answer: "12/31/84, Edward, Toy, $30K",
  525. "12/31/84, Di, Toy, $40K",
  526. "12/31/85, Edward, Toy, $40K",
  527. "12/31/85, Di, Toy, $40K"
  528. Clearly, queries like the above can also be classified in a
  529. systematic way.
  530.  
  531. Group C: It includes various queries which we do classify into some
  532. particular class.
  533.  
  534. 1. For each employee (current name) list his salary on date 12/31/84,
  535. 12/31/85, and 12/31/86.
  536. In this query we want to retrieve employee salaries at more than one
  537. specific time instant. It is obvious therefore that the resulting
  538. relation must contain for each employee his name and three salaries,
  539. each of them recorded next to one of the dates 12/31/84, 12/31/85,
  540. and 12/31/86.
  541. Answer: "Edward, ((12/31/84, $30K), (12/31/85, $40K), (12/31/86,
  542. $40K))",
  543. "Di, ((12/31/84, $40K), (12/31/85, $40K), (12/31/86, $50K))"
  544.  
  545. 2. Let us assume that a department is operational if at least one
  546. employee works in it. Then a query can be:
  547. For each department, list the time at which it was operational.
  548. Answer: "Toy, 1/1/82 - present",
  549. "Book, 4/1/87 - present"
  550.  
  551. 3. For each employee (current name) show his salary and assignment to
  552. departments for each of the dates from 5/30/82 to 6/2/82
  553. Answer: "Edward, 5/30/82, $20K, Toy",
  554. "Edward, 5/31/82, $20K, Toy",
  555. "Edward, 6/1/82, $30K, Toy",
  556. "Edward, 6/2/82, $30K, Toy",
  557. "Di, 5/30/82, $30K, Toy",
  558. "Di, 5/31/82, $30K, Toy",
  559. "Di, 6/1/82, $30K, Toy",
  560. "Di, 6/2/82, $30K, Toy".
  561.  
  562. 4. For each employee (current name) list the greater time intervals
  563. at which there is no change either at his salary or at the department
  564. he works in.
  565. Answer: "Edward, 2/1/82 - 5/31/82, $20K, Toy",
  566. "Edward, 6/1/82 - 1/31/85, $30K, Toy",
  567. "Edward, 2/1/85 - 1/31/87, $40K, Toy",
  568. "Edward, 4/1/87 - present, $40K, Book",
  569. "Di, 1/1/82 - 7/31/84, 30K, Toy",
  570. "Di, 8/1/84 - 8/31/86, $40K, Toy",
  571. "Di, 9/1/86 - present, $50K, Toy"
  572.  
  573.  
  574.  
  575. From csj@iesd.auc.dk  Wed Aug  4 22:30:37 1993
  576. Received: from iesd.auc.dk by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  577.     id AA14403; Wed, 4 Aug 1993 13:32:16 MST
  578. Received: from yellow.iesd.auc.dk by iesd.auc.dk with SMTP id AA15699
  579.   (5.65c8/IDA-1.5/MD for <tdbbenchmark@cs.arizona.edu>); Wed, 4 Aug 1993 22:30:37 +0200
  580. Date: Wed, 4 Aug 1993 22:30:37 +0200
  581. From: "Christian S. Jensen" <csj@iesd.auc.dk>
  582. Message-Id: <199308042030.AA15699@iesd.auc.dk>
  583. To: tdbbenchmark@cs.arizona.edu
  584. Subject: Benchmark initiative--update and requests
  585.  
  586. Subject: Benchmark initiative--update and requests.
  587. To: tdbbenchmark
  588. From: Christian S. Jensen
  589.  
  590. Five separate issues are addressed in this message.
  591.  
  592. 1. New benchmark queries.
  593. 2. Integration of appendices.
  594. 3. Revision of queries.
  595. 4. Authorship.
  596. 5. Strawman proposals for revised sections.
  597.  
  598. Note: The title of the document is "A Consensus Test Suite of Temporal
  599. Database Queries," but "benchmark" is still a good short name for the
  600. document.
  601.  
  602. 1. New benchmark queries
  603. ************************
  604.  
  605. Discussions in Working Group B at the tdb workshop have led to the
  606. formulation of additional queries. These and other last-minute queries
  607. may be added to the benchmark document, provided that the following
  608. three criteria are satisfied.
  609.  
  610. i. The queries are sent to tdbbenchmark by Friday, August 13, 1993.
  611.  
  612. ii. Each query must use the template of the benchmark document and
  613.     must be classified according to the classification in the
  614.     benchmark document. The information necessary to do so may be
  615.     obtained from cs.arizona.edu (in the tsql directory) by anonymous
  616.     ftp.
  617.  
  618. iii. There are no unresolved objections to the addition to the
  619.      benchmark of the proposed queries.
  620.     
  621. 2. Integration of appendices
  622. ****************************
  623.  
  624. The final benchmark document is intended to display consensus and for
  625. that reason, it will not include appendices. I request that each
  626. appendix author checks to see whether any insights of his/her appendix
  627. should be part of the main body of the document. If so, the author
  628. must propose a concrete addition to the document and send the proposal
  629. to tdbbenchmark by Friday, August 13, 1993.
  630.  
  631. 3. Revision of queries
  632. **********************
  633.  
  634. It has been observed that a relative large fraction of the benchmark
  635. queries are incorrect or imprecise. Some entries contain queries that
  636. are imprecise (i.e., may have different answers depending on the
  637. interpretation) and should be made more precise. Some entries contain
  638. queries and answers that are mutually inconsistent.
  639.  
  640. To improve the queries, I ask the original authors to, if they have
  641. time, send me (csj@iesd.auc.dk) revised versions of their queries by
  642. Monday, August 16, 1993. For each revised query, it must be indicated
  643. which original query (in the benchmark document that appeared at the
  644. workshop) it supersedes. We have a firm deadline, but I realize that
  645. time is short and many authors may have busy schedules. Thus, I will
  646. go through the full set of 170 queries after Monday, August 16 and
  647. revise the queries. I reserve the right to delete very bad or
  648. duplicate queries, if any.
  649.  
  650. 4. Authorship
  651. *************
  652.  
  653. No significant changes have been made regarding authorship.
  654.  
  655. The list of authors in the workshop document contained everyone that
  656. actively contributed significantly to the contents of the document.
  657.  
  658. The new list of authors/contributors should be similar. It is intended
  659. to contain everybody that fulfills the criterion above. I have already
  660. added a few people that have contributed significantly during and
  661. after the workshop, but I have no list of new contributors. Thus, if
  662. you feel that you should be a coauthor, please let me know your name,
  663. e-mail address and affiliation.
  664.  
  665. As the list of contributors grows, it becomes inappropriate to list
  666. e-mail addresses and affiliations in a (huge) footnote at the front.
  667. Instead, this info has been moved to a special section which has been
  668. referenced a couple of times at the front of the paper.
  669.  
  670. 5. Strawman proposals for revised sections
  671. ******************************************
  672.  
  673. Below, please find the strawman proposal for Sections 1, 2, 4, and 5
  674. of the document below. Specifically, one postscript document (easily
  675. printable) is included along with a latex document (with the text of
  676. the proposal).
  677.  
  678. Concrete improvements are very welcome and should be sent to
  679. tdbbenchmark by Friday, August 13, 1993.
  680.  
  681. %!PS-Adobe-2.0
  682. %%Creator: dvips 5.518 Copyright 1986, 1993 Radical Eye Software
  683. %%Title: test2.dvi
  684. %%CreationDate: Wed Aug  4 11:45:25 1993
  685. %%Pages: 5
  686. %%PageOrder: Ascend
  687. %%BoundingBox: 0 0 596 842
  688. %%EndComments
  689. %DVIPSCommandLine: dvips test2.dvi -o test2.ps
  690. %DVIPSSource:  TeX output 1993.08.04:1144
  691. %%BeginProcSet: tex.pro
  692. /TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
  693. /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
  694. mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
  695. ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
  696. isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
  697. hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
  698. TR matrix currentmatrix dup dup 4 get round 4 exch put dup dup 5 get
  699. round 5 exch put setmatrix}N /@landscape{/isls true N}B /@manualfeed{
  700. statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0
  701. 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{/nn 8 dict N nn
  702. begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X
  703. array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo
  704. setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{/sf 1 N /fntrx
  705. FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]N df-tail}B /E{
  706. pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}
  707. B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{128 ch-data dup
  708. length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B
  709. /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type
  710. /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp
  711. 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2
  712. index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff
  713. ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice
  714. ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 add]{
  715. ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]}if nn
  716. /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1
  717. sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{cc 1 add D
  718. }B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0
  719. moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add
  720. .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore showpage
  721. userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook
  722. known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X
  723. /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for
  724. 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0
  725. 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V
  726. {}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7
  727. getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false}
  728. ifelse}{false}ifelse end{{gsave TR -.1 -.1 TR 1 1 scale rulex ruley
  729. false RMat{BDot}imagemask grestore}}{{gsave TR -.1 -.1 TR rulex ruley
  730. scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave
  731. transform round exch round exch itransform moveto rulex 0 rlineto 0
  732. ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta
  733. 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}
  734. B /c{-4 M}B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{
  735. 3 M}B /k{4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p
  736. -1 w}B /q{p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{
  737. 3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end
  738. %%EndProcSet
  739. %%BeginProcSet: special.pro
  740. TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N
  741. /vs 792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP 0 N /rwiSeen
  742. false N /rhiSeen false N /letter{}N /note{}N /a4{}N /legal{}N}B
  743. /@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{@scaleunit
  744. div /vsc X}B /@hsize{/hs X /CLIP 1 N}B /@vsize{/vs X /CLIP 1 N}B /@clip{
  745. /CLIP 2 N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{
  746. 10 div /rwi X /rwiSeen true N}B /@rhi{10 div /rhi X /rhiSeen true N}B
  747. /@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X}B /magscale
  748. true def end /@MacSetUp{userdict /md known{userdict /md get type
  749. /dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup
  750. length 20 add dict copy def}if end md begin /letter{}N /note{}N /legal{}
  751. N /od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath
  752. clippath mark{transform{itransform moveto}}{transform{itransform lineto}
  753. }{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{
  754. itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{
  755. closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39
  756. 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}N
  757. /txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1
  758. scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get
  759. ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip
  760. not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0
  761. TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR
  762. pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1
  763. -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg
  764. TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg
  765. sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr
  766. 0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add
  767. 2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N /cp
  768. {pop pop showpage pm restore}N end}if}if}N /normalscale{Resolution 72
  769. div VResolution 72 div neg scale magscale{DVImag dup scale}if 0 setgray}
  770. N /psfts{S 65781.76 div N}N /startTexFig{/psf$SavedState save N userdict
  771. maxlength dict begin /magscale false def normalscale currentpoint TR
  772. /psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts
  773. /psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx
  774. psf$llx sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy
  775. scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR
  776. /showpage{}N /erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{
  777. psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2
  778. roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath
  779. moveto}N /endTexFig{end psf$SavedState restore}N /@beginspecial{SDict
  780. begin /SpecialSave save N gsave normalscale currentpoint TR
  781. @SpecialDefaults count /ocount X /dcount countdictstack N}N /@setspecial
  782. {CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto
  783. closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx
  784. sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR
  785. }{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse
  786. CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury
  787. lineto closepath clip}if /showpage{}N /erasepage{}N /copypage{}N newpath
  788. }N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{
  789. end}repeat grestore SpecialSave restore end}N /@defspecial{SDict begin}
  790. N /@fedspecial{end}B /li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{
  791. /SaveX currentpoint /SaveY X N 1 setlinecap newpath}N /st{stroke SaveX
  792. SaveY moveto}N /fil{fill SaveX SaveY moveto}N /ellipse{/endangle X
  793. /startangle X /yrad X /xrad X /savematrix matrix currentmatrix N TR xrad
  794. yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end
  795. %%EndProcSet
  796. TeXDict begin 39158280 55380996 1000 300 300
  797. (/tmp_mnt/user/csj/Papers/InProgress/TSQL/TSQLBM/Initiative/test2.dvi)
  798. @start /Fa 17 117 df<387CFEFEFE7C3807077C8610>46 D<00180000780001F800FF
  799. F800FFF80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001
  800. F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001
  801. F80001F80001F8007FFFE07FFFE013207C9F1C>49 D<03FC000FFF003C1FC07007E07C07
  802. F0FE03F0FE03F8FE03F8FE01F87C01F83803F80003F80003F00003F00007E00007C0000F
  803. 80001F00003E0000380000700000E01801C0180380180700180E00380FFFF01FFFF03FFF
  804. F07FFFF0FFFFF0FFFFF015207D9F1C>I<00FE0007FFC00F07E01E03F03F03F03F81F83F
  805. 81F83F81F81F03F81F03F00003F00003E00007C0001F8001FE0001FF000007C00001F000
  806. 01F80000FC0000FC3C00FE7E00FEFF00FEFF00FEFF00FEFF00FC7E01FC7801F81E07F00F
  807. FFC001FE0017207E9F1C>I<0000E00001E00003E00003E00007E0000FE0001FE0001FE0
  808. 0037E00077E000E7E001C7E00187E00307E00707E00E07E00C07E01807E03807E07007E0
  809. E007E0FFFFFFFFFFFF0007E00007E00007E00007E00007E00007E00007E000FFFF00FFFF
  810. 18207E9F1C>I<0003FE0080001FFF818000FF01E38001F8003F8003E0001F8007C0000F
  811. 800F800007801F800007803F000003803F000003807F000001807E000001807E00000180
  812. FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE00000000FE
  813. 000000007E000000007E000001807F000001803F000001803F000003801F800003000F80
  814. 00030007C000060003F0000C0001F800380000FF00F000001FFFC0000003FE000021227D
  815. A128>67 D<FFFFFF8000FFFFFFF00007F003FC0007F0007E0007F0003F0007F0001F8007
  816. F0000FC007F00007E007F00007E007F00007F007F00003F007F00003F007F00003F007F0
  817. 0003F807F00003F807F00003F807F00003F807F00003F807F00003F807F00003F807F000
  818. 03F807F00003F807F00003F007F00003F007F00003F007F00007E007F00007E007F0000F
  819. C007F0001F8007F0003F0007F0007E0007F003FC00FFFFFFF000FFFFFF800025227EA12B
  820. >I<01FE0207FF861F01FE3C007E7C001E78000E78000EF80006F80006FC0006FC0000FF
  821. 0000FFE0007FFF007FFFC03FFFF01FFFF80FFFFC03FFFE003FFE0003FE00007F00003F00
  822. 003FC0001FC0001FC0001FE0001EE0001EF0003CFC003CFF00F8C7FFE080FF8018227DA1
  823. 1F>83 D<7FFFFFFF807FFFFFFF807E03F80F807803F807807003F803806003F80180E003
  824. F801C0E003F801C0C003F800C0C003F800C0C003F800C0C003F800C00003F800000003F8
  825. 00000003F800000003F800000003F800000003F800000003F800000003F800000003F800
  826. 000003F800000003F800000003F800000003F800000003F800000003F800000003F80000
  827. 0003F800000003F800000003F800000003F8000001FFFFF00001FFFFF00022227EA127>
  828. I<0FFC003FFF807E07C07E03E07E01E07E01F03C01F00001F00001F0003FF003FDF01FC1
  829. F03F01F07E01F0FC01F0FC01F0FC01F0FC01F07E02F07E0CF81FF87F07E03F18167E951B
  830. >97 D<00FF8007FFE00F83F01F03F03E03F07E03F07C01E07C0000FC0000FC0000FC0000
  831. FC0000FC0000FC00007C00007E00007E00003E00181F00300FC06007FFC000FF0015167E
  832. 9519>99 D<00FE0007FF800F87C01E01E03E01F07C00F07C00F8FC00F8FC00F8FFFFF8FF
  833. FFF8FC0000FC0000FC00007C00007C00007E00003E00181F00300FC07003FFC000FF0015
  834. 167E951A>101 D<FF000000FF0000001F0000001F0000001F0000001F0000001F000000
  835. 1F0000001F0000001F0000001F0000001F0000001F0000001F07E0001F1FF8001F307C00
  836. 1F403C001F803E001F803E001F003E001F003E001F003E001F003E001F003E001F003E00
  837. 1F003E001F003E001F003E001F003E001F003E001F003E001F003E001F003E00FFE1FFC0
  838. FFE1FFC01A237EA21F>104 D<1C003E007F007F007F003E001C00000000000000000000
  839. 0000000000FF00FF001F001F001F001F001F001F001F001F001F001F001F001F001F001F
  840. 001F001F001F001F00FFE0FFE00B247EA310>I<FF07F007F000FF1FFC1FFC001F303E30
  841. 3E001F403E403E001F801F801F001F801F801F001F001F001F001F001F001F001F001F00
  842. 1F001F001F001F001F001F001F001F001F001F001F001F001F001F001F001F001F001F00
  843. 1F001F001F001F001F001F001F001F001F001F001F001F001F001F001F001F00FFE0FFE0
  844. FFE0FFE0FFE0FFE02B167E9530>109 D<FE1F00FE3FC01E67E01EC7E01E87E01E87E01F
  845. 83C01F00001F00001F00001F00001F00001F00001F00001F00001F00001F00001F00001F
  846. 00001F0000FFF000FFF00013167E9517>114 D<01800001800001800001800003800003
  847. 80000780000780000F80003F8000FFFF00FFFF000F80000F80000F80000F80000F80000F
  848. 80000F80000F80000F80000F80000F80000F81800F81800F81800F81800F81800F830007
  849. C30003FE0000F80011207F9F16>116 D E /Fb 1 64 df<0FF0303C601EF01FF81FF81F
  850. 701F003E003C007000E001C0018001800300030003000300030000000000000000000780
  851. 0FC00FC00FC00FC00780101D7D9C17>63 D E /Fc 19 123 df<60F0F0600404798312>
  852. 46 D<03E007F01E18381C30FC71FE739EE30EE70EE70EE70EE70EE30C739C71F830F038
  853. 001E0E07FE03F80F147F9312>64 D<1FC0003FF000383800101C00001C0007FC003FFC00
  854. 781C00E01C00E01C00E01C00703C003FFF801FCF80110E7F8D12>97
  855. D<F800F80038003800380038003BE03FF03C38381C380C380E380E380E380E380C381C3C
  856. 383FF01BC00F147F9312>I<07F01FF8383870106000E000E000E000E000600070383838
  857. 1FF007E00D0E7E8D12>I<00F800F8003800380038003807B81FF8387870386038E038E0
  858. 38E038E0386038707838781FFE0FBE0F147F9312>I<07801FE0387070706038E038FFF8
  859. FFF8E0006000703838381FF007C00D0E7E8D12>I<F800F800380038003800380039E03F
  860. F03E383C3838383838383838383838383838383838FE3EFE3E0F147F9312>104
  861. D<06000F000F0006000000000000007F007F000700070007000700070007000700070007
  862. 000700FFF0FFF00C157D9412>I<00C001E001E000C00000000000001FE01FE000E000E0
  863. 00E000E000E000E000E000E000E000E000E000E000E000E000E040C0E1C0FF807E000B1C
  864. 7E9412>I<F800F80038003800380038003BFC3BFC38F039E03BC03F803F803FC03DE038
  865. E038703838FC7EFC7E0F147F9312>I<F71C00FFBE0079E70079E70071C70071C70071C7
  866. 0071C70071C70071C70071C70071C700F9E780F8E380110E808D12>109
  867. D<F9E0FFF03E383C3838383838383838383838383838383838FE3EFE3E0F0E7F8D12>I<
  868. 0F803FE038E07070E038E038E038E038E038F078707038E03FE00F800D0E7E8D12>I<FC
  869. 78FDFC1F9C1E081E001C001C001C001C001C001C001C00FFC0FFC00E0E7E8D12>114
  870. D<1FF03FF06070C070E0007F003FE00FF000786018E018F030FFE0DFC00D0E7E8D12>I<
  871. 06000E000E000E007FF8FFF80E000E000E000E000E000E000E000E1C0E1C0E1C07F801E0
  872. 0E127F9112>I<F8F8F8F838383838383838383838383838383838383838781FFE0FBE0F
  873. 0E7F8D12>I<3FFC7FFC7038707000E001C0038007000E001C1C381C701CFFFCFFFC0E0E
  874. 7F8D12>122 D E /Fd 46 124 df<00FC7E000703C1000E0783801C0703801C0701001C
  875. 0700001C0700001C0700001C070000FFFFFF801C0703801C0703801C0703801C0703801C
  876. 0703801C0703801C0703801C0703801C0703801C0703801C0703801C0703807F1FCFE01B
  877. 1780961D>14 D<00001000FC200303400C00C01800E03801F0300130700238600618E004
  878. 1CE0081CE0181CE0101CE0201CE0601CE0401C6080187180383100303A00701E00600C00
  879. C00B030008FC00100000200000161A7E971B>31 D<60F0F070101020204040040A7D830A
  880. >44 D<FF80FF80090280870C>I<60F0F06004047D830A>I<07C018303018701C600C600C
  881. E00EE00EE00EE00EE00EE00EE00EE00EE00E600C600C701C30181C7007C00F157F9412>
  882. 48 D<0F8030E040708030C038E0384038003800700070006000C00180030006000C0808
  883. 0810183FF07FF0FFF00D157E9412>50 D<40007FFE7FFC7FF8C008801080200040008000
  884. 800100030003000200060006000E000E000E000E000E0004000F167E9512>55
  885. D<07C0183030186018E00CE00CE00EE00EE00E601E301E186E0F8E000E000C001C701870
  886. 18603020E01F800F157F9412>57 D<001000003800003800003800005C00005C00005C00
  887. 008E00008E00008E0001070001070002038002038002038007FFC00401C00401C00800E0
  888. 0800E01800F03800F0FE03FE17177F961A>65 D<FFFE001C03801C00E01C00601C00701C
  889. 00701C00701C00701C00E01C01C01FFF801FFFC01C00E01C00701C00301C00381C00381C
  890. 00381C00381C00701C00E01C01C0FFFF0015177F9619>I<00FC100383300E00B01C0070
  891. 380030300030700010600010E00010E00000E00000E00000E00000E00000E00010600010
  892. 7000103000203800201C00400E008003830000FC0014177E9619>I<FFFF001C01C01C00
  893. E01C00301C00381C00181C001C1C000C1C000E1C000E1C000E1C000E1C000E1C000E1C00
  894. 0E1C000C1C001C1C001C1C00381C00301C00601C01C0FFFF0017177F961B>I<FFFFE01C
  895. 00E01C00601C00201C00101C00101C00101C04001C04001C04001C0C001FFC001C0C001C
  896. 04001C04081C04081C00081C00181C00101C00101C00301C00F0FFFFF015177F9618>I<
  897. FFFFE01C00E01C00601C00201C00101C00101C00101C04001C04001C04001C0C001FFC00
  898. 1C0C001C04001C04001C04001C00001C00001C00001C00001C00001C0000FFC00014177F
  899. 9617>I<FF80FE1C00781C00601C00401C00801C01001C06001C08001C10001C38001C78
  900. 001C9C001D0E001E0E001C07001C03801C01C01C01C01C00E01C00701C00781C007CFF80
  901. FF18177F961B>75 D<FFC0001C00001C00001C00001C00001C00001C00001C00001C0000
  902. 1C00001C00001C00001C00001C00001C00201C00201C00201C00601C00601C00401C00C0
  903. 1C03C0FFFFC013177F9616>I<00FC000303000E01C01C00E03800703000307000387000
  904. 38E0001CE0001CE0001CE0001CE0001CE0001CE0001C6000187000383000303878701C84
  905. E00E85C003830000FE0400020400030400038C0001F80001F80000F0161D7E961B>81
  906. D<0FC4302C601C400CC004C004C004E00070007F003FE00FF801FC001C000E0006800680
  907. 068006C004E008D81087E00F177E9614>83 D<7FFFF86038184038084038088038048038
  908. 048038040038000038000038000038000038000038000038000038000038000038000038
  909. 0000380000380000380000380003FF8016177F9619>I<FF80FE1C00381C00101C00101C
  910. 00101C00101C00101C00101C00101C00101C00101C00101C00101C00101C00101C00101C
  911. 00101C00100E0020060020030040018180007E0017177F961A>I<FF007E3C00381C0010
  912. 1C00100E00200E00200F006007004007004003808003808003C18001C10001C10000E200
  913. 00E20000F20000740000740000380000380000380000100017177F961A>I<3FC0706070
  914. 302038003803F81E3830387038E039E039E07970FF1F1E100E7F8D12>97
  915. D<F8000038000038000038000038000038000038000038000038000039F0003E0C003806
  916. 00380700380300380380380380380380380380380300380700380600361C0021F0001117
  917. 7F9614>I<07F01838303870106000E000E000E000E000600070083008183007C00D0E7F
  918. 8D10>I<003E00000E00000E00000E00000E00000E00000E00000E00000E0007CE001C3E
  919. 00300E00700E00600E00E00E00E00E00E00E00E00E00600E00700E00301E00182E0007CF
  920. 8011177F9614>I<0FC0186030307038E018FFF8E000E000E000600070083010183007C0
  921. 0D0E7F8D10>I<03E006700E701C201C001C001C001C001C00FF801C001C001C001C001C
  922. 001C001C001C001C001C001C001C007F800C1780960B>I<0F9E18E33060707070707070
  923. 306018C02F80200060003FE03FF83FFC600EC006C006C006600C38380FE010157F8D12>
  924. I<F8000038000038000038000038000038000038000038000038000038F8003B1C003C0E
  925. 00380E00380E00380E00380E00380E00380E00380E00380E00380E00380E00FE3F801117
  926. 7F9614>I<307878300000000000F8383838383838383838383838FE07177F960A>I<0300
  927. 078007800300000000000000000000001F80038003800380038003800380038003800380
  928. 0380038003800380038003804380E300E7007C00091D82960B>I<F80038003800380038
  929. 003800380038003800383E383838303840388039803FC039E038E038F03878383C383CFE
  930. 7F10177F9613>I<F8383838383838383838383838383838383838383838FE07177F960A>
  931. I<F8F83E003B1CC7003C0F0380380E0380380E0380380E0380380E0380380E0380380E03
  932. 80380E0380380E0380380E0380380E0380FE3F8FE01B0E7F8D1E>I<F8F8003B1C003C0E
  933. 00380E00380E00380E00380E00380E00380E00380E00380E00380E00380E00FE3F80110E
  934. 7F8D14>I<07C018303018600C600CE00EE00EE00EE00EE00E701C3018183007C00F0E7F
  935. 8D12>I<F9F0003E1C003806003807003803003803803803803803803803803803003807
  936. 00380E003E1C0039F000380000380000380000380000380000FE000011147F8D14>I<F9
  937. E03A703C703820380038003800380038003800380038003800FF000C0E7F8D0E>114
  938. D<1F4060C0C040C040E000FF007F801FC001E080608060C060E0C09F000B0E7F8D0E>I<
  939. 080008000800180018003800FFC038003800380038003800380038003840384038403840
  940. 1C800F000A147F930E>I<F83E00380E00380E00380E00380E00380E00380E00380E0038
  941. 0E00380E00380E00381E001C2E0007CF80110E7F8D14>I<FE1F380E3C0C1C081C080E10
  942. 0E100720072007E003C003C001800180100E7F8D13>I<FEFE7C383838383810383C101C
  943. 3C201C4C201E4E600ECE400E8740078780070380070380030300020100160E7F8D19>I<
  944. FE1F380E3C0C1C081C080E100E100720072007E003C003C00180018001000100E200E200
  945. A400780010147F8D13>121 D<FFFF801101808812>123 D E /Fe
  946. 1 4 df<0C000C00CCC0EDC07F800C007F80EDC0CCC00C000C000A0B7D8B10>3
  947. D E /Ff 49 123 df<FFFF80FFFF80FFFF8011037E8D16>45 D<70F8F8F8700505788416
  948. >I<03E0000FF8001FFC001E3C00380E00780F00700700700700E00380E00380E00380E0
  949. 0380E00380E00380E00380E00380F00780700700700700780F003C1E001E3C001FFC000F
  950. F80003E00011197E9816>48 D<0300070007000F001F00FF00FF00E70007000700070007
  951. 000700070007000700070007000700070007000700FFF8FFF8FFF80D197B9816>I<007C
  952. 0000FC0000DC0001DC00039C00039C00071C000F1C000E1C001E1C003C1C00381C00781C
  953. 00F01C00FFFFE0FFFFE0FFFFE0001C00001C00001C00001C00001C0001FFC001FFC001FF
  954. C013197F9816>52 D<3FFE007FFE007FFE00700000700000700000700000700000700000
  955. 70000077F0007FFC007FFE00780F00300700000380000380600380F00380F00380E00700
  956. 781E003FFC001FF80007E00011197E9816>I<00F80003FC0007FE000F07001C0F00380F
  957. 00780600700000700000E3F800EFFC00FFFE00F80F00F00700F00380E00380E003807003
  958. 807003807007803807003C1E001FFC000FF80003E00011197E9816>I<00F80003FC0007
  959. FE000F07001C3B8038FF8079FF8073C7C07383C0E701C0E701C0E701C0E701C0E701C0E7
  960. 01C0E701C073838073C78079FF0038FE001C38000F03C007FFC003FF0000FC0012197E98
  961. 16>64 D<7FF800FFFE007FFF001C07001C07801C03801C03801C03801C03801C07001FFF
  962. 001FFE001FFE001C1F001C03801C03C01C01C01C01C01C01C01C01C01C03C01C07807FFF
  963. 80FFFF007FFC0012197F9816>66 D<01F18007FB800FFF801F0F803C0780380380700380
  964. 700380F00000E00000E00000E00000E00000E00000E00000E00000F00000700380700380
  965. 3803803C07001F0F000FFE0007FC0001F00011197E9816>I<7FF800FFFE007FFF001C0F
  966. 001C07801C03C01C01C01C01C01C01E01C00E01C00E01C00E01C00E01C00E01C00E01C00
  967. E01C00E01C01C01C01C01C03C01C07801C0F807FFF00FFFE007FF8001319809816>I<7F
  968. FFC0FFFFC07FFFC01C01C01C01C01C01C01C01C01C00001C00001C1C001C1C001FFC001F
  969. FC001FFC001C1C001C1C001C00001C00E01C00E01C00E01C00E01C00E07FFFE0FFFFE07F
  970. FFE013197F9816>I<7FFFE0FFFFE07FFFE01C00E01C00E01C00E01C00E01C00001C0000
  971. 1C1C001C1C001FFC001FFC001FFC001C1C001C1C001C00001C00001C00001C00001C0000
  972. 1C00007F8000FFC0007F800013197F9816>I<01F18007FB800FFF801F0F803C07803803
  973. 80700380700380F00000E00000E00000E00000E00000E01FC0E01FE0E01FC0F003807003
  974. 807007803807803C07801E0F800FFF8007FB8001F38013197F9816>I<7FFCFFFE7FFC03
  975. 800380038003800380038003800380038003800380038003800380038003800380038003
  976. 807FFCFFFE7FFC0F197D9816>73 D<FC07E0FE0FE0FE0FE03A0B803B1B803B1B803B1B80
  977. 3B1B803B1B803BBB8039B38039B38039B38039B38039F38038E38038E380380380380380
  978. 380380380380380380FE0FE0FE0FE0FE0FE013197F9816>77 D<7E07F0FF0FF87F07F01D
  979. 81C01D81C01D81C01DC1C01CC1C01CE1C01CE1C01C61C01C71C01C71C01C71C01C31C01C
  980. 39C01C39C01C19C01C1DC01C0DC01C0DC01C0DC07F07C0FF87C07F03C01519809816>I<
  981. 07E3001FFF003FFF00781F00F00700E00700E00700E00000F000007800003F80001FF000
  982. 07FC0000FE00000F00000700000380000380600380E00380E00700F80F00FFFE00FFFC00
  983. C7F00011197E9816>83 D<7FFFE0FFFFE0FFFFE0E0E0E0E0E0E0E0E0E0E0E0E000E00000
  984. E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000
  985. E00000E00007FC000FFE0007FC0013197F9816>I<7F07F0FF8FF87F07F01C01C01C01C0
  986. 1C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C01C0
  987. 1C01C01C01C00E03800E038007070007FF0003FE0000F8001519809816>I<FE0FE0FE0F
  988. E0FE0FE03803803C07801C07001C07001C07001E0F000E0E000E0E000E0E000E0E00071C
  989. 00071C00071C00071C0003180003B80003B80003B80001B00001F00001F00000E0001319
  990. 7F9816>I<FE0FE0FF1FE0FE0FE01C07001C07000E0E000E0E00071C00071C00071C0003
  991. B80003B80001F00001F00000E00000E00000E00000E00000E00000E00000E00000E00003
  992. F80007FC0003F80013197F9816>89 D<7FFF80FFFF80FFFF80E00700E00F00E01E00E01C
  993. 00003C0000780000700000F00001E00001C00003C0000780000700000F00001E03801C03
  994. 803C0380780380700380FFFF80FFFF80FFFF8011197E9816>I<1FE0003FF0007FF80078
  995. 3C00300E00000E00000E0003FE001FFE003E0E00700E00E00E00E00E00E00E00783E007F
  996. FFE03FE7E00F83E013127E9116>97 D<FC0000FC0000FC00001C00001C00001C00001C00
  997. 001C7C001DFE001FFF001F07801E03C01C01C01C00E01C00E01C00E01C00E01C00E01C00
  998. E01C01C01E03C01F07801FFF001DFE000C780013197F9816>I<03F80FFC1FFE3C1E780C
  999. 7000E000E000E000E000E000F000700778073E0E1FFC0FF803F010127D9116>I<003F00
  1000. 003F00003F0000070000070000070000070003C7000FF7001FFF003C1F00780F00700700
  1001. E00700E00700E00700E00700E00700E00700700F00780F003C1F001FFFE00FF7E007C7E0
  1002. 13197F9816>I<03F0000FFC001FFE003C0F00780700700380E00380FFFF80FFFF80FFFF
  1003. 80E00000E000007003807803803E07801FFF0007FE0001F80011127E9116>I<001E0000
  1004. 7F0001FF8001C7800383000380000380007FFF00FFFF00FFFF0003800003800003800003
  1005. 80000380000380000380000380000380000380000380000380007FFC00FFFE007FFC0011
  1006. 197F9816>I<03E3C007F7E00FFFE01C1CC0380E00380E00380E00380E00380E001C1C00
  1007. 0FF8001FF0001BE0003800001800001FFC001FFF003FFF807003C0E000E0E000E0E000E0
  1008. E000E07001C07C07C03FFF800FFE0003F800131C7F9116>I<FC0000FC0000FC00001C00
  1009. 001C00001C00001C00001C78001DFC001FFE001F0F001E07001C07001C07001C07001C07
  1010. 001C07001C07001C07001C07001C07001C0700FF8FE0FF9FE0FF8FE013197F9816>I<03
  1011. 000780078003000000000000000000FF80FF80FF80038003800380038003800380038003
  1012. 800380038003800380FFFCFFFEFFFC0F1A7C9916>I<0030007800780030000000000000
  1013. 00000FF81FF80FF800380038003800380038003800380038003800380038003800380038
  1014. 003800380038003800386070F0F0FFE07FC03F800D237E9916>I<7E0000FE00007E0000
  1015. 0E00000E00000E00000E00000E7FE00E7FE00E7FE00E0F000E1E000E3C000E78000EF000
  1016. 0FF0000FF8000FBC000F1E000E0E000E07000E07807F87F0FFCFF07F87F01419809816>
  1017. I<7FC000FFC0007FC00001C00001C00001C00001C00001C00001C00001C00001C00001C0
  1018. 0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0007FFF00FFFF
  1019. 807FFF0011197E9816>I<F9C380FFEFC0FFFFE03C78E03C78E03870E03870E03870E038
  1020. 70E03870E03870E03870E03870E03870E03870E0FE7CF8FE7CF8FE7CF81512809116>I<
  1021. FC7800FDFC00FFFE001F0F001E07001C07001C07001C07001C07001C07001C07001C0700
  1022. 1C07001C07001C0700FF8FE0FF9FE0FF8FE013127F9116>I<03E0000FF8001FFC003C1E
  1023. 00780F00700700E00380E00380E00380E00380E00380F00780700700780F003C1E001FFC
  1024. 000FF80003E00011127E9116>I<FC7C00FDFE00FFFF001F07801E03C01C01C01C00E01C
  1025. 00E01C00E01C00E01C00E01C00E01C01C01E03C01F07801FFF001DFE001C78001C00001C
  1026. 00001C00001C00001C00001C0000FF8000FF8000FF8000131B7F9116>I<03E3800FF380
  1027. 1FFB803E0F80780780700780E00380E00380E00380E00380E00380E00380700780780780
  1028. 3C1F801FFB800FF38003E380000380000380000380000380000380000380001FF0003FF8
  1029. 001FF0151B7F9116>I<7F0FC0FF3FE07F7FE007F04007C0000780000780000700000700
  1030. 000700000700000700000700000700000700007FFC00FFFC007FFC0013127F9116>I<0F
  1031. EC3FFC7FFCF03CE01CE01C70007F801FF007F8003C600EE00EF00EF81EFFFCFFF8C7E00F
  1032. 127D9116>I<0300000700000700000700000700007FFF00FFFF00FFFF00070000070000
  1033. 07000007000007000007000007000007010007038007038007038007870003FE0001FC00
  1034. 00F80011177F9616>I<FC3F00FC3F00FC3F001C07001C07001C07001C07001C07001C07
  1035. 001C07001C07001C07001C07001C07001C1F001FFFE00FF7E007C7E013127F9116>I<7F
  1036. 1FC0FF9FE07F1FC01C07001C07000E0E000E0E000E0E00071C00071C00071C00071C0003
  1037. B80003B80003B80001F00001F00000E00013127F9116>I<FF1FE0FF1FE0FF1FE0380380
  1038. 38038038038038038039F38039F38019F30019B30019B30019B3001DB7001D17001F1F00
  1039. 0F1E000E0E0013127F9116>I<7F1FC07F3FC07F1FC00F1E00073C0003B80003F00001F0
  1040. 0000E00001E00001F00003B800073C00071C000E0E007F1FC0FF3FE07F1FC013127F9116
  1041. >I<7F1FC0FF9FE07F1FC01C07000E07000E0E000E0E00070E00071C00071C00039C0003
  1042. 9C0003980001B80001B80000F00000F00000F00000E00000E00000E00001C00079C0007B
  1043. C0007F80007F00003C0000131B7F9116>I<3FFFC07FFFC07FFFC0700780700F00701E00
  1044. 003C0000780001F00003E0000780000F00001E01C03C01C07801C0FFFFC0FFFFC0FFFFC0
  1045. 12127F9116>I E /Fg 79 125 df<007E1F0001C1B1800303E3C00703C3C00E03C1800E
  1046. 01C0000E01C0000E01C0000E01C0000E01C0000E01C000FFFFFC000E01C0000E01C0000E
  1047. 01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E
  1048. 01C0000E01C0000E01C0000E01C0000E01C0007F87FC001A1D809C18>11
  1049. D<007E0001C1800301800703C00E03C00E01800E00000E00000E00000E00000E0000FFFF
  1050. C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01
  1051. C00E01C00E01C00E01C00E01C07F87F8151D809C17>I<003F07E00001C09C18000380F0
  1052. 18000701F03C000E01E03C000E00E018000E00E000000E00E000000E00E000000E00E000
  1053. 000E00E00000FFFFFFFC000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C00
  1054. 0E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E
  1055. 00E01C000E00E01C000E00E01C000E00E01C007FC7FCFF80211D809C23>14
  1056. D<E0E0F0381C0E0207077C9C15>18 D<60F0F0F0F0F0F0F0606060606060606060606060
  1057. 60000000000060F0F060041E7C9D0C>33 D<6060F0F0F8F8686808080808080810101010
  1058. 2020404080800D0C7F9C15>I<0080008007E01898308460824081C087C08FC08FC086E0
  1059. 8070807E803FC01FF00FF803FC00BE008E00876087F083F083E083808240824084208818
  1060. 9007E00080008010217E9E15>36 D<00800100020006000C000C00180018003000300030
  1061. 006000600060006000E000E000E000E000E000E000E000E000E000E000E000E000600060
  1062. 0060006000300030003000180018000C000C000600020001000080092A7C9E10>40
  1063. D<8000400020003000180018000C000C0006000600060003000300030003000380038003
  1064. 8003800380038003800380038003800380038003000300030003000600060006000C000C
  1065. 00180018003000200040008000092A7E9E10>I<60F0F0701010101020204080040C7C83
  1066. 0C>44 D<FFE0FFE00B0280890E>I<60F0F06004047C830C>I<0001000300060006000600
  1067. 0C000C000C0018001800180030003000300060006000C000C000C0018001800180030003
  1068. 000300060006000C000C000C00180018001800300030003000600060006000C000C00010
  1069. 297E9E15>I<03C00C301818300C300C700E60066006E007E007E007E007E007E007E007
  1070. E007E007E007E007E007E00760066006700E300C300C18180C3007E0101D7E9B15>I<01
  1071. 0007003F00C7000700070007000700070007000700070007000700070007000700070007
  1072. 0007000700070007000700070007000700FFF80D1C7C9B15>I<07C01830201C400C400E
  1073. F00FF80FF807F8077007000F000E000E001C001C00380070006000C00180030006010C01
  1074. 180110023FFE7FFEFFFE101C7E9B15>I<07E01830201C201C781E780E781E381E001C00
  1075. 1C00180030006007C00030001C001C000E000F000F700FF80FF80FF80FF00E401C201C18
  1076. 3007C0101D7E9B15>I<000C00000C00001C00003C00003C00005C0000DC00009C00011C
  1077. 00031C00021C00041C000C1C00081C00101C00301C00201C00401C00C01C00FFFFC0001C
  1078. 00001C00001C00001C00001C00001C00001C0001FFC0121C7F9B15>I<300C3FF83FF03F
  1079. C020002000200020002000200023E02C303018301C200E000E000F000F000F600FF00FF0
  1080. 0FF00F800E401E401C2038187007C0101D7E9B15>I<00F0030C04040C0E181E301E300C
  1081. 700070006000E3E0E430E818F00CF00EE006E007E007E007E007E007600760077006300E
  1082. 300C18180C3003E0101D7E9B15>I<4000007FFF807FFF007FFF00400200800400800400
  1083. 80080000100000100000200000600000400000C00000C00001C000018000018000038000
  1084. 038000038000038000078000078000078000078000078000078000030000111D7E9B15>
  1085. I<03E00C301008200C200660066006700670067C0C3E183FB01FE007F007F818FC307E60
  1086. 1E600FC007C003C003C003C00360026004300C1C1007E0101D7E9B15>I<03C00C301818
  1087. 300C700C600EE006E006E007E007E007E007E0076007700F300F18170C2707C700060006
  1088. 000E300C780C78187018203010C00F80101D7E9B15>I<60F0F060000000000000000000
  1089. 0060F0F06004127C910C>I<60F0F0600000000000000000000060F0F070101010102020
  1090. 4080041A7C910C>I<7FFFFFC0FFFFFFE000000000000000000000000000000000000000
  1091. 00000000000000000000000000FFFFFFE07FFFFFC01B0C7E8F20>61
  1092. D<000600000006000000060000000F0000000F0000000F000000178000001780000037C0
  1093. 000023C0000023C0000043E0000041E0000041E0000080F0000080F0000080F000010078
  1094. 000100780001FFF80002003C0002003C0002003C0004001E0004001E000C001F000C000F
  1095. 001E001F00FF00FFF01C1D7F9C1F>65 D<FFFFC0000F0078000F003C000F001E000F000E
  1096. 000F000F000F000F000F000F000F000F000F000E000F001E000F003C000F00F8000FFFF0
  1097. 000F003C000F001E000F000F000F0007000F0007800F0007800F0007800F0007800F0007
  1098. 800F000F000F000F000F001E000F007800FFFFE000191C7F9B1D>I<001F808000E06180
  1099. 01801980070007800E0003801C0003801C00018038000180780000807800008070000080
  1100. F0000000F0000000F0000000F0000000F0000000F0000000F0000000F000000070000080
  1101. 7800008078000080380000801C0001001C0001000E000200070004000180080000E03000
  1102. 001FC000191E7E9C1E>I<FFFFC0000F00F0000F003C000F000E000F0007000F0007000F
  1103. 0003800F0003C00F0001C00F0001C00F0001E00F0001E00F0001E00F0001E00F0001E00F
  1104. 0001E00F0001E00F0001E00F0001C00F0001C00F0003C00F0003800F0007800F0007000F
  1105. 000E000F001C000F007000FFFFC0001B1C7E9B20>I<FFFFFC0F003C0F000C0F00040F00
  1106. 040F00060F00020F00020F01020F01000F01000F01000F03000FFF000F03000F01000F01
  1107. 000F01000F01010F00010F00020F00020F00020F00060F00060F000C0F003CFFFFFC181C
  1108. 7E9B1C>I<FFFFF80F00780F00180F00080F00080F000C0F00040F00040F01040F01000F
  1109. 01000F01000F03000FFF000F03000F01000F01000F01000F01000F00000F00000F00000F
  1110. 00000F00000F00000F00000F0000FFF800161C7E9B1B>I<001F808000E0618001801980
  1111. 070007800E0003801C0003801C00018038000180780000807800008070000080F0000000
  1112. F0000000F0000000F0000000F0000000F0000000F000FFF0F0000F807000078078000780
  1113. 78000780380007801C0007801C0007800E00078007000B800180118000E06080001F8000
  1114. 1C1E7E9C21>I<FFF0FFF00F000F000F000F000F000F000F000F000F000F000F000F000F
  1115. 000F000F000F000F000F000F000F000F000F000F000F000FFFFF000F000F000F000F000F
  1116. 000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F
  1117. 000F000F000F00FFF0FFF01C1C7F9B1F>I<FFF00F000F000F000F000F000F000F000F00
  1118. 0F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F000F00
  1119. FFF00C1C7F9B0F>I<07FF80007C00003C00003C00003C00003C00003C00003C00003C00
  1120. 003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00
  1121. 703C00F83C00F83C00F8380070780040700030E0000F8000111D7F9B15>I<FFF01FE00F
  1122. 0007800F0006000F0004000F0008000F0010000F0020000F0040000F0080000F0100000F
  1123. 0200000F0600000F0F00000F1780000F2780000F43C0000F81E0000F01E0000F00F0000F
  1124. 0078000F0078000F003C000F003E000F001E000F000F000F000F800F000FC0FFF03FF01C
  1125. 1C7F9B20>I<FFF8000F80000F00000F00000F00000F00000F00000F00000F00000F0000
  1126. 0F00000F00000F00000F00000F00000F00000F00000F00000F00080F00080F00080F0018
  1127. 0F00180F00100F00300F00700F01F0FFFFF0151C7E9B1A>I<FF8000FF800F8000F8000F
  1128. 8000F8000BC00178000BC00178000BC001780009E002780009E002780008F004780008F0
  1129. 04780008F0047800087808780008780878000878087800083C107800083C107800083C10
  1130. 7800081E207800081E207800081E207800080F407800080F407800080780780008078078
  1131. 00080780780008030078001C03007800FF8307FF80211C7E9B26>I<FF001FF00F800380
  1132. 0FC001000BC0010009E0010008F0010008F0010008780100083C0100083E0100081E0100
  1133. 080F0100080F8100080781000803C1000801E1000801F1000800F1000800790008007D00
  1134. 08003D0008001F0008001F0008000F0008000700080003001C000300FF8001001C1C7F9B
  1135. 1F>I<003F800000E0E0000380380007001C000E000E001C0007003C0007803800038078
  1136. 0003C0780003C0700001C0F00001E0F00001E0F00001E0F00001E0F00001E0F00001E0F0
  1137. 0001E0F00001E0700001C0780003C0780003C0380003803C0007801C0007000E000E0007
  1138. 001C000380380000E0E000003F80001B1E7E9C20>I<FFFF800F00E00F00780F003C0F00
  1139. 1C0F001E0F001E0F001E0F001E0F001E0F001C0F003C0F00780F00E00FFF800F00000F00
  1140. 000F00000F00000F00000F00000F00000F00000F00000F00000F00000F0000FFF000171C
  1141. 7E9B1C>I<003F800000E0E0000380380007001C000E000E001C0007003C000780380003
  1142. 80780003C0780003C0700001C0F00001E0F00001E0F00001E0F00001E0F00001E0F00001
  1143. E0F00001E0F00001E0700001C0780003C0780003C0380003803C0E07801C1107000E208E
  1144. 0007205C0003A0780000F0E020003FE0200000602000003060000038E000003FC000003F
  1145. C000001F8000000F001B257E9C20>I<FFFF00000F01E0000F0078000F003C000F001C00
  1146. 0F001E000F001E000F001E000F001E000F001C000F003C000F0078000F01E0000FFF0000
  1147. 0F01E0000F0070000F0078000F003C000F003C000F003C000F003C000F003C000F003C00
  1148. 0F003C100F003C100F001C100F001C10FFF00E20000003C01C1D7E9B1F>I<07E0801C19
  1149. 80300580300380600180E00180E00080E00080E00080F00000F800007C00007FC0003FF8
  1150. 001FFE0007FF0000FF80000F800007C00003C00001C08001C08001C08001C0C00180C001
  1151. 80E00300D00200CC0C0083F800121E7E9C17>I<7FFFFFC0700F01C0600F00C0400F0040
  1152. 400F0040C00F0020800F0020800F0020800F0020000F0000000F0000000F0000000F0000
  1153. 000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000
  1154. 000F0000000F0000000F0000000F0000001F800003FFFC001B1C7F9B1E>I<FFF01FF00F
  1155. 0003800F0001000F0001000F0001000F0001000F0001000F0001000F0001000F0001000F
  1156. 0001000F0001000F0001000F0001000F0001000F0001000F0001000F0001000F0001000F
  1157. 0001000F0001000F00010007000200078002000380040001C0040000E018000070600000
  1158. 0F80001C1D7F9B1F>I<FFE1FFC0FF1F003E003C1E003C00180F001E00100F001E00100F
  1159. 001E001007801F002007801F002007801F002003C027804003C027804003C027804001E0
  1160. 43C08001E043C08001E043C08000F081E10000F081E10000F081E10000F900F300007900
  1161. F200007900F200007E007E00003E007C00003E007C00003C003C00001C003800001C0038
  1162. 0000180018000008001000281D7F9B2B>87 D<FFF07FC00FC01E0007800C0007C0080003
  1163. C0100001E0200001F0200000F0400000788000007C8000003D0000003E0000001F000000
  1164. 0F0000000F8000000F80000013C0000023E0000021E0000040F0000080F8000080780001
  1165. 007C0002003E0002001E0006001F001F001F80FF807FF01C1C7F9B1F>I<FFF003FC0F80
  1166. 01E0078000C007C0008003C0010003E0030001E0020000F0040000F8040000780800007C
  1167. 1800003C1000003E2000001F2000000F4000000FC0000007800000078000000780000007
  1168. 800000078000000780000007800000078000000780000007800000078000007FF8001E1C
  1169. 809B1F>I<08081010202040404040808080808080B0B0F8F8787830300D0C7A9C15>92
  1170. D<1FC000307000783800781C00301C00001C00001C0001FC000F1C00381C00701C00601C
  1171. 00E01C40E01C40E01C40603C40304E801F870012127E9115>97 D<FC00001C00001C0000
  1172. 1C00001C00001C00001C00001C00001C00001C00001C00001C7C001D87001E01801C00C0
  1173. 1C00E01C00601C00701C00701C00701C00701C00701C00701C00601C00E01C00C01E0180
  1174. 19070010FC00141D7F9C17>I<03F80C0C181E301E700C6000E000E000E000E000E000E0
  1175. 0060007002300218040C1803E00F127F9112>I<001F8000038000038000038000038000
  1176. 038000038000038000038000038000038003F3800E0B80180780300380700380600380E0
  1177. 0380E00380E00380E00380E00380E003806003807003803003801807800E1B8003E3F014
  1178. 1D7F9C17>I<07E00C301818300C700E6006E006FFFEE000E000E000E000600070023002
  1179. 18040C1803E00F127F9112>I<00F8018C071E061E0E0C0E000E000E000E000E000E00FF
  1180. E00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E007FE00F
  1181. 1D809C0D>I<00038007C4C01C78C0383880301800701C00701C00701C00701C00301800
  1182. 3838001C700027C0002000002000003000003FF8001FFF001FFF802003806001C0C000C0
  1183. C000C0C000C06001803003001C0E0007F800121C7F9215>I<FC00001C00001C00001C00
  1184. 001C00001C00001C00001C00001C00001C00001C00001C7C001C87001D03001E03801C03
  1185. 801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C03
  1186. 80FF9FF0141D7F9C17>I<18003C003C0018000000000000000000000000000000FC001C
  1187. 001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C00FF80091D7F
  1188. 9C0C>I<00C001E001E000C0000000000000000000000000000007E000E000E000E000E0
  1189. 00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E060E0F0C0
  1190. F1C061803E000B25839C0D>I<FC00001C00001C00001C00001C00001C00001C00001C00
  1191. 001C00001C00001C00001C0FE01C07801C06001C0C001C10001C20001C40001CE0001DE0
  1192. 001E70001C78001C38001C3C001C1C001C0E001C0F001C0F80FF9FE0131D7F9C16>I<FC
  1193. 001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C
  1194. 001C001C001C001C001C001C001C001C001C00FF80091D7F9C0C>I<FC7E07E0001C8388
  1195. 38001D019018001E01E01C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C
  1196. 001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C00
  1197. 1C01C01C00FF8FF8FF8021127F9124>I<FC7C001C87001D03001E03801C03801C03801C
  1198. 03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C0380FF9FF014
  1199. 127F9117>I<03F0000E1C00180600300300700380600180E001C0E001C0E001C0E001C0
  1200. E001C0E001C06001807003803003001806000E1C0003F00012127F9115>I<FC7C001D87
  1201. 001E01801C01C01C00E01C00E01C00701C00701C00701C00701C00701C00701C00E01C00
  1202. E01C01C01E01801D07001CFC001C00001C00001C00001C00001C00001C00001C0000FF80
  1203. 00141A7F9117>I<03E0800E1980180580380780700380700380E00380E00380E00380E0
  1204. 0380E00380E003807003807003803807801807800E1B8003E38000038000038000038000
  1205. 0380000380000380000380001FF0141A7F9116>I<FCE01D381E781E781C301C001C001C
  1206. 001C001C001C001C001C001C001C001C001C00FFC00D127F9110>I<1F9020704030C010
  1207. C010E010F8007F803FE00FF000F880388018C018C018E010D0608FC00D127F9110>I<04
  1208. 000400040004000C000C001C003C00FFE01C001C001C001C001C001C001C001C001C001C
  1209. 101C101C101C101C100C100E2003C00C1A7F9910>I<FC1F801C03801C03801C03801C03
  1210. 801C03801C03801C03801C03801C03801C03801C03801C03801C03801C07800C07800E1B
  1211. 8003E3F014127F9117>I<FF07E03C03801C01001C01000E02000E02000F060007040007
  1212. 040003880003880003C80001D00001D00000E00000E00000E00000400013127F9116>I<
  1213. FF3FC7E03C0703C01C0701801C0701001C0B01000E0B82000E0B82000E1182000711C400
  1214. 0711C4000720C40003A0E80003A0E80003C0680001C0700001C070000180300000802000
  1215. 1B127F911E>I<FF0FE01E07001C06000E040007080003900003B00001E00000E00000F0
  1216. 0001F000013800021C00041C000C0E001807003C0780FE1FF014127F9116>I<FF07E03C
  1217. 03801C01001C01000E02000E02000F060007040007040003880003880003C80001D00001
  1218. D00000E00000E00000E000004000004000008000008000F08000F10000F3000066000038
  1219. 0000131A7F9116>I<7FFC70386038407040F040E041C003C0038007000F040E041C043C
  1220. 0C380870087038FFF80E127F9112>I<FFFFF01401808B15>I<FFFFFFFFFF802901808B2A
  1221. >I E /Fh 35 123 df<0000FE000003018000060180000C0380001C0180001C00000018
  1222. 00000038000000380000003800000038000003FFFE0000700E0000700E0000700E000070
  1223. 1C0000701C0000E01C0000E01C0000E0380000E0380000E0380001C0380001C0720001C0
  1224. 720001C0720001C07200038034000380180003800000030000000300000007000000C600
  1225. 0000E6000000CC000000780000001925819C17>12 D<183878380808101020404080050C
  1226. 7D830D>44 D<FFC0FFC0FFC00A037D890F>I<3078F06005047C830D>I<003E0000E18001
  1227. 81C00300C00700C00600C00E00E00C00E01C00C01C00C01801C03801C03801C03801C070
  1228. 0380700380700380700380600700E00700E00600E00E00E00E00E00C00E0180060380060
  1229. 700030C0001F0000131D7C9B15>48 D<0004000C00180038007807B80070007000700070
  1230. 00E000E000E000E001C001C001C001C0038003800380038007000700070007000F00FFF0
  1231. 0E1C7B9B15>I<09C0400FE0801FE1801C6100302600201A00600400400C008008008018
  1232. 0000300000300000600000600000C00000C00001C0000180000380000300000700000700
  1233. 000700000E00000E00000E00001C00001C0000180000121D799B15>55
  1234. D<01FFFF00003C03C0003800E0003800E000380070003800700070007800700038007000
  1235. 380070007800E0007800E0007800E0007800E0007801C000F001C000F001C000F001C000
  1236. E0038001E0038001C0038003C0038003800700070007000E0007001C00070038000E00E0
  1237. 00FFFF80001D1C7E9B1F>68 D<01FFFFF0003C00F0003800300038002000380020003800
  1238. 200070002000700020007008200070080000E0100000E0100000E0300000FFF00001C020
  1239. 0001C0200001C0200001C020000380408003800080038000800380010007000100070003
  1240. 0007000200070006000E003C00FFFFFC001C1C7E9B1C>I<03FF00780070007000700070
  1241. 00E000E000E000E001C001C001C001C0038003800380038007000700070007000E000E00
  1242. 0E000E001E00FFC0101C7D9B10>73 D<1FFFFFC01C0701C0300E00C0200E0080600E0080
  1243. 400E0080401C0080801C0080801C0080001C000000380000003800000038000000380000
  1244. 0070000000700000007000000070000000E0000000E0000000E0000000E0000001C00000
  1245. 01C0000001C0000001C0000003C000007FFE00001A1C799B1E>84
  1246. D<01E307170C0F180F380E300E700E700EE01CE01CE01CE01CE039E039E0396079319A1E
  1247. 0C10127C9115>97 D<3F00070007000E000E000E000E001C001C001C001C0039E03A183C
  1248. 0C380C700C700E700E700EE01CE01CE01CE018E038E030E06060C031801E000F1D7C9C13
  1249. >I<00F803040E041C0E181C300070007000E000E000E000E000E000E004600860103060
  1250. 0F800F127C9113>I<0007E00000E00000E00001C00001C00001C00001C0000380000380
  1251. 00038000038001E7000717000C0F00180F00380E00300E00700E00700E00E01C00E01C00
  1252. E01C00E01C00E03900E03900E03900607900319A001E0C00131D7C9C15>I<00F807040C
  1253. 0418023804300470087FF0E000E000E000E000E00060046008301030600F800F127C9113
  1254. >I<0003C0000670000C70001C60001C00001C0000380000380000380000380000380003
  1255. FF8000700000700000700000700000700000E00000E00000E00000E00000E00001C00001
  1256. C00001C00001C00001C000038000038000038000030000030000070000C60000E60000CC
  1257. 00007800001425819C0D>I<0078C001C5C00303C00603C00E03800C03801C03801C0380
  1258. 380700380700380700380700380E00380E00380E00181E000C7C00079C00001C00001C00
  1259. 003800003800C03000E07000C1C0007F0000121A7E9113>I<0FC00001C00001C0000380
  1260. 000380000380000380000700000700000700000700000E3E000EC3000F03800E03801E03
  1261. 801C03801C03801C0380380700380700380700380E00700E40700E40701C40701C80E00C
  1262. 80600700121D7E9C15>I<01800380010000000000000000000000000000001C00260047
  1263. 0047008E008E000E001C001C001C0038003800710071007100720072003C00091C7C9B0D
  1264. >I<1F800380038007000700070007000E000E000E000E001C001C001C001C0038003800
  1265. 380038007000700070007000E200E200E200E40064003800091D7D9C0B>108
  1266. D<1C1E0780266318C04683A0E04703C0E08E0380E08E0380E00E0380E00E0380E01C0701
  1267. C01C0701C01C0701C01C070380380E0388380E0388380E0708380E0710701C0320300C01
  1268. C01D127C9122>I<383E004CC3004D03804E03809E03809C03801C03801C038038070038
  1269. 0700380700380E00700E40700E40701C40701C80E00C8060070012127C9117>I<00F800
  1270. 030C000E06001C0300180300300300700380700380E00700E00700E00700E00E00E00E00
  1271. E01C0060180060300030E0000F800011127C9115>I<03878004C86004D03004E03009C0
  1272. 3009C03801C03801C0380380700380700380700380600700E00700C00701800783000E86
  1273. 000E78000E00000E00001C00001C00001C00001C0000380000FF0000151A809115>I<01
  1274. E107130C0F180F380E300E700E700EE01CE01CE01CE01CE038E038E038607831F01E7000
  1275. 70007000E000E000E000E001C00FF8101A7C9113>I<1C3C2642468747078E068E000E00
  1276. 0E001C001C001C001C0038003800380038007000300010127C9112>I<01F006080C080C
  1277. 1C18181C001F001FC00FF007F0007800386030E030C030806060C01F000E127D9111>I<
  1278. 03000700070007000E000E000E000E00FFE01C001C001C00380038003800380070007000
  1279. 70007000E080E080E100E100660038000B1A7C990E>I<1C01802E03804E03804E03808E
  1280. 07008E07001C07001C0700380E00380E00380E00380E00301C80301C80301C80383C8018
  1281. 4D000F860011127C9116>I<1C062E0E4E064E068E028E021C021C023804380438043808
  1282. 300830083010382018400F800F127C9113>I<1E01832703874703874703838707018707
  1283. 010E07010E07011C0E021C0E021C0E021C0E04180C04181C04181C081C1E080C263007C3
  1284. C018127C911C>I<0387800CC8400870E01070E020E0C020E00000E00000E00001C00001
  1285. C00001C00001C000038100638100E38200C5820085840078780013127E9113>I<1C0180
  1286. 2E03804E03804E03808E07008E07001C07001C0700380E00380E00380E00380E00301C00
  1287. 301C00301C00383C001878000FB800003800003000007000E06000E0C000818000430000
  1288. 3C0000111A7C9114>I<01C107E10FF6081C100800100020004000800100020004000804
  1289. 10042C0C73F841F080E010127E9111>I E /Fi 43 123 df<001FC1F00070371800C03E
  1290. 3C01807C3C0380783C070038000700380007003800070038000700380007003800070038
  1291. 000700380007003800FFFFFFC00700380007003800070038000700380007003800070038
  1292. 000700380007003800070038000700380007003800070038000700380007003800070038
  1293. 0007003800070038000700380007003C007FE1FFC01E2380A21C>11
  1294. D<00200040008001000300060004000C000C001800180030003000300070006000600060
  1295. 00E000E000E000E000E000E000E000E000E000E000E000E000E000E00060006000600070
  1296. 00300030003000180018000C000C0004000600030001000080004000200B327CA413>40
  1297. D<800040002000100018000C000400060006000300030001800180018001C000C000C000
  1298. C000E000E000E000E000E000E000E000E000E000E000E000E000E000E000C000C000C001
  1299. C0018001800180030003000600060004000C00180010002000400080000B327DA413>I<
  1300. 70F8F8F87005057C840E>46 D<0001800000018000000180000003C0000003C0000003C0
  1301. 000005E0000005E0000009F0000008F0000008F00000107800001078000010780000203C
  1302. 0000203C0000203C0000401E0000401E0000C01F0000800F0000800F0001FFFF80010007
  1303. 8001000780020003C0020003C0020003C0040001E0040001E0040001E0080000F01C0000
  1304. F03E0001F8FF800FFF20237EA225>65 D<FFFFF8000F800E0007800780078003C0078003
  1305. E0078001E0078001F0078001F0078001F0078001F0078001F0078001E0078003E0078007
  1306. C007800F8007803E0007FFFE0007800780078003C0078001E0078001F0078000F0078000
  1307. F8078000F8078000F8078000F8078000F8078000F8078001F0078001F0078003E0078007
  1308. C00F800F00FFFFFC001D227EA123>I<0007E0100038183000E0063001C00170038000F0
  1309. 070000F00E0000701E0000701C0000303C0000303C0000307C0000107800001078000010
  1310. F8000000F8000000F8000000F8000000F8000000F8000000F8000000F800000078000000
  1311. 780000107C0000103C0000103C0000101C0000201E0000200E0000400700004003800080
  1312. 01C0010000E0020000381C000007E0001C247DA223>I<FFFFFFC00F8007C0078001C007
  1313. 8000C0078000400780004007800060078000200780002007800020078020200780200007
  1314. 80200007802000078060000780E00007FFE0000780E00007806000078020000780200007
  1315. 802000078020080780000807800008078000100780001007800010078000300780003007
  1316. 800070078000E00F8003E0FFFFFFE01D227EA121>69 D<FFFFFFC00F8007C0078001C007
  1317. 8000C0078000400780004007800060078000200780002007800020078020200780200007
  1318. 80200007802000078060000780E00007FFE0000780E00007806000078020000780200007
  1319. 802000078020000780000007800000078000000780000007800000078000000780000007
  1320. 800000078000000FC00000FFFE00001B227EA120>I<0007F008003C0C1800E0021801C0
  1321. 01B8038000F8070000780F0000381E0000381E0000183C0000183C0000187C0000087800
  1322. 000878000008F8000000F8000000F8000000F8000000F8000000F8000000F8000000F800
  1323. 1FFF780000F8780000787C0000783C0000783C0000781E0000781E0000780F0000780700
  1324. 0078038000B801C000B800E00318003C0C080007F00020247DA226>I<03FFE0001F0000
  1325. 0F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F0000
  1326. 0F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F0070
  1327. 0F00F80F00F80F00F80E00F01E00401C0020380018700007C00013237EA119>74
  1328. D<FFFC00FF800FC0007C0007800030000780002000078000400007800080000780010000
  1329. 078002000007800400000780080000078010000007802000000780400000078080000007
  1330. 81C000000783E000000785E000000788F000000790F0000007A078000007C03C00000780
  1331. 3C000007801E000007800F000007800F00000780078000078007C000078003C000078001
  1332. E000078001E000078000F000078000F8000FC000FC00FFFC07FF8021227EA126>I<FFFC
  1333. 001F80000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00
  1334. 000F00000F00000F00000F00000F00000F00000F00000F00000F00000F00010F00010F00
  1335. 010F00010F00030F00030F00020F00060F00060F001E1F007EFFFFFE18227DA11E>I<FF
  1336. C00003FF0FC00003F007C00003E005E00005E005E00005E004F00009E004F00009E004F0
  1337. 0009E004780011E004780011E004780011E0043C0021E0043C0021E0043C0021E0041E00
  1338. 41E0041E0041E0040F0081E0040F0081E0040F0081E004078101E004078101E004078101
  1339. E00403C201E00403C201E00401E401E00401E401E00401E401E00400F801E00400F801E0
  1340. 0400F801E004007001E00E007001E01F007003F0FFE0203FFF28227EA12D>I<FF8007FF
  1341. 07C000F807C0007005E0002004F0002004F0002004780020047C0020043C0020041E0020
  1342. 041F0020040F002004078020040780200403C0200401E0200401E0200400F0200400F820
  1343. 0400782004003C2004003E2004001E2004000F2004000F20040007A0040003E0040003E0
  1344. 040001E0040001E0040000E00E0000601F000060FFE0002020227EA125>I<FFFFF0000F
  1345. 803C0007800F0007800780078007C0078003C0078003E0078003E0078003E0078003E007
  1346. 8003E0078003E0078003C0078007C00780078007800F0007803C0007FFF0000780000007
  1347. 800000078000000780000007800000078000000780000007800000078000000780000007
  1348. 8000000780000007800000078000000FC00000FFFC00001B227EA121>80
  1349. D<FFFFE000000F803C000007800E00000780078000078007C000078003C000078003E000
  1350. 078003E000078003E000078003E000078003E000078003C000078007C000078007800007
  1351. 800E000007803C000007FFE000000780700000078038000007801C000007801E00000780
  1352. 0E000007800F000007800F000007800F000007800F000007800F800007800F800007800F
  1353. 800007800F808007800FC080078007C0800FC003C100FFFC01E2000000007C0021237EA1
  1354. 24>82 D<03F0200C0C601802603001E07000E0600060E00060E00060E00020E00020E000
  1355. 20F00000F000007800007F00003FF0001FFE000FFF0003FF80003FC00007E00001E00000
  1356. F00000F0000070800070800070800070800070C00060C00060E000C0F000C0C80180C607
  1357. 0081FC0014247DA21B>I<7FFFFFF87807807860078018400780084007800840078008C0
  1358. 07800C800780048007800480078004800780040007800000078000000780000007800000
  1359. 078000000780000007800000078000000780000007800000078000000780000007800000
  1360. 07800000078000000780000007800000078000000780000007800000078000000FC00001
  1361. FFFE001E227EA123>I<FFF03FFC03FE1F8007E000F80F0003C000700F0003C000200F00
  1362. 01E00020078001E00040078001E00040078003F0004003C002F0008003C002F0008003C0
  1363. 02F0008003E00478018001E00478010001E00478010001E0083C010000F0083C020000F0
  1364. 083C020000F0101E02000078101E04000078101E04000078200F0400003C200F0800003C
  1365. 200F0800003C600F8800001E40079000001E40079000001E4007D000001F8003F000000F
  1366. 8003E000000F8003E000000F0001E00000070001C00000070001C00000060000C0000002
  1367. 000080002F237FA132>87 D<FFF0007FC01F80001F000F80000C00078000080007C00008
  1368. 0003C000100001E000200001F000200000F000400000F800C000007C008000003C010000
  1369. 003E010000001E020000001F060000000F84000000078800000007D800000003D0000000
  1370. 03E000000001E000000001E000000001E000000001E000000001E000000001E000000001
  1371. E000000001E000000001E000000001E000000001E000000001E000000003E00000003FFE
  1372. 000022227FA125>89 D<1FE000303800780C00780E0030070000070000070000070000FF
  1373. 0007C7001E07003C0700780700700700F00708F00708F00708F00F087817083C23900FC1
  1374. E015157E9418>97 D<0E0000FE00001E00000E00000E00000E00000E00000E00000E0000
  1375. 0E00000E00000E00000E00000E00000E1F000E61C00E80600F00300E00380E003C0E001C
  1376. 0E001E0E001E0E001E0E001E0E001E0E001E0E001E0E001C0E003C0E00380F00700C8060
  1377. 0C41C0083F0017237FA21B>I<01FE000703000C07801C0780380300780000700000F000
  1378. 00F00000F00000F00000F00000F00000F000007000007800403800401C00800C01000706
  1379. 0001F80012157E9416>I<0000E0000FE00001E00000E00000E00000E00000E00000E000
  1380. 00E00000E00000E00000E00000E00000E001F8E00704E00C02E01C01E03800E07800E070
  1381. 00E0F000E0F000E0F000E0F000E0F000E0F000E0F000E07000E07800E03800E01801E00C
  1382. 02E0070CF001F0FE17237EA21B>I<01FC000707000C03801C01C03801C07801E07000E0
  1383. F000E0FFFFE0F00000F00000F00000F00000F000007000007800203800201C00400E0080
  1384. 07030000FC0013157F9416>I<00007003F1980E1E181C0E183807003807007807807807
  1385. 807807807807803807003807001C0E001E1C0033F0002000002000003000003800003FFE
  1386. 001FFFC00FFFE03000F0600030C00018C00018C00018C000186000306000303800E00E03
  1387. 8003FE0015217F9518>103 D<0E0000FE00001E00000E00000E00000E00000E00000E00
  1388. 000E00000E00000E00000E00000E00000E00000E1F800E60C00E80E00F00700F00700E00
  1389. 700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E00
  1390. 700E00700E0070FFE7FF18237FA21B>I<1C003E003E003E001C00000000000000000000
  1391. 000000000000000E007E001E000E000E000E000E000E000E000E000E000E000E000E000E
  1392. 000E000E000E000E000E00FFC00A227FA10E>I<0E0000FE00001E00000E00000E00000E
  1393. 00000E00000E00000E00000E00000E00000E00000E00000E00000E03FC0E01F00E01C00E
  1394. 01800E02000E04000E08000E10000E38000EF8000F1C000E1E000E0E000E07000E07800E
  1395. 03C00E01C00E01E00E00F00E00F8FFE3FE17237FA21A>107 D<0E00FE001E000E000E00
  1396. 0E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E00
  1397. 0E000E000E000E000E000E000E000E000E000E000E00FFE00B237FA20E>I<0E1FC07F00
  1398. FE60E183801E807201C00F003C00E00F003C00E00E003800E00E003800E00E003800E00E
  1399. 003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E00
  1400. 3800E00E003800E00E003800E00E003800E00E003800E0FFE3FF8FFE27157F942A>I<0E
  1401. 1F80FE60C01E80E00F00700F00700E00700E00700E00700E00700E00700E00700E00700E
  1402. 00700E00700E00700E00700E00700E00700E00700E0070FFE7FF18157F941B>I<01FC00
  1403. 0707000C01801800C03800E0700070700070F00078F00078F00078F00078F00078F00078
  1404. F000787000707800F03800E01C01C00E038007070001FC0015157F9418>I<0E1F00FE61
  1405. C00E80600F00700E00380E003C0E003C0E001E0E001E0E001E0E001E0E001E0E001E0E00
  1406. 1E0E003C0E003C0E00380F00700E80E00E41C00E3F000E00000E00000E00000E00000E00
  1407. 000E00000E00000E00000E0000FFE000171F7F941B>I<0E3CFE461E8F0F0F0F060F000E
  1408. 000E000E000E000E000E000E000E000E000E000E000E000E000F00FFF010157F9413>
  1409. 114 D<0F8830786018C018C008C008E008F0007F003FE00FF001F8003C801C800C800CC0
  1410. 0CC008E018D0308FC00E157E9413>I<02000200020002000600060006000E001E003E00
  1411. FFFC0E000E000E000E000E000E000E000E000E000E000E000E040E040E040E040E040E04
  1412. 0708030801F00E1F7F9E13>I<0E0070FE07F01E00F00E00700E00700E00700E00700E00
  1413. 700E00700E00700E00700E00700E00700E00700E00700E00700E00F00E00F00601700382
  1414. 7800FC7F18157F941B>I<FF80FE1E00781E00300E00200E00200700400700400780C003
  1415. 808003808001C10001C10000E20000E20000E20000740000740000380000380000380000
  1416. 100017157F941A>I<FF8FF87F3E01E03C1C01C0181C01E0180E01E0100E0260100E0270
  1417. 10070270200704302007043820038438400388184003881C4001C81C8001D00C8001D00E
  1418. 8000F00F0000E0070000E00700006006000040020020157F9423>I<FF83FE1F00F00E00
  1419. C007008007810003830001C20000E400007800007800003800003C00004E00008F000187
  1420. 000103800201C00401E00C00E03E01F0FF03FE17157F941A>I<3FFFC038038030078020
  1421. 0700600E00401C00403C0040380000700000E00001E00001C0000380400700400F00400E
  1422. 00C01C0080380080780180700780FFFF8012157F9416>122 D E
  1423. /Fj 3 34 df<0300030003000300C30CE31C73381FE0078007801FE07338E31CC30C0300
  1424. 0300030003000E127D9215>3 D<03C00FF01FF83FFC7FFE7FFEFFFFFFFFFFFFFFFF7FFE
  1425. 7FFE3FFC1FF80FF003C010107E9115>15 D<000000300000000018000000001800000000
  1426. 18000000000C000000000C0000000006000000000300000000038000000000C0FFFFFFFF
  1427. F8FFFFFFFFF800000000C00000000380000000030000000006000000000C000000000C00
  1428. 000000180000000018000000001800000000300025167E942A>33
  1429. D E /Fk 32 120 df<FFFF80FFFF80FFFF80FFFF80FFFF80FFFF8011067F9016>45
  1430. D<000E00001E00007E0007FE00FFFE00FFFE00F8FE0000FE0000FE0000FE0000FE0000FE
  1431. 0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE
  1432. 0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE
  1433. 00FFFFFEFFFFFEFFFFFE17277BA622>49 D<00FF800007FFF0000FFFFC001E03FE003800
  1434. FF807C003F80FE003FC0FF001FC0FF001FE0FF000FE0FF000FE07E000FE03C001FE00000
  1435. 1FE000001FC000001FC000003F8000003F0000007E000000FC000000F8000001F0000003
  1436. E00000078000000F0000001E0000003C00E0007000E000E000E001C001C0038001C00600
  1437. 01C00FFFFFC01FFFFFC03FFFFFC07FFFFFC0FFFFFF80FFFFFF80FFFFFF801B277DA622>
  1438. I<007F800003FFF00007FFFC000F81FE001F007F003F807F003F803F803F803F803F803F
  1439. 801F803F801F003F8000007F0000007F0000007E000000FC000001F8000007F00000FFC0
  1440. 0000FFC0000001F80000007E0000003F0000003F8000001FC000001FC000001FE000001F
  1441. E03C001FE07E001FE0FF001FE0FF001FE0FF001FC0FF003FC0FE003F807C007F003F01FE
  1442. 001FFFFC0007FFF00000FF80001B277DA622>I<00000F0000000F0000001F0000003F00
  1443. 00007F000000FF000001FF000001FF000003BF0000073F00000E3F00001C3F00003C3F00
  1444. 00383F0000703F0000E03F0001C03F0003803F0007803F0007003F000E003F001C003F00
  1445. 38003F0070003F00F0003F00FFFFFFF8FFFFFFF8FFFFFFF800007F0000007F0000007F00
  1446. 00007F0000007F0000007F0000007F0000007F00001FFFF8001FFFF8001FFFF81D277EA6
  1447. 22>I<00000780000000000780000000000FC0000000000FC0000000000FC0000000001F
  1448. E0000000001FE0000000003FF0000000003FF0000000003FF00000000077F80000000077
  1449. F800000000F7FC00000000E3FC00000000E3FC00000001C1FE00000001C1FE00000003C1
  1450. FF0000000380FF0000000380FF00000007007F80000007007F8000000F007FC000000E00
  1451. 3FC000000E003FC000001C001FE000001C001FE000003FFFFFF000003FFFFFF000003FFF
  1452. FFF00000700007F80000700007F80000F00007FC0000E00003FC0001E00003FE0001C000
  1453. 01FE0001C00001FE0003C00001FF00FFFE003FFFFCFFFE003FFFFCFFFE003FFFFC2E297E
  1454. A833>65 D<00007FE0030007FFFC07001FFFFF0F007FF00F9F00FF0001FF01FC0000FF03
  1455. F800007F07F000003F0FE000001F1FC000001F1FC000000F3F8000000F3F800000077F80
  1456. 0000077F800000077F00000000FF00000000FF00000000FF00000000FF00000000FF0000
  1457. 0000FF00000000FF00000000FF00000000FF000000007F000000007F800000007F800000
  1458. 073F800000073F800000071FC00000071FC000000E0FE000000E07F000001C03F800003C
  1459. 01FC00007800FF0001F0007FF007C0001FFFFF800007FFFE0000007FF00028297CA831>
  1460. 67 D<FFFFFFFC0000FFFFFFFF8000FFFFFFFFE00003FC001FF80003FC0003FC0003FC00
  1461. 00FE0003FC00007F0003FC00003F8003FC00001FC003FC00001FC003FC00000FE003FC00
  1462. 000FE003FC000007F003FC000007F003FC000007F003FC000007F003FC000007F803FC00
  1463. 0007F803FC000007F803FC000007F803FC000007F803FC000007F803FC000007F803FC00
  1464. 0007F803FC000007F803FC000007F803FC000007F003FC000007F003FC000007F003FC00
  1465. 000FE003FC00000FE003FC00000FC003FC00001FC003FC00003F8003FC00007F0003FC00
  1466. 00FF0003FC0003FC0003FC001FF800FFFFFFFFF000FFFFFFFF8000FFFFFFFC00002D297E
  1467. A834>I<FFFFF0FFFFF0FFFFF003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC
  1468. 0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC
  1469. 0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC0003FC
  1470. 0003FC0003FC0003FC00FFFFF0FFFFF0FFFFF014297EA819>73 D<0000FFC00000000FFF
  1471. FC0000003FC0FF000000FE001FC00001FC000FE00003F00003F00007F00003F8000FE000
  1472. 01FC001FC00000FE001FC00000FE003F8000007F003F8000007F007F8000007F807F8000
  1473. 007F807F0000003F807F0000003F80FF0000003FC0FF0000003FC0FF0000003FC0FF0000
  1474. 003FC0FF0000003FC0FF0000003FC0FF0000003FC0FF0000003FC0FF0000003FC0FF0000
  1475. 003FC07F0000003F807F8000007F807F8000007F803F8000007F003F8000007F001FC000
  1476. 00FE001FC03E00FE000FE07F81FC0007E0C1C1F80003F18063F00001F98067E00000FF80
  1477. 3FC000003FC07F0000000FFFFC00000000FFF800C00000003C00C00000001E00C0000000
  1478. 1E01C00000001F83C00000001FFFC00000000FFF800000000FFF800000000FFF00000000
  1479. 07FF0000000003FE0000000001FC0000000000F8002A357CA833>81
  1480. D<00FF806003FFF0E00FFFF8E01F80FDE03F001FE03E0007E07C0003E07C0003E0FC0001
  1481. E0FC0001E0FC0000E0FE0000E0FE0000E0FF000000FFC000007FFC00007FFFE0003FFFF8
  1482. 001FFFFE001FFFFF0007FFFF8003FFFFC000FFFFC0000FFFE000007FE000001FF000000F
  1483. F0000007F0E00003F0E00003F0E00003F0E00003F0F00003E0F00003E0F80007E0FC0007
  1484. C0FF000F80FFE03F80E3FFFE00E1FFFC00C01FF0001C297CA825>83
  1485. D<7FFFFFFFFF807FFFFFFFFF807FFFFFFFFF807F807F807F807C007F800F8078007F8007
  1486. 8078007F80078070007F800380F0007F8003C0F0007F8003C0E0007F8001C0E0007F8001
  1487. C0E0007F8001C0E0007F8001C0E0007F8001C000007F80000000007F80000000007F8000
  1488. 0000007F80000000007F80000000007F80000000007F80000000007F80000000007F8000
  1489. 0000007F80000000007F80000000007F80000000007F80000000007F80000000007F8000
  1490. 0000007F80000000007F80000000007F80000000007F80000000007F80000000007F8000
  1491. 0000007F80000000FFFFFFC00000FFFFFFC00000FFFFFFC0002A287EA72F>I<03FF8000
  1492. 0FFFF0001F01FC003F80FE003F807F003F803F003F803F801F003F8000003F8000003F80
  1493. 00003F8000003F80003FFF8001FC3F800FE03F801F803F803F003F807E003F80FC003F80
  1494. FC003F80FC003F80FC003F80FC005F807E00DF803F839FFC1FFE0FFC03FC03FC1E1B7E9A
  1495. 21>97 D<FFE00000FFE00000FFE000000FE000000FE000000FE000000FE000000FE00000
  1496. 0FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE1FE000FEFFF80
  1497. 0FFE07E00FF803F00FF001F80FE000FC0FE000FC0FE0007E0FE0007E0FE0007F0FE0007F
  1498. 0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007E0FE0007E0FE0007E
  1499. 0FE000FC0FE000FC0FF001F80FF803F00F9C0FE00F0FFF800E01FC00202A7EA925>I<00
  1500. 3FF00001FFFC0003F03E000FC07F001F807F003F007F003F007F007F003E007E0000007E
  1501. 000000FE000000FE000000FE000000FE000000FE000000FE000000FE0000007E0000007E
  1502. 0000007F0000003F0003803F8003801F8007000FE00E0003F83C0001FFF800003FC00019
  1503. 1B7E9A1E>I<00007FF000007FF000007FF0000007F0000007F0000007F0000007F00000
  1504. 07F0000007F0000007F0000007F0000007F0000007F0000007F0000007F0003F87F001FF
  1505. F7F007F03FF00FC00FF01F8007F03F0007F03F0007F07E0007F07E0007F07E0007F0FE00
  1506. 07F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F07E0007F07E00
  1507. 07F03F0007F03F0007F01F800FF00FC01FF007E07FFF01FFE7FF007F87FF202A7EA925>
  1508. I<003FC00001FFF00003E07C000F803E001F801F001F001F003F000F807E000F807E000F
  1509. C07E000FC0FE0007C0FE0007C0FFFFFFC0FFFFFFC0FE000000FE000000FE0000007E0000
  1510. 007E0000007F0000003F0001C01F0001C00F80038007C0070003F01E0000FFFC00003FE0
  1511. 001A1B7E9A1F>I<0007F8003FFC007E3E01FC7F03F87F03F07F07F07F07F03E07F00007
  1512. F00007F00007F00007F00007F00007F000FFFFC0FFFFC0FFFFC007F00007F00007F00007
  1513. F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007
  1514. F00007F00007F00007F00007F00007F0007FFF807FFF807FFF80182A7EA915>I<00FF80
  1515. F003FFE3F80FC1FE1C1F007C7C3F007E7C3E003E107E003F007E003F007E003F007E003F
  1516. 007E003F007E003F003E003E003F007E001F007C000FC1F8000BFFE00018FF8000180000
  1517. 0038000000380000003C0000003FFFF8003FFFFF001FFFFFC00FFFFFE007FFFFF01FFFFF
  1518. F03C0007F07C0001F8F80000F8F80000F8F80000F8F80000F87C0001F07C0001F03F0007
  1519. E00FC01F8007FFFF00007FF0001E287E9A22>I<FFE00000FFE00000FFE000000FE00000
  1520. 0FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE00000
  1521. 0FE000000FE000000FE07E000FE1FF800FE30FC00FE40FE00FE807E00FF807F00FF007F0
  1522. 0FF007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F0
  1523. 0FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F0FFFE3FFF
  1524. FFFE3FFFFFFE3FFF202A7DA925>I<07000F801FC03FE03FE03FE01FC00F800700000000
  1525. 0000000000000000000000FFE0FFE0FFE00FE00FE00FE00FE00FE00FE00FE00FE00FE00F
  1526. E00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE0FFFEFFFEFFFE0F2B7EAA12>I<
  1527. FFE00000FFE00000FFE000000FE000000FE000000FE000000FE000000FE000000FE00000
  1528. 0FE000000FE000000FE000000FE000000FE000000FE000000FE01FFC0FE01FFC0FE01FFC
  1529. 0FE007800FE00F000FE01E000FE03C000FE078000FE0E0000FE3C0000FE7C0000FEFE000
  1530. 0FFFF0000FFFF8000FF3F8000FE1FC000FC0FE000FC07F000FC07F000FC03F800FC01FC0
  1531. 0FC00FE00FC00FE00FC007F0FFFC1FFFFFFC1FFFFFFC1FFF202A7FA923>107
  1532. D<FFE0FFE0FFE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00F
  1533. E00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00F
  1534. E00FE00FE00FE0FFFEFFFEFFFE0F2A7EA912>I<FFC07F001FC000FFC1FFC07FF000FFC3
  1535. 07E0C1F8000FC407F101FC000FC803F200FC000FD803FE00FE000FD003FC00FE000FD003
  1536. FC00FE000FE003F800FE000FE003F800FE000FE003F800FE000FE003F800FE000FE003F8
  1537. 00FE000FE003F800FE000FE003F800FE000FE003F800FE000FE003F800FE000FE003F800
  1538. FE000FE003F800FE000FE003F800FE000FE003F800FE000FE003F800FE000FE003F800FE
  1539. 000FE003F800FE00FFFE3FFF8FFFE0FFFE3FFF8FFFE0FFFE3FFF8FFFE0331B7D9A38>I<
  1540. FFC07E00FFC1FF80FFC30FC00FC40FE00FC807E00FD807F00FD007F00FD007F00FE007F0
  1541. 0FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F0
  1542. 0FE007F00FE007F00FE007F00FE007F00FE007F00FE007F0FFFE3FFFFFFE3FFFFFFE3FFF
  1543. 201B7D9A25>I<003FE00001FFFC0003F07E000FC01F801F800FC03F0007E03F0007E07E
  1544. 0003F07E0003F07E0003F0FE0003F8FE0003F8FE0003F8FE0003F8FE0003F8FE0003F8FE
  1545. 0003F8FE0003F87E0003F07E0003F03F0007E03F0007E01F800FC00FC01F8007F07F0001
  1546. FFFC00003FE0001D1B7E9A22>I<FFE1FE00FFEFFF80FFFE0FE00FF803F00FF001F80FE0
  1547. 01FC0FE000FC0FE000FE0FE000FE0FE0007F0FE0007F0FE0007F0FE0007F0FE0007F0FE0
  1548. 007F0FE0007F0FE0007F0FE0007E0FE000FE0FE000FE0FE000FC0FE001FC0FF001F80FF8
  1549. 07F00FFC0FE00FEFFF800FE1FC000FE000000FE000000FE000000FE000000FE000000FE0
  1550. 00000FE000000FE000000FE00000FFFE0000FFFE0000FFFE000020277E9A25>I<FFC1F0
  1551. FFC7FCFFC63E0FCC7F0FD87F0FD07F0FD07F0FF03E0FE0000FE0000FE0000FE0000FE000
  1552. 0FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE000FFFF00
  1553. FFFF00FFFF00181B7F9A1B>114 D<03FE300FFFF03E03F07800F07000F0F00070F00070
  1554. F80070FE0000FFE0007FFF007FFFC03FFFE01FFFF007FFF800FFF80007FC0000FCE0007C
  1555. E0003CF0003CF00038F80038FC0070FF01E0E7FFC0C1FF00161B7E9A1B>I<00E00000E0
  1556. 0000E00000E00001E00001E00001E00003E00003E00007E0000FE0001FFFE0FFFFE0FFFF
  1557. E00FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0
  1558. 000FE0000FE0700FE0700FE0700FE0700FE0700FE0700FE07007F0E003F0C001FF80007F
  1559. 0014267FA51A>I<FFE07FF0FFE07FF0FFE07FF00FE007F00FE007F00FE007F00FE007F0
  1560. 0FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F00FE007F0
  1561. 0FE007F00FE007F00FE007F00FE007F00FE007F00FE00FF00FE00FF007E017F003F067FF
  1562. 01FFC7FF007F87FF201B7D9A25>I<FFFC7FFC1FFCFFFC7FFC1FFCFFFC7FFC1FFC0FE00F
  1563. E001C007F007E0038007F007E0038007F807F0078003F807F0070003F80FF8070003FC0F
  1564. F80F0001FC0FF80E0001FC1FFC0E0000FE1CFC1C0000FE1CFE1C0000FF387E3C00007F38
  1565. 7E3800007F787F3800003FF03F7000003FF03FF000003FE01FF000001FE01FE000001FE0
  1566. 1FE000000FC00FC000000FC00FC000000F8007C0000007800780000007800780002E1B7F
  1567. 9A31>119 D E end
  1568. %%EndProlog
  1569. %%BeginSetup
  1570. %%Feature: *Resolution 300dpi
  1571. TeXDict begin
  1572. %%PaperSize: A4
  1573.  
  1574. %%EndSetup
  1575. %%Page: 1 1
  1576. 1 0 bop 157 158 a Fk(A)22 b(Consensus)f(T)-6 b(est)22
  1577. b(Suite)h(of)f(T)-6 b(emp)r(oral)23 b(Database)e(Queries)1770
  1578. 136 y Fj(\003)110 278 y Fi(Christian)16 b(S.)g(Jensen)g(\(editor\))57
  1579. b(James)16 b(Cli\013ord)58 b(Shashi)16 b(K.)g(Gadia)59
  1580. b(F)l(abio)16 b(Grandi)206 336 y(P)o(atric)o(k)f(P)l(.)h(Kalua)58
  1581. b(Nic)o(k)15 b(Kline)56 b(Nik)o(os)16 b(Loren)o(tzos)58
  1582. b(Y)l(annis)16 b(Mitsop)q(oulos)244 394 y(Angelo)g(Mon)o(tanari)58
  1583. b(Sunil)15 b(S.)h(Nair)58 b(Elisa)16 b(P)o(eressi)57
  1584. b(Barbara)17 b(P)o(ernici)94 452 y(Edw)o(ard)g(L.)g(Rob)q(ertson)58
  1585. b(John)17 b(F.)f(Ro)q(ddic)o(k)57 b(Nandlal)16 b(L.)g(Sarda)59
  1586. b(Maria)16 b(Rita)g(Scalas)211 511 y(Arie)f(Segev)57
  1587. b(Ric)o(hard)16 b(T.)g(Sno)q(dgrass)60 b(Ab)q(dullah)16
  1588. b(T)l(ansel)58 b(P)o(aolo)16 b(Tib)q(erio)558 569 y(Alexander)f(T)l
  1589. (uzhilin)56 b(Gene)16 b(T.)g(J.)g(W)l(uu)335 731 y(Abstract)-7
  1590. 822 y Fh(This)c(do)n(cument)h(pr)n(esents)g(the)f(temp)n(or)n(al)g
  1591. (datab)n(ase)h(c)n(om-)-57 872 y(munity)f(with)f(an)h(sizable)g(c)n
  1592. (onsensus)g(test)g(suite)f(of)h(temp)n(or)n(al)-57 922
  1593. y(r)n(elational)i(datab)n(ase)i(queries.)j(The)c(test)g(suite)g(is)f
  1594. (intende)n(d)-57 972 y(to)j(b)n(e)g(helpful)g(when)h(evaluating)g(the)f
  1595. (user-friend)r(liness)f(of)-57 1022 y(temp)n(or)n(al)e(r)n(elational)g
  1596. (query)h(languages.)-7 1071 y(The)21 b(test)f(suite)g(c)n(onsists)h(of)
  1597. g(a)g(datab)n(ase)g(schema,)i(an)-57 1121 y(instanc)n(e)c(for)f(the)h
  1598. (schema,)h(and)g(a)f(set)f(of)h(appr)n(oximately)-57
  1599. 1171 y(170)12 b(queries)e(on)i(this)e(datab)n(ase.)19
  1600. b(The)11 b(queries)f(ar)n(e)h(classi\014e)n(d)-57 1221
  1601. y(ac)n(c)n(or)n(ding)i(to)h(a)f(taxonomy,)i(which)e(is)g(also)g
  1602. (include)n(d)h(in)f(the)-57 1271 y(do)n(cument.)-57 1408
  1603. y Fk(1)67 b(In)n(tro)r(duction)-57 1499 y Fg(The)19 b(cen)o(tral)g
  1604. (goal)e(of)h(this)h(do)q(cumen)o(t)f(is)h(to)f(pro)o(vide)h(the)-57
  1605. 1549 y(temp)q(oral)12 b(database)i(comm)o(unit)o(y)d(with)i(an)h
  1606. Fh(extensive)h(c)n(on-)-57 1598 y(sensus)23 b(test)e(suite)h
  1607. Fg(for)f(temp)q(oral)f(relational)h(query)h(lan-)-57
  1608. 1648 y(guages)d(that)g(is)g Fh(indep)n(endent)i Fg(of)e(an)o(y)f
  1609. (existing)h(language)-57 1698 y(prop)q(osal.)e(The)d(test)f(suite)h(is)
  1610. e(not)h(related)h(to)e(p)q(erformance)-57 1748 y(issues,)21
  1611. b(but)e(has)h(a)f Fh(semantic)g Fg(fo)q(cus)h(and)f(is)g(in)o(tended)g
  1612. (to)-57 1798 y(b)q(e)13 b(an)f(aid)g(in)g(ev)n(aluating)f(the)i
  1613. (user-friendliness)g(of)f(temp)q(o-)-57 1847 y(ral)i(query)g
  1614. (languages.)19 b(Th)o(us,)14 b(temp)q(oral)f(query)i(languages)-57
  1615. 1897 y(should)f(ideally)f(b)q(e)i(able)f(to)g(express)i(the)f(included)
  1616. f(queries)-57 1947 y(b)q(oth)h(con)o(v)o(enien)o(tly)h(and)f(naturally)
  1617. m(.)20 b(Ho)o(w)o(ev)o(er,)c(no)f(de\014ni-)-57 1997
  1618. y(tion)d(of)f(user-friendliness)j(is)e(included|this)g(asp)q(ect)h(is)f
  1619. (left)-57 2047 y(to)i(the)g(individual)e(users)j(of)f(the)g(test)h
  1620. (suite.)-7 2096 y(The)f(w)o(ork)g(that)g(lead)g(to)g(this)g(do)q(cumen)
  1621. o(t)f(w)o(as)h(initiated)-57 2146 y(in)i(early)h(1993)e(when)j(all)d
  1622. (in)o(terested)j(researc)o(hers)i(in)c(tem-)-57 2196
  1623. y(p)q(oral)h(databases)h(w)o(ere)h(in)o(vited)e(to)g(participate)h(in)f
  1624. (creat-)-57 2246 y(ing)h(an)h(un)o(biased)g(consensus)h(test)g(suite.)
  1625. 33 b(An)19 b(electronic)-57 2296 y(mail)8 b(distribution)h
  1626. Ff(tdbbenchmark@cs.ari)o(zona.)o(edu)e Fg(has)-57 2346
  1627. y(b)q(een)k(used)f(as)g(the)g(medium)d(for)i(the)h(w)o(ork)f(on)g(the)i
  1628. (test)f(suite,)p -57 2380 389 2 v -11 2407 a Fe(\003)7
  1629. 2418 y Fd(Corresp)q(onden)o(ce)j(ma)o(y)j(b)q(e)f(directed)g(to)g(the)h
  1630. (TSQL)h(electronic)-57 2458 y(mail)10 b(distribution,)e
  1631. Fc(tdbbenchma)o(rk)o(@cs)o(.ar)o(izo)o(na.)o(ed)o(u)p
  1632. Fd(,)g(or)j(to)g(the)f(ed-)-57 2497 y(itor)k(at)h(Aalb)q(org)f(Univ)o
  1633. (ersit)o(y)m(,)g(Datalogi,)f(F)m(r.)i(Ba)r(jers)f(V)m(ej)h(7E,)g(DK{)
  1634. -57 2537 y(9220)e(Aalb)q(org)f(\037,)j(Denmark,)d Fc(csj@iesd.a)o(uc)o
  1635. (.dk)o Fd(.)19 b(This)14 b(do)q(cumen)o(t)-57 2576 y(w)o(as)d(prepared)
  1636. e(b)o(y)h(m)o(ultiple)f(con)o(tributo)o(rs.)j(The)f(names,)e
  1637. (a\016liations,)-57 2616 y(and)g(e-mail)g(addresses)f(of)i(the)f(con)o
  1638. (tributors)e(ma)o(y)i(b)q(e)h(found)e(in)i(a)g(sep-)-57
  1639. 2655 y(arate)g(section)g(at)h(the)g(end)g(of)g(the)g(do)q(cumen)o(t)o
  1640. (.)1013 731 y Fg(and)h(an)h(initial)d(w)o(orking)i(do)q(cumen)o(t)g
  1641. (\(\\The)h(TSQL)g(Benc)o(h-)1013 781 y(mark"\))h(w)o(as)i(constructed)j
  1642. (b)o(y)d(a)g(total)f(of)h(20)f(researc)o(hers.)1013 831
  1643. y(That)f(do)q(cumen)o(t)f(w)o(as)h(presen)o(ted)j(at)d(the)g(ARP)m
  1644. (A/NSF)g(In-)1013 881 y(ternational)j(W)m(orkshop)h(on)f(an)h
  1645. (Infrastructure)i(for)e(T)m(em-)1013 931 y(p)q(oral)g(Databases,)h
  1646. (held)g(in)f(Arlington,)g(TX,)g(June)h(1993,)1013 980
  1647. y(and)13 b(w)o(as)h(subsequen)o(tly)g(discussed)i(among)11
  1648. b(the)j(40)f(in)o(vited)1013 1030 y(temp)q(oral)8 b(database)h(researc)
  1649. o(hers)k(that)c(attended)h(the)g(w)o(ork-)1013 1080 y(shop.)17
  1650. b(The)12 b(presen)o(t)i(do)q(cumen)o(t)d(is)h(the)g(result)g(of)g(the)g
  1651. (initial)1013 1130 y(e\013orts)f(and)e(the)h(e\013orts)h(of)e(the)h(w)o
  1652. (orkshop)g(participan)o(ts)f(and)1013 1180 y(represen)o(ts)16
  1653. b(as)d(suc)o(h)h(a)g(consensus)h(among)c(a)i(large)g(fraction)1013
  1654. 1230 y(of)g(the)i(temp)q(oral)d(database)i(comm)o(unit)o(y)m(.)1063
  1655. 1295 y(The)20 b(test)g(suite)g(consists)h(of)e(a)g(database)h(sc)o
  1656. (hema,)g(an)1013 1345 y(instance)e(for)f(the)h(sc)o(hema,)f(and)g(a)g
  1657. (set)h(of)f(queries)h(on)f(the)1013 1394 y(this)e(database.)21
  1658. b(The)15 b(queries)h(are)f(classi\014ed)g(according)g(to)1013
  1659. 1444 y(a)h(taxonom)o(y)m(,)e(whic)o(h)i(is)g(also)g(part)g(of)g(the)h
  1660. (do)q(cumen)o(t.)24 b(As)1013 1494 y(a)17 b(consequence)j(of)d(the)i
  1661. (cen)o(tral)f(goal)e(ab)q(o)o(v)o(e,)i(no)f(existing)1013
  1662. 1544 y(temp)q(oral)h(data)i(mo)q(dels)f(are)h(used)h(or)f(men)o
  1663. (tioned.)36 b(The)1013 1594 y(database)10 b(sc)o(hema)f(of)g(the)h
  1664. (test)h(suite)f(is)g(describ)q(ed)h(using)e(the)1013
  1665. 1643 y(ER)i(mo)q(del.)k(The)d(presen)o(ted)h(ER)e(sc)o(hema)f(ma)o(y)f
  1666. (b)q(e)j(mapp)q(ed)1013 1693 y(to)h(a)g(set)h(of)f(relation)f(sc)o
  1667. (hemas)h(that)h(\014ts)f(a)g(particular)g(data)1013 1743
  1668. y(mo)q(del.)27 b(With)17 b(the)h(exception)g(of)f(attributes)h
  1669. (illustrating)1013 1793 y(user-de\014ned)12 b(time,)d(the)i(underlying)
  1670. f(temp)q(oral)f(asp)q(ects)j(are)1013 1843 y(implicit)d(in)j(the)h
  1671. (description)g(of)f(the)g(database)h(sc)o(hema.)k(Of)1013
  1672. 1892 y(course,)h(sp)q(eci\014c)h(temp)q(oral)d(data)g(mo)q(dels)g(migh)
  1673. o(t)f(add)i(ex-)1013 1942 y(plicit)f(temp)q(oral)g(attributes.)29
  1674. b(The)18 b(con)o(ten)o(ts)h(of)d(the)i(rela-)1013 1992
  1675. y(tions)g(are)g(describ)q(ed)i(in)d(natural)h(language.)29
  1676. b(The)18 b(actual)1013 2042 y(queries)f(are)g(also)e(giv)o(en)h(only)g
  1677. (in)f(natural)h(language.)25 b(The)1013 2092 y(taxonom)o(y)15
  1678. b(is)i(indep)q(enden)o(t)i(of)d(an)o(y)h(particular)g(temp)q(oral)1013
  1679. 2142 y(query)d(language.)1063 2207 y(The)20 b(test)h(suite)f(is)g(not)f
  1680. (in)o(tended)i(as)f(a)f(substutite)i(to)1013 2256 y(other)13
  1681. b(means)e(of)h(studying)g(query)h(languages,)e(suc)o(h)i(as)g(lab-)1013
  1682. 2306 y(oratory)f(exp)q(erimen)o(ts)h(with)g(users)h(or)f(orthogonalit)o
  1683. (y)e(stud-)1013 2356 y(ies.)33 b(Rather,)19 b(the)g(test)h(suite)f(is)g
  1684. (in)o(tended)g(as)g(a)f(comple-)1013 2406 y(men)o(tary)f(addition)f(to)
  1685. i(the)g(existing)g(rep)q(ertoire)h(of)e(query)1013 2456
  1686. y(language)12 b(ev)n(aluation)f(tec)o(hniques.)19 b(It)13
  1687. b(is)f(emphasized)h(that)1013 2506 y(the)19 b(test)g(suite)g(is)f(not)g
  1688. (in)o(tended)g(to)g(constitute)i(a)e(metric)1013 2555
  1689. y(for)12 b(query)h(language)f(completeness,)h(and)f(as)h(suc)o(h)g(it)g
  1690. (is)f(not)1013 2605 y(a)h(substitute)i(for)e(a)g(rigorous)g
  1691. Fh(the)n(or)n(etic)n(al)g Fg(study)h(of)f(expres-)1013
  1692. 2655 y(siv)o(e)d(p)q(o)o(w)o(ers)h(of)f(v)n(arious)g(temp)q(oral)f
  1693. (query)i(languages.)17 b(Suc)o(h)953 2780 y(1)p eop
  1694. %%Page: 2 2
  1695. 2 1 bop -57 42 a Fg(studies)15 b(are)f(still)e(needed!)20
  1696. b(While)12 b(a)i(sizable,)f(or)h(extensiv)o(e,)-57 91
  1697. y(test)19 b(suite)f(w)o(as)g(purp)q(osely)g(constructed,)j(to)d(ensure)
  1698. h(that)-57 141 y(a)f(wide)h(range)f(of)g(query)h(language)e(design)i
  1699. (asp)q(ects)h(w)o(ere)-57 191 y(co)o(v)o(ered,)14 b(there)h(is)e(no)g
  1700. (formal)d(basis)k(for)f(claiming)d(that)k(the)-57 241
  1701. y(list)f(of)f(queries)j(is)e(complete,)f(or)h(comprehensiv)o(e.)18
  1702. b(No)13 b(suc)o(h)-57 291 y(claim)j(is)i(made!)29 b(It)18
  1703. b(it)g(emphasized)g(that)g(using)f(the)i(test)-57 340
  1704. y(suite)d(as)f(an)f(adv)n(anced,)h(quan)o(titativ)o(e)g(scoring)g
  1705. (system)f(for)-57 390 y(comparing)k(languages)i(mak)o(es)f(little)h
  1706. (sense.)38 b(Th)o(us,)22 b(one)-57 440 y(language)10
  1707. b(is)g(not)g(necessarily)i(sup)q(erior)f(to)f(another)h(just)g(b)q(e-)
  1708. -57 490 y(cause)17 b(one)f(is)g(capable)g(of)g(expressing)h(more)e
  1709. (queries)i(than)-57 540 y(the)d(other.)-7 590 y(In)j(summary)m(,)d(the)
  1710. k(test)g(suite)g(ma)o(y)d(b)q(e)j(understo)q(o)q(d)g(as)-57
  1711. 639 y(simply)f(an)i(un)o(biased)h(list)f(of)f(queries.)36
  1712. b(The)19 b(queries)i(are)-57 689 y(in)o(tended)d(to)f(aid)g(in)f(ev)n
  1713. (aluating)g(the)i(user-friendliness)h(of)-57 739 y(individual)12
  1714. b(temp)q(oral)g(relational)h(query)h(languages.)-7 789
  1715. y(The)k(presen)o(tation)h(is)e(structured)j(as)e(follo)o(ws.)29
  1716. b(Belo)o(w,)-57 839 y(the)18 b(in)o(tended)h(scop)q(e)g(of)e(the)i
  1717. (test)f(suite)h(is)e(de\014ned.)31 b(Sec-)-57 889 y(tions)14
  1718. b(3,)f(4,)h(and)g Fb(??)k Fg(are)d(structured)h(similarly)m(.)g(Eac)o
  1719. (h)e(\014rst)-57 938 y(presen)o(ts)21 b(design)e(criteria,)i(then)e
  1720. (presen)o(ts)i(a)e(sp)q(eci\014c)i(de-)-57 988 y(sign.)29
  1721. b(Section)19 b(3)e(concerns)j(the)e(database)g(sc)o(hema.)30
  1722. b(The)-57 1038 y(next)20 b(section)h(co)o(v)o(ers)f(the)g(database)g
  1723. (instance,)i(and)d(Sec-)-57 1088 y(tion)14 b Fb(??)19
  1724. b Fg(concerns)d(the)f(classi\014cation)f(sc)o(heme.)19
  1725. b(The)c(main)-57 1138 y(b)q(o)q(dy)h(of)g(the)h(do)q(cumen)o(t)f(is)g
  1726. (Section)h Fb(??)p Fg(,)e(whic)o(h)i(presen)o(ts,)-57
  1727. 1188 y(using)25 b(the)g(classi\014cation)g(sc)o(heme,)i(appro)o
  1728. (ximately)c(170)-57 1237 y(queries.)-57 1375 y Fk(2)67
  1729. b(Scop)r(e)-57 1467 y Fg(The)13 b(test)h(suite)f(has)g(b)q(een)h
  1730. (designed)g(to)e(pro)o(vide)h(a)f(\\dense")-57 1516 y(co)o(v)o(erage)i
  1731. (of)e(a)h(restricted)i(range)f(of)e(queries)i(rather)g(than)f(a)-57
  1732. 1566 y(\\sparse")f(co)o(v)o(erage)g(of)e(wide)h(range)h(of)e(queries.)
  1733. 19 b(Additional)-57 1616 y(queries)12 b(that)g(co)o(v)o(er)g(more)e(t)o
  1734. (yp)q(es)i(of)f(queries)h(ma)o(y)e(b)q(e)i(added)-57
  1735. 1666 y(later.)26 b(This)16 b(section)h(c)o(haracterizes)i(the)e(t)o(yp)
  1736. q(es)g(of)f(queries)-57 1716 y(that)e(are,)g(and)f(are)i(not,)e(co)o(v)
  1737. o(ered)i(b)o(y)f(the)g(test)h(suite.)-7 1766 y(T)m(emp)q(oral)g(query)i
  1738. (languages)f(ma)o(y)f(lo)q(osely)h(b)q(e)h(catego-)-57
  1739. 1816 y(rized)h(as)f(relational)f(or)h(ob)r(ject-orien)o(ted.)28
  1740. b(The)18 b(test)g(suite)-57 1865 y(w)o(as)12 b(designed)i(with)e(only)g
  1741. (relational)f(temp)q(oral)g(query)i(lan-)-57 1915 y(guages)20
  1742. b(in)f(mind)g(that)h(ma)o(y)d(b)q(e)k(p)q(erceiv)o(ed)g(as)f(temp)q
  1743. (oral)-57 1965 y(extensions)15 b(of)e(the)i(SQL2)f(query)g(language.)-7
  1744. 2015 y(The)j(in)o(ten)o(tion)g(is)g(to)f(pro)o(vide)h(a)g(foundation)f
  1745. (for)h(com-)-57 2065 y(paring)d(the)i(descriptiv)o(e)g(and)e(op)q
  1746. (erational)g(c)o(haracteristics)-57 2115 y(and)k(capabilities)g(of)g
  1747. (temp)q(oral)f(data)h(mo)q(dels)f(and)i(query)-57 2164
  1748. y(languages.)e(The)12 b(test)h(suite)g(is)f(not)g(aimed)e(at)i(p)q
  1749. (erformance)-57 2214 y(comparisons.)17 b(Prop)q(erly)d(extended)h(with)
  1750. f(additional)d(rela-)-57 2264 y(tion)g(sc)o(hemas)g(and)g(a)f(v)n
  1751. (ariet)o(y)h(of)g(large)f(instances,)j(a)e(p)q(erfor-)-57
  1752. 2314 y(mance)16 b(b)q(enc)o(hmark)g(ma)o(y)f(b)q(e)j(constructed)h
  1753. (from)c(the)i(test)-57 2364 y(suite.)-7 2414 y(A)23 b(n)o(um)o(b)q(er)g
  1754. (of)g(restrictions)i(are)f(imp)q(osed)e(on)h(whic)o(h)-57
  1755. 2463 y(t)o(yp)q(es)e(of)e(queries)i(are)g(in)o(tended)f(to)g(b)q(e)h
  1756. (included)f(in)g(the)-57 2513 y(curren)o(t)15 b(test)g(suite,)f
  1757. (including)f(the)i(follo)o(wing.)-15 2605 y Fj(\017)20
  1758. b Fg(Queries)41 b(are)e(restricted)i(to)e(v)n(alid)f(time)g(only)m(.)26
  1759. 2655 y(T)m(ransaction-time)8 b(related)i(queries)h(are)f(not)f
  1760. (explored.)1054 42 y Fj(\017)21 b Fg(Sc)o(hema)14 b(ev)o(olution)h(and)
  1761. g(v)o(ersioning)g(are)h(not)f(consid-)1096 91 y(ered.)1054
  1762. 173 y Fj(\017)21 b Fg(Incompleteness)14 b(is)g(not)g(considered.)1054
  1763. 255 y Fj(\017)21 b Fg(Recursiv)o(e)15 b(queries)f(are)h(not)f
  1764. (included.)1054 337 y Fj(\017)21 b Fg(General)16 b(temp)q(oral)f
  1765. (reasoning)i(is)f(b)q(ey)o(ond)h(the)g(scop)q(e)1096
  1766. 387 y(of)c(this)h(v)o(ersion)g(of)f(the)i(test)g(suite.)1054
  1767. 468 y Fj(\017)21 b Fg(Queries)j(in)o(v)o(olving)c(aggregation)i
  1768. (facilities)f(are)i(not)1096 518 y(considered.)1054 600
  1769. y Fj(\017)e Fg(Only)15 b(queries)h(are)f(included|up)q(dates)h(are)f
  1770. (not)g(con-)1096 650 y(sidered.)1054 732 y Fj(\017)21
  1771. b Fg(Con)o(tin)o(uous)f(attributes)h(suc)o(h)g(as)f(time)f(are)i(not)g
  1772. (in-)1096 782 y(cluded.)1054 863 y Fj(\017)g Fg(The)e(querying)g(of)f
  1773. (data)g(v)n(alid)f(in)i(the)g(future)g(is)g(not)1096
  1774. 913 y(explored.)1063 1002 y(These)26 b(adv)n(anced)g(asp)q(ects)h(are)f
  1775. (excluded)g(solely)f(for)1013 1051 y(pragmatic)13 b(reasons,)i(and)g
  1776. (the)g(exclusion)g(is)g(not)g(mean)o(t)e(to)1013 1101
  1777. y(imply)e(in)j(an)o(y)f(w)o(a)o(y)g(that)h(the)h(asp)q(ects)g(are)f
  1778. (not)g(imp)q(ortan)o(t.)1013 1151 y(The)20 b(restrictions)h(simply)d
  1779. (represen)o(t)k(an)e(attempt)f(to)g(re-)1013 1201 y(duce)g(the)g(size)h
  1780. (of)d(the)i(initial)e(test)j(suite)f(to)f(manageable)1013
  1781. 1251 y(prop)q(ortions.)1063 1300 y(It)f(is)f(emphasized)h(that)g(this)g
  1782. (test)g(suite)h(is)e(merely)g(the)1013 1350 y(\014rst)21
  1783. b(in)f(a)g(sequence)j(of)d(ev)o(er-more)g(comprehensiv)o(e)h(test)1013
  1784. 1400 y(suites.)d(Later)12 b(v)o(ersions)g(will)f(relax)g(the)i(ab)q(o)o
  1785. (v)o(e)e(restrictions.)1013 1450 y(Sp)q(eci\014cally)m(,)19
  1786. b(the)h(next)g(v)o(ersion)g(of)e(the)i(test)h(suite)e(is)h(in-)1013
  1787. 1500 y(tended)15 b(to)f(include)g(queries)g(that)g(in)o(v)o(olv)o(e)f
  1788. (aggregation.)1013 1636 y Fk(3)67 b(A)37 b(Database)f(Sc)n(hema)i(for)f
  1789. (the)1114 1711 y(T)-6 b(est)22 b(Suite)1013 1810 y Fa(3.1)55
  1790. b(Criteria)1013 1887 y Fg(A)10 b(suitable)g(database)g(sc)o(hema)g(for)
  1791. f(a)h(test)h(suite)g(sati\014es)f(four)1013 1937 y(criteria.)1054
  1792. 2025 y Fj(\017)21 b Fg(The)27 b(sc)o(hema)g(should)g(b)q(e)h(natural.)
  1793. 57 b(That)27 b(is,)j(it)1096 2075 y(should)14 b(corresp)q(ond)h(to)f(a)
  1794. f(reasonable,)h(though)g(p)q(ossi-)1096 2125 y(bly)g(greatly)h
  1795. (simpli\014ed,)d(segmen)o(t)j(of)f(the)h(real)g(w)o(orld.)1096
  1796. 2175 y(This)f(b)q(oth)g(reduces)i(the)f(need)g(to)f(explain)g(the)g(mo)
  1797. q(del)1096 2224 y(and)f(enhances)j(the)e(abilit)o(y)e(to)i(recognize)g
  1798. (v)o(erball)f(pit-)1096 2274 y(falls)g(in)g(the)h(path)g(to)g(the)h
  1799. (query)f(instances.)1054 2356 y Fj(\017)21 b Fg(The)e(sc)o(hema)f
  1800. (should)g(b)q(e)h(simple.)31 b(This)18 b(will)g(aid)f(in)1096
  1801. 2406 y(making)e(the)j(test)h(suite)f(easy)g(to)f(understand.)30
  1802. b(This)1096 2456 y(criterion)13 b(restricts)h(the)f(n)o(um)o(b)q(er)f
  1803. (of)g(relation)g(sc)o(hemas)1096 2506 y(and)20 b(the)h(n)o(um)o(b)q(er)
  1804. e(of)h(attributes)h(of)f(the)h(individual)1096 2555 y(sc)o(hemas.)c
  1805. (Additionally)m(,)9 b(the)k(names)e(of)h(the)g(relations)1096
  1806. 2605 y(and)f(of)g(the)i(attributes)f(should)g(b)q(e)g(short,)g(as)g
  1807. (they)g(will)1096 2655 y(b)q(e)i(referenced)j(rep)q(eatedly)m(.)953
  1808. 2780 y(2)p eop
  1809. %%Page: 3 3
  1810. 3 2 bop 26 42 a Fg(When)26 b(an)g(expansion)f(is)h(prop)q(osed,)j(the)d
  1811. (b)q(ene\014ts)26 91 y(should)f(b)q(e)g(carefully)g(compared)f(with)h
  1812. (the)h(added)26 141 y(complexit)o(y)m(.)-15 234 y Fj(\017)20
  1813. b Fg(The)e(sc)o(hema)f(should)g(allo)o(w)f(for)h(comprehensiv)o(eness)
  1814. 26 284 y(within)i(the)h(c)o(hosen)h(scop)q(e.)37 b(Using)19
  1815. b(the)h(sc)o(hema,)h(it)26 334 y(should)g(b)q(e)h(p)q(ossible)g(form)o
  1816. (ulate)e(queries)i(of)f(all)g(the)26 384 y(t)o(yp)q(es)15
  1817. b(that)f(app)q(ear)g(reasonable.)26 455 y(This)h(indicates)g(a)g(need)h
  1818. (for)f(at)g(least)g(t)o(w)o(o)g(related)h(re-)26 505
  1819. y(lation)d(sc)o(hemas)g(\(for)h(natural-join)e(queries\).)-15
  1820. 598 y Fj(\017)20 b Fg(A)c(sc)o(hema)f(that)h(has)f(already)h(b)q(een)g
  1821. (used)h(frequen)o(tly)26 648 y(is)e(preferred)i(o)o(v)o(er)e(a)g(new)h
  1822. (sc)o(hema.)21 b(This)15 b(guaran)o(tees)26 697 y(that)f(man)o(y)e
  1823. (existing)h(queries)i(can)e(b)q(e)i(adapted)f(easily)26
  1824. 747 y(to)g(the)g(test)h(suite.)-15 840 y Fj(\017)20 b
  1825. Fg(F)m(or)j(clarit)o(y)m(,)h(sc)o(hema)f(and)g(attribute)h(names)e(m)o
  1826. (ust)26 890 y(start)15 b(with)e(capital)g(letters.)-57
  1827. 1020 y Fa(3.2)56 b(The)18 b(Sc)n(hema)-57 1101 y Fg(Rather)23
  1828. b(than)f(de\014ning)h(one)g(particular)f(temp)q(oral)f(rela-)-57
  1829. 1151 y(tional)13 b(database)i(sc)o(hema,)f(w)o(e)h(de\014ne)h(instead)f
  1830. (a)f(database)-57 1200 y(sc)o(hema)9 b(using)g(the)h(ER)f(Mo)q(del.)17
  1831. b(The)10 b(adv)n(an)o(tage)e(of)h(this)h(ap-)-57 1250
  1832. y(proac)o(h)h(is)g(that)g(the)h(ER)f(sc)o(hema)g(describ)q(ed)h(here)h
  1833. (ma)o(y)c(sub-)-57 1300 y(sequen)o(tly)14 b(b)q(e)h(mapp)q(ed)d(to)i(a)
  1834. f(sp)q(eci\014c)i(relational)e(database)-57 1350 y(sc)o(hema)f(in)h(a)f
  1835. (w)o(a)o(y)g(that)h(is)g(appropriate)g(for)f(the)h(particular)-57
  1836. 1400 y(data)d(mo)q(del)f(at)h(hand.)16 b(No)11 b(single)f(relational)e
  1837. (v)o(ersion)j(of)f(the)-57 1449 y(ER)k(sc)o(hema)f(\014ts)h(all)f(temp)
  1838. q(oral)g(relational)f(data)i(mo)q(dels.)-7 1502 y(The)g(database)g(sc)o
  1839. (hema)g(is)g(de\014ned)h(b)o(y)e(the)i(ER)f(sc)o(hema)-57
  1840. 1552 y(in)g(Figure)g(1,)g(con)o(taining)f(three)j(en)o(tit)o(y)e(sets,)
  1841. i(namely)c Ff(Emp)p Fg(,)-57 1601 y Ff(Skills)p Fg(,)19
  1842. b(and)g Ff(Dept)p Fg(,)g(describing)g(emplo)o(y)o(ees,)g(skills,)g(and)
  1843. -57 1651 y(departmen)o(ts,)10 b(resp)q(ectiv)o(ely)m(.)18
  1844. b(The)11 b(attributes)f(of)g(the)g(en)o(tit)o(y)-57 1701
  1845. y(sets,)15 b(and)e(their)i(in)o(terrelationships,)e(are)i(describ)q(ed)
  1846. g(next.)-7 1753 y(En)o(tities)d(in)g(en)o(tit)o(y)g(set)h
  1847. Ff(Emp)f Fg(are)h(represen)o(ted)i(b)o(y)d(the)g(at-)-57
  1848. 1803 y(tributes)g Ff(Name)e Fg(and)h Ff(Salary)f Fg(whic)o(h)h(record)h
  1849. (the)g(names)e(and)-57 1853 y(salaries)16 b(of)f(emplo)o(y)o(ees.)23
  1850. b(In)16 b(addition,)f(attributes)h Ff(Gender)-57 1903
  1851. y Fg(and)e Ff(D-birth)f Fg(indicate)h(the)h(gender)g(and)f(date)h(of)e
  1852. (birth)i(of)-57 1953 y(emplo)o(y)o(ees.)26 b(While)16
  1853. b(the)i(name,)e(salary)m(,)g(and)g(departmen)o(t)-57
  1854. 2002 y(of)g(an)h(emplo)o(y)o(ee)f(v)n(ary)h(o)o(v)o(er)g(time,)f(b)q
  1855. (oth)h(the)g(gender)h(and)-57 2052 y(the)c(date)h(of)e(birth)h(are)g
  1856. (assumed)g(to)f(b)q(e)i(time-in)o(v)n(arian)o(t.)-7 2105
  1857. y(Skills,)d(in)h(en)o(tit)o(y)g(set)i Ff(Skills)p Fg(,)d(are)i
  1858. (represend)i(b)o(y)d(a)g(sin-)-57 2154 y(gle)i(attribute,)h
  1859. Ff(Name)p Fg(,)f(whic)o(h)h(records)h(the)f(names)f(of)g(indi-)-57
  1860. 2204 y(vidual)j(skills.)33 b(The)19 b(name)f(of)h(a)g(skill)f(is)h
  1861. (time-in)o(v)n(arian)o(t.)-57 2254 y(En)o(tit)o(y)12
  1862. b(sets)i Ff(Skills)e Fg(and)g Ff(Emp)g Fg(are)h(connected)i(via)c(an)i
  1863. (n{m)-57 2304 y(relationship)e(set,)h Ff(EmpSkills)p
  1864. Fg(.)j(The)d(skills)e(of)g(an)h(emplo)o(y)o(ee)-57 2354
  1865. y(ma)o(y)h(v)n(ary)h(o)o(v)o(er)h(time.)j(F)m(or)c(example,)f(emplo)o
  1866. (y)o(ees)h(are)h(con-)-57 2403 y(sidered)k(to)f(ha)o(v)o(e)f(the)i
  1867. (skill)d(\\driving")h(only)g(during)g(those)-57 2453
  1868. y(in)o(terv)n(al\(s\))e(when)g(they)g(hold)g(v)n(alid)e(licenses.)-7
  1869. 2506 y(The)j(en)o(tit)o(y)g(set)h Ff(Dept)e Fg(represen)o(ts)j
  1870. (departmen)o(ts)f(and)e(is)-57 2555 y(describ)q(ed)21
  1871. b(b)o(y)d(the)i(attributes)f Ff(Name)f Fg(and)h Ff(Budget)e
  1872. Fg(whic)o(h)-57 2605 y(record)c(the)f(names)f(and)h(budgets)g(of)f
  1873. (departmen)o(ts,)h(resp)q(ec-)-57 2655 y(tiv)o(ely)m(.)22
  1874. b(While)14 b(the)i(budget)g(of)f(a)g(departmen)o(t)h(v)n(aries)f(o)o(v)
  1875. o(er)1013 42 y(time,)d(the)j(name)f(is)g(assumed)g(to)g(b)q(e)h
  1876. (time-in)o(v)n(arian)o(t.)h(Em-)1013 91 y(plo)o(y)o(ees)f(are)h(asso)q
  1877. (ciated)g(with)f(departmen)o(ts)g(b)o(y)g(means)g(of)1013
  1878. 141 y(t)o(w)o(o)20 b(relationship)g(sets.)38 b(First)21
  1879. b Ff(EmpDept)e Fg(records)j(whic)o(h)1013 191 y(emplo)o(y)o(ees)h(w)o
  1880. (ork)h(in)g(whic)o(h)g(departmen)o(ts.)50 b(This)24 b(is)g(a)1013
  1881. 241 y(time-v)n(arying)16 b(n{1)j(relationship)g(set.)35
  1882. b(Second)20 b Ff(MgrDept)p Fg(,)1013 291 y(also)12 b(time-v)n(arying,)e
  1883. (is)i(a)h(1{1)f(relationship)g(set)h(asso)q(ciating)1013
  1884. 340 y(those)18 b(emplo)o(y)o(ees)f(that)g(are)h(managers)e(with)h(the)h
  1885. (depart-)1013 390 y(men)o(ts)13 b(they)i(manage.)1063
  1886. 440 y(A)o(ttributes)g Ff(Name)f Fg(\(of)h Ff(Emp)p Fg(,)f
  1887. Ff(Skills)p Fg(,)f(and)h Ff(Dept)p Fg(\))g(are)i(of)1013
  1888. 490 y(t)o(yp)q(e)k Ff(textString)p Fg(;)h(attribute)f
  1889. Ff(Gender)f Fg(is)h(one)g(of)f Ff(F)h Fg(\(fe-)1013 540
  1890. y(male\))15 b(and)i Ff(M)g Fg(\(male\);)f Ff(Salary)g
  1891. Fg(and)h Ff(Budget)f Fg(are)h(of)f(t)o(yp)q(e)1013 589
  1892. y Ff(integer)p Fg(;)22 b(and)e Ff(D-birth)f Fg(is)i(a)f(user-de\014ned)
  1893. i(time)e(v)n(alue)1013 639 y(whic)o(h)14 b(ma)o(y)e(b)q(e)i(compared)f
  1894. (with)h(v)n(alid)e(times.)1063 689 y(The)18 b(en)o(tit)o(y)g(sets)h(ob)
  1895. q(ey)f(the)h(follo)o(wing)c Fh(snapshot)k Fg(func-)1013
  1896. 739 y(tional)12 b(dep)q(endencies:)1297 818 y(F)m(or)i
  1897. Ff(Emp)p Fg(:)1390 868 y Ff(Name)f Fj(!)g Ff(Salary)1390
  1898. 918 y(Name)g Fj(!)g Ff(Gender)1390 968 y(Name)g Fj(!)g
  1899. Ff(D-birth)1297 1018 y Fg(F)m(or)h Ff(Dept)p Fg(:)1390
  1900. 1068 y Ff(Name)f Fj(!)g Ff(Budget)1063 1150 y Fg(Note)h(that)g
  1901. Ff(Name)f Fg(is)g(the)i(primary)d(k)o(ey)i(of)f Ff(Emp)g
  1902. Fg(\(it)h(is)f(the)1013 1200 y(only)19 b(candidate)h(k)o(ey\).)36
  1903. b(F)m(or)19 b Ff(Skills)p Fg(,)h Ff(Name)f Fg(is)g(the)i(only)1013
  1904. 1250 y(attribute)c(and)g(is)f(th)o(us)h(the)h(k)o(ey)m(.)26
  1905. b(F)m(or)16 b Ff(Dept)p Fg(,)g Ff(Name)g Fg(is)g(the)1013
  1906. 1300 y(primark)c(k)o(ey)m(.)1063 1350 y(It)19 b(is)f(emphasized)h(that)
  1907. g(the)h(notion)e(of)g(k)o(ey)h(do)q(es)h(not)1013 1399
  1908. y(capture)c(corresp)q(ondence)h(b)q(et)o(w)o(een)f(attribute)g(v)n
  1909. (alues)e(and)1013 1449 y(the)j(real-w)o(orld)f(ob)r(jects)i(they)f
  1910. (represen)o(t.)28 b(As)17 b(one)g(conse-)1013 1499 y(quence,)h(it)e(is)
  1911. h(p)q(ossible)f(in)h(this)f(ER)h(sc)o(hema,)f(e.g.,)g(for)g(an)1013
  1912. 1549 y(emplo)o(y)o(ee)d(to)g(c)o(hange)h Ff(Name)g Fg(attribute)g(v)n
  1913. (alue)f(o)o(v)o(er)h(time.)1063 1599 y(This)i(concludes)i(the)g
  1914. (description)f(of)g(the)g(ER)g(sc)o(hema.)1013 1648 y(Next,)29
  1915. b(w)o(e)d(exemplify)e(ho)o(w)i(the)h(ER)f(sc)o(hema)f(ma)o(y)f(b)q(e)
  1916. 1013 1698 y(mapp)q(ed)13 b(to)h(a)f(relational)g(database)h(sc)o(hema.)
  1917. 1098 1778 y Ff(Emp)f Fg(=)i(\()p Ff(Id)p Fg(,)e Ff(Name)p
  1918. Fg(,)f Ff(Salary)p Fg(,)g Ff(Gender)p Fg(,)g Ff(D-birth)p
  1919. Fg(,)1283 1828 y Ff(DeptName)p Fg(\))1098 1877 y Ff(Skill)h
  1920. Fg(=)h(\()p Ff(EmpId)p Fg(,)f Ff(Name)p Fg(\))1098 1927
  1921. y Ff(Dept)g Fg(=)h(\()p Ff(Name)p Fg(,)f Ff(Budget)p
  1922. Fg(,)f Ff(EmpId)p Fg(\))1063 2007 y(Relation)g Ff(Emp)h
  1923. Fg(mo)q(dels)g(the)i(en)o(tit)o(y)e(set)i Ff(Emp)e Fg(and)h(the)g(re-)
  1924. 1013 2057 y(lationship)k(set)j Ff(EmpDept)p Fg(.)34 b(A)o(ttribute)21
  1925. b Ff(EmpId)d Fg(is)i(a)f(time-)1013 2107 y(in)o(v)n(arian)o(t)10
  1926. b(k)o(ey)h(\(i.e.,)g(v)n(alues)g(of)g(this)g(attribute)h(iden)o(tify)f
  1927. (em-)1013 2157 y(plo)o(y)o(ees\).)18 b(Relation)12 b
  1928. Ff(Skills)g Fg(mo)q(dels)g(the)h(relationship)g(set)1013
  1929. 2207 y Ff(EmpSkills)i Fg(and)j(the)g(en)o(tit)o(y)f(set)i
  1930. Ff(Skills)p Fg(.)27 b(Finally)m(,)16 b(rela-)1013 2256
  1931. y(tion)d Ff(Dept)g Fg(mo)q(dels)g(relationship)h(set)h
  1932. Ff(MgrDept)d Fg(and)i(en)o(tit)o(y)1013 2306 y(set)h
  1933. Ff(Dept)p Fg(.)1063 2356 y(In)i(this)g(design,)g Ff(Name)f
  1934. Fg(is)h(the)g(primary)f(k)o(ey)h(of)f Ff(Emp)g Fg(\(it)1013
  1935. 2406 y(is)i(the)g(only)g(candidate)g(k)o(ey\).)31 b(F)m(or)17
  1936. b Ff(Skills)p Fg(,)h(there)h(is)f(no)1013 2456 y(non-trivial)c(k)o(ey)m
  1937. (.)22 b(F)m(or)15 b Ff(Dept)p Fg(,)g(eac)o(h)h(of)f Ff(Name)f
  1938. Fg(and)i Ff(EmpId)e Fg(is)1013 2506 y(a)h(candidate)h(k)o(ey)m(,)g(and)
  1939. g Ff(Name)f Fg(is)g(selected)j(as)e(the)h(primark)1013
  1940. 2555 y(k)o(ey)m(.)1063 2605 y(Eac)o(h)10 b(of)g(the)h(relation)f(sc)o
  1941. (hemas)g(are)h(in)f(snapshot)h(Bo)o(yce-)1013 2655 y(Co)q(dd)j(normal)d
  1942. (form.)953 2780 y(3)p eop
  1943. %%Page: 4 4
  1944. 4 3 bop 254 1083 a @beginspecial 0 @llx 0 @lly 532 @urx
  1945. 391 @ury 3401 @rwi @setspecial
  1946. %%BeginDocument: /user/csj/Papers/InProgress/TSQL/TSQLBM/Initiative/ER3.eps
  1947. /$F2psDict 32 dict def 
  1948. $F2psDict begin
  1949.     $F2psDict /mtrx matrix put
  1950.  
  1951.  /DrawEllipse {
  1952.     /endangle exch def
  1953.     /startangle exch def
  1954.     /yrad exch def
  1955.     /xrad exch def
  1956.     /y exch def
  1957.     /x exch def
  1958.     /savematrix mtrx currentmatrix def
  1959.     x y translate xrad yrad scale 0 0 1 startangle endangle arc
  1960.     savematrix setmatrix
  1961.     } def newpath 0 0 0 0 0 1 DrawEllipse stroke
  1962.  
  1963.     end
  1964.     /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
  1965.     /$F2psEnd {$F2psEnteredState restore end} def
  1966.     %%EndProlog
  1967.  
  1968. $F2psBegin
  1969. 1 setlinecap 1 setlinejoin
  1970. -51 54 translate
  1971. 0.000000 391.000000 translate 0.900 -0.900 scale
  1972. 1.000 setlinewidth
  1973. newpath 101 245 45 21 0 360 DrawEllipse stroke
  1974. /Times-Roman findfont 12.000 scalefont setfont
  1975. 98 251 moveto 
  1976. 1 -1 scale
  1977. (D-birth)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  1978. newpath 302 80 45 21 0 360 DrawEllipse stroke
  1979. /Times-Roman findfont 12.000 scalefont setfont
  1980. 302 86 moveto 
  1981. 1 -1 scale
  1982. (Salary)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  1983. newpath 101 158 45 21 0 360 DrawEllipse stroke
  1984. /Times-Roman findfont 12.000 scalefont setfont
  1985. 101 164 moveto 
  1986. 1 -1 scale
  1987. (Gender)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  1988. newpath 602 290 45 21 0 360 DrawEllipse stroke
  1989. /Times-Roman findfont 12.000 scalefont setfont
  1990. 602 296 moveto 
  1991. 1 -1 scale
  1992. (Budget)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  1993. newpath 599 98 45 21 0 360 DrawEllipse stroke
  1994. newpath 176 80 45 21 0 360 DrawEllipse stroke
  1995. newpath 116 461 45 21 0 360 DrawEllipse stroke
  1996. newpath 239 284 moveto 194 329 lineto 239 374 lineto 284 329 lineto 239 284 lineto  stroke
  1997. newpath 284 224 moveto 284 164 lineto 194 164 lineto 194 224 lineto closepath  stroke
  1998. newpath 284 494 moveto 284 434 lineto 194 434 lineto 194 494 lineto closepath  stroke
  1999. newpath 644 224 moveto 644 164 lineto 554 164 lineto 554 224 lineto closepath  stroke
  2000. newpath 419 59 moveto 374 104 lineto 419 149 lineto 464 104 lineto 419 59 lineto  stroke
  2001. newpath 419 239 moveto 374 284 lineto 419 329 lineto 464 284 lineto 419 239 lineto  stroke
  2002. newpath 374 104 moveto 284 194 lineto 374 284 lineto  stroke
  2003. newpath 464 104 moveto 554 194 lineto 464 284 lineto  stroke
  2004. newpath 239 224 moveto 239 284 lineto  stroke
  2005. newpath 239 374 moveto 239 434 lineto  stroke
  2006. newpath 299 101 moveto 239 164 lineto 173 101 lineto  stroke
  2007. newpath 146 158 moveto 194 194 lineto 146 248 lineto  stroke
  2008. newpath 161 461 moveto 194 461 lineto  stroke
  2009. newpath 599 119 moveto 599 164 lineto  stroke
  2010. newpath 599 224 moveto 599 269 lineto  stroke
  2011. newpath 584 104 moveto 614 104 lineto  stroke
  2012. newpath 159 89 moveto 189 89 lineto  stroke
  2013. newpath 103 467 moveto 130 467 lineto  stroke
  2014. /Times-Roman findfont 12.000 scalefont setfont
  2015. 239 200 moveto 
  2016. 1 -1 scale
  2017. (Emp)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2018. /Times-Roman findfont 12.000 scalefont setfont
  2019. 599 200 moveto 
  2020. 1 -1 scale
  2021. (Dept)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2022. /Times-Roman findfont 12.000 scalefont setfont
  2023. 239 335 moveto 
  2024. 1 -1 scale
  2025. (EmpSkills)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2026. /Times-Roman findfont 12.000 scalefont setfont
  2027. 419 110 moveto 
  2028. 1 -1 scale
  2029. (EmpDept)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2030. /Times-Roman findfont 12.000 scalefont setfont
  2031. 419 290 moveto 
  2032. 1 -1 scale
  2033. (MgrDept)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2034. /Times-Roman findfont 12.000 scalefont setfont
  2035. 254 254 moveto 
  2036. 1 -1 scale
  2037. (n)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2038. /Times-Roman findfont 12.000 scalefont setfont
  2039. 254 419 moveto 
  2040. 1 -1 scale
  2041. (m)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2042. /Times-Roman findfont 12.000 scalefont setfont
  2043. 329 179 moveto 
  2044. 1 -1 scale
  2045. (n)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2046. /Times-Roman findfont 12.000 scalefont setfont
  2047. 509 179 moveto 
  2048. 1 -1 scale
  2049. (1)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2050. /Times-Roman findfont 12.000 scalefont setfont
  2051. 329 221 moveto 
  2052. 1 -1 scale
  2053. (1)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2054. /Times-Roman findfont 12.000 scalefont setfont
  2055. 509 224 moveto 
  2056. 1 -1 scale
  2057. (1)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2058. /Times-Roman findfont 12.000 scalefont setfont
  2059. 176 86 moveto 
  2060. 1 -1 scale
  2061. (Name)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2062. /Times-Roman findfont 12.000 scalefont setfont
  2063. 601 101 moveto 
  2064. 1 -1 scale
  2065. (Name)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2066. /Times-Roman findfont 12.000 scalefont setfont
  2067. 116 464 moveto 
  2068. 1 -1 scale
  2069. (Name)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2070. /Times-Roman findfont 12.000 scalefont setfont
  2071. 239 467 moveto 
  2072. 1 -1 scale
  2073. (Skill)dup stringwidth pop 2 div neg 0 rmoveto  gsave  0.000 rotate show grestore 1 -1 scale
  2074. $F2psEnd
  2075. %%EndDocument
  2076.  @endspecial 575 1216 a Fg(Figure)14 b(1:)k(ER)c(Diagram)d(of)i
  2077. (Database)h(Design)-57 1349 y Fk(4)67 b(The)22 b(T)-6
  2078. b(est)22 b(Suite)i(Data)-57 1448 y Fa(4.1)56 b(Criteria)-15
  2079. 1525 y Fj(\017)20 b Fg(F)m(or)25 b(clarit)o(y)m(,)h(the)g(database)f
  2080. (instance)h(should)f(ide-)26 1575 y(ally)19 b(accord)j(with)e
  2081. Fh(al)r(l)g(and)i(only)f Fg(those)g(constrain)o(ts)26
  2082. 1624 y(whic)o(h)12 b(are)g(explicitly)f(stated)i(in)f(the)g
  2083. (de\014nition)g(of)g(the)26 1674 y(database)i(sc)o(hema.)-15
  2084. 1757 y Fj(\017)20 b Fg(F)m(or)d(simplicit)o(y)e(and)i(ease)i(of)d(t)o
  2085. (yping,)i(attribute)f(v)n(al-)26 1807 y(ues)g(should)g(b)q(e)g(short)g
  2086. (and)f(salary)g(v)n(alues)g(should)h(b)q(e)26 1857 y(m)o(ultiples)12
  2087. b(of)h($10,000.)-15 1940 y Fj(\017)20 b Fg(T)m(ransitions)12
  2088. b(\(i.e.,)f(timestamp)f(v)n(alues\))i(o)q(ccur)i(only)d(at)26
  2089. 1990 y(the)k(b)q(eginning)e(of)g(the)i(mon)o(th,)c(and)j(all)f(dates)h
  2090. (should)26 2040 y(b)q(e)i(in)f(the)h(time)e(in)o(terv)n(al)h(from)f
  2091. (1/1/81)g(to)h(12/31/88)26 2090 y(\(b)q(ecause)h(the)e(digits)f(8)g
  2092. (and)h(9)f(are)i(relativ)o(ely)d(hard)i(to)26 2140 y(distinguish\).)29
  2093. b(Time)17 b(in)o(terv)n(als)g(are)h(all)f(sp)q(eci\014ed)i(b)o(y)26
  2094. 2189 y(the)13 b(inclusiv)o(e)g(starting)f(and)h(ending)f(ev)o(en)o(ts.)
  2095. 19 b(Also)12 b(for)26 2239 y(clarit)o(y)m(,)g(relation)h(instance)h
  2096. (names)e(should)h(start)h(with)26 2289 y(lo)o(w)o(ercase)h(letters.)-15
  2097. 2372 y Fj(\017)20 b Fg(The)12 b(data)e(should)h(include)h(a)f(\\hole)f
  2098. (in)h(the)h(history")f(of)26 2422 y(some)16 b(en)o(tit)o(y)m(.)26
  2099. b(F)m(or)16 b(example,)g(the)h(database)g(ma)o(y)e(b)q(e)26
  2100. 2472 y(designed)d(to)g(con)o(tain)f(a)g(whole)h(in)f(the)h(emplo)o
  2101. (ymen)o(t)d(of)26 2522 y(some)k(emplo)o(y)o(ee.)-15 2605
  2102. y Fj(\017)20 b Fg(The)e(data)g(should)g(include)g(async)o(hronous)g(b)q
  2103. (eha)o(vior)26 2655 y(of)e(attributes.)27 b(F)m(or)16
  2104. b(example,)g(the)h(departmen)o(t)f(and)1096 1349 y(salary)d(of)h(emplo)
  2105. o(y)o(ees)f(ma)o(y)f(c)o(hange)i(indep)q(enden)o(tly)m(.)1013
  2106. 1474 y Fa(4.2)55 b(The)19 b(Data)1013 1554 y Fg(Three)f(instances,)g
  2107. Ff(emp)p Fg(,)e Ff(skills)p Fg(,)f(and)i Ff(dept)p Fg(,)f(are)h
  2108. (de\014ned)1013 1604 y(o)o(v)o(er)e(the)g Ff(Emp)p Fg(,)f
  2109. Ff(Skills)p Fg(,)f(and)i Ff(Dept)f Fg(relation)g(sc)o(hemas,)g(re-)1013
  2110. 1654 y(sp)q(ectiv)o(ely)m(.)j(The)10 b(con)o(ten)o(ts)h(of)e(these)i
  2111. (instances)g(is)e(describ)q(ed)1013 1703 y(b)q(elo)o(w.)1063
  2112. 1755 y(There)15 b(are)f(t)o(w)o(o)g(emplo)o(y)o(ees,)f(iden)o(ti\014ed)
  2113. h(b)o(y)g Fh(ED)19 b Fg(and)14 b Fh(DI)1013 1805 y Fg(in)f(the)i(follo)
  2114. o(wing.)1063 1856 y Fh(ED)j Fg(w)o(ork)o(ed)d(in)e(the)i(T)m(o)o(y)f
  2115. (departmen)o(t)g(from)e(2/1/82)h(to)1013 1906 y(1/31/87,)19
  2116. b(and)h(in)g(the)h(Bo)q(ok)f(departmen)o(t)g(from)e(4/1/87)1013
  2117. 1956 y(to)j(the)i(presen)o(t.)42 b(His)22 b(name)f(w)o(as)g(Ed)h(from)e
  2118. (2/1/82)g(to)1013 2006 y(12/31/87,)f(and)g(Edw)o(ard)h(from)e(1/1/88)h
  2119. (to)g(the)i(presen)o(t.)1013 2056 y(His)f(salary)f(w)o(as)h($20K)f
  2120. (from)f(2/1/82)g(to)i(5/31/82,)f(then)1013 2105 y($30K)10
  2121. b(from)g(6/1/82)f(to)i(1/31/85,)f(then)i($40K)e(from)f(2/1/85)1013
  2122. 2155 y(to)18 b(1/31/87)g(and)g(4/1/87)f(to)i(the)g(presen)o(t.)35
  2123. b Fh(ED)23 b Fg(is)c(male)1013 2205 y(and)d(w)o(as)h(b)q(orn)g(on)g
  2124. (7/1/55.)25 b(Sev)o(eral)17 b(skills)f(are)h(recorded)1013
  2125. 2255 y(for)c Fh(ED)t Fg(.)g(He)h(has)g(b)q(een)h(quali\014ed)d(for)h(t)
  2126. o(yping)g(since)h(4/1/82)1013 2305 y(and)g(quali\014ed)f(for)h
  2127. (\014ling)f(since)i(1/1/85.)i(He)e(w)o(as)f(quali\014ed)1013
  2128. 2354 y(for)e(driving)f(from)f(1/1/82)h(to)h(5/1/82)f(and)h(from)e
  2129. (6/1/84)h(to)1013 2404 y(5/31/88.)1063 2456 y Fh(DI)27
  2130. b Fg(w)o(ork)o(ed)20 b(in)g(and)g(managed)e(the)j(T)m(o)o(y)e
  2131. (departmen)o(t)1013 2506 y(from)12 b(1/1/82)h(to)h(the)h(presen)o(t.)21
  2132. b(Her)15 b(name)e(is)i(Di)e(through-)1013 2555 y(out)i(her)i(emplo)o
  2133. (ymen)o(t.)k(The)16 b(budget)g(of)f(the)i(T)m(o)o(y)d(depart-)1013
  2134. 2605 y(men)o(t)d(w)o(as)h($150K)f(from)f(1/1/82)h(to)g(7/31/84,)f
  2135. ($200K)i(from)1013 2655 y(8/1/84)k(to)i(12/31/86,)f(and)h($100K)f(from)
  2136. g(1/1/87)f(to)i(the)953 2780 y(4)p eop
  2137. %%Page: 5 5
  2138. 5 4 bop -57 42 a Fg(presen)o(t.)19 b(Her)11 b(salary)f(w)o(as)h($30K)f
  2139. (from)f(1/1/82)g(to)h(7/31/84,)-57 91 y($40K)h(from)e(8/1/84)h(to)g
  2140. (8/31/86,)g(then)i($50K)e(from)g(9/1/86)-57 141 y(to)h(the)h(presen)o
  2141. (t.)18 b Fh(DI)g Fg(is)11 b(female)f(and)h(w)o(as)g(b)q(orn)g(on)g
  2142. (10/1/60.)-57 191 y Fh(DI)19 b Fg(has)12 b(b)q(een)h(quali\014ed)e(for)
  2143. g(directing)h(from)e(1/1/82)h(to)h(the)-57 241 y(presen)o(t.)-7
  2144. 293 y(The)i(presen)o(t)i(time)c(\(i.e.,)h(the)h(v)n(alue)f(of)h
  2145. Ff(now)p Fg(\))f(is)h(1/1/90.)-57 441 y Fk(Con)n(tributors)41
  2146. b(and)f(Ac)n(kno)n(wledge-)-57 516 y(men)n(ts)-57 611
  2147. y Fg(An)15 b(alphab)q(ethical)g(listing)f(of)g(names,)g(a\016liations,)
  2148. f(and)i(e-)-57 660 y(mail)c(addresses)16 b(of)e(the)g(con)o(tributors)h
  2149. (follo)o(ws.)-7 712 y(J.)35 b(Cli\013ord,)k(Information)32
  2150. b(Systems)j(Dept.,)40 b(New)-57 762 y(Y)m(ork)h(Univ)o(ersit)o(y)m(,)47
  2151. b Ff(jcliffor@is-4.stern)o(.nyu)o(.edu)p Fg(;)-57 812
  2152. y(S.)23 b(K.)g(Gadia,)g(Computer)g(Science)h(Dept.,)h(Io)o(w)o(a)e
  2153. (State)-57 862 y(Univ)o(ersit)o(y)m(,)17 b Ff(gadia@cs.iastate.edu)o
  2154. Fg(;)f(F.)h(Grandi,)g(Dip.)-57 912 y(di)28 b(Elettronica)g(Informatica)
  2155. e(e)j(Sistemistica,)h(Univ)o(er-)-57 961 y(sit\022)-21
  2156. b(a)30 b(di)f(Bologna,)k(Italy)m(,)f Ff(fabio@deis64.cinec)o(a.it)p
  2157. Fg(;)-57 1011 y(P)m(.)23 b(P)m(.)g(Kalua,)j(Computer)d(Science)i
  2158. (Departmen)o(t,)h(Indi-)-57 1061 y(ana)g(Univ)o(ersit)o(y)m(,)i
  2159. Ff(kalua@cs.indiana)o(.edu)p Fg(;)g(N.)e(Kline,)-57 1111
  2160. y(Computer)33 b(Science)h(Dept.,)k(Univ)o(ersit)o(y)33
  2161. b(of)g(Arizona,)-57 1161 y Ff(kline@cs.arizona.)o(edu)p
  2162. Fg(;)42 b(N.)34 b(Loren)o(tzos,)41 b(Informat-)-57 1210
  2163. y(ics)30 b(Lab)q(oratory)m(,)h(Agicultural)e(Univ)o(ersit)o(y)g(of)g(A)
  2164. o(thens,)-57 1260 y Ff(eliop@isosun.aria)o(dne-t)o(.gr)p
  2165. Fg(;)9 b(Y.)k(Mitsop)q(oulos,)f(Infor-)-57 1310 y(matics)i(Lab)q
  2166. (oratory)m(,)h(Agicultural)g(Univ)o(ersit)o(y)h(of)f(A)o(thens;)-57
  2167. 1360 y(A.)22 b(Mon)o(tanari,)h(Dip.)44 b(di)22 b(Matematica)f(e)i
  2168. (Informatica,)-57 1410 y(Univ)o(ersit\022)-21 b(a)17
  2169. b(di)g(Udine,)h Ff(montanari@uduniv.c)o(inec)o(a.it)p
  2170. Fg(;)-57 1459 y(S.)29 b(S.)g(Nair,)j(Computer)c(Science)j(Departmen)o
  2171. (t,)h(Io)o(w)o(a)-57 1509 y(State)c(Univ)o(ersit)o(y)m(,)h
  2172. Ff(snair@cs.iastate.ed)o(u)p Fg(;)i(E.)c(P)o(er-)-57
  2173. 1559 y(essi,)22 b(Dip.)37 b(di)19 b(Matematica)g(e)i(Informatica,)e
  2174. (Univ)o(ersit\022)-21 b(a)-57 1609 y(di)14 b(Udine,)h
  2175. Ff(peressi@udmi5400.c)o(ineca)o(.it)p Fg(;)d(B.)i(P)o(ernici,)-57
  2176. 1659 y(Dip.)51 b(di)25 b(Matematica)f(e)i(Informatica,)f(Univ)o
  2177. (ersit\022)-21 b(a)26 b(di)-57 1709 y(Udine,)f Ff(pernici@uduniv.cin)o
  2178. (eca.i)o(t)p Fg(;)f(E.)f(L.)g(Rob)q(ert-)-57 1758 y(son,)29
  2179. b(Computer)d(Science)i(Departmen)o(t,)h(Indiana)d(Uni-)-57
  2180. 1808 y(v)o(ersit)o(y)m(,)k Ff(edrbtsn@cs.india)o(na.ed)o(u)p
  2181. Fg(;)h(J.)c(F.)f(Ro)q(ddic)o(k,)-57 1858 y(Sc)o(ho)q(ol)21
  2182. b(of)h(Computer)f(and)g(Information)f(Science,)25 b(Uni-)-57
  2183. 1908 y(v)o(ersit)o(y)f(of)f(South)h(Australia)g Ff(roddick@unisa.ed)o
  2184. (u.au)p Fg(;)-57 1958 y(N.)j(L.)h(Sarda,)i(Computer)d(Science)j(and)d
  2185. (Eng.)h(Dept.,)-57 2007 y(Indian)35 b(Institute)i(of)f(T)m(ec)o
  2186. (hnology)m(,)j(Bom)o(ba)o(y)m(,)g(India,)-57 2057 y Ff
  2187. (nls@cse.iitb.erne)o(t.in)p Fg(;)30 b(M.)c(R.)g(Scalas,)j(Dip.)57
  2188. b(di)-57 2107 y(Elettronica)19 b(Informatica)d(e)j(Sistemistica,)f
  2189. (Univ)o(ersit\022)-21 b(a)19 b(di)-57 2157 y(Bologna,)j(Italy)m(,)f
  2190. Ff(rita@deis64.cineca)o(.it)p Fg(;)g(A.)g(Segev,)-57
  2191. 2207 y(Sc)o(ho)q(ol)30 b(of)g(Business)i(Adm.)d(and)i(Computer)f
  2192. (Science)-57 2256 y(Researc)o(h)d(Dept.,)h(Univ)o(ersit)o(y)e(of)f
  2193. (California,)h Ff(segev@-)-57 2306 y(csr.lbl.gov)p Fg(;)h(R.)c(T.)g
  2194. (Sno)q(dgrass,)k(Computer)d(Science)-57 2356 y(Dept.,)c(Univ)o(ersit)o
  2195. (y)g(of)f(Arizona,)h Ff(rts@cs.arizona.edu)p Fg(;)-57
  2196. 2406 y(A.)39 b(T)m(ansel,)46 b(Bernard)41 b(M.)e(Baruc)o(h)i(College,)k
  2197. (Cit)o(y)-57 2456 y(Univ)o(ersit)o(y)25 b(of)g(New)h(Y)m(ork,)h
  2198. Ff(UZTBB@CUNYVM.CUNY)o(.EDU)p Fg(;)-57 2506 y(P)m(.)22
  2199. b(Tib)q(erio,)i(Dip.)44 b(di)22 b(Elettronica)h(Informatica)d(e)j(Sis-)
  2200. -57 2555 y(temistica,)29 b(Univ)o(ersit\022)-21 b(a)28
  2201. b(di)f(Bologna,)j(Italy)m(,)f Ff(tiberio-)-57 2605 y(@deis64.cineca.it)
  2202. o Fg(.)k(A.)19 b(T)m(uzhilin,)g(Information)e(Sys-)-57
  2203. 2655 y(tems)j(Dept.,)i(New)f(Y)m(ork)g(Univ)o(ersit)o(y)m(,)g
  2204. Ff(tuzhilin@squa-)1013 42 y(re1.stern.nyu.edu)o Fg(;)11
  2205. b(G.)i(T.)g(J)i(W)m(uu,)e(Bell)h(Comm)n(unica-)1013 91
  2206. y(tions)g(Researc)o(h,)g Ff(wuu@ctt.bellcore.c)o(om)p
  2207. Fg(.)953 2780 y(5)p eop
  2208. %%Trailer
  2209. end
  2210. userdict /end-hook known{end-hook}if
  2211. %%EOF
  2212.  
  2213. \documentstyle[twocolumn,epsf]{article}
  2214.  
  2215. \long\def\comment#1{}
  2216. \newcommand{\autsp}{$\;\;\;$}
  2217.  
  2218. \setlength{\textheight}{8.85in}%8.75in}
  2219. \setlength{\columnsep}{2.0pc}
  2220. \setlength{\textwidth}{6.8in}
  2221. \setlength{\footheight}{0.0in}
  2222. \setlength{\topmargin}{0.0in}%{0.25in}
  2223. \setlength{\headheight}{0.0in}
  2224. \setlength{\headsep}{0.0in}
  2225. \setlength{\oddsidemargin}{-.19in}
  2226. \setlength{\parindent}{1pc}
  2227.  
  2228. \newenvironment{prog} { \begin{center} \begin{minipage}{3in}
  2229. \begin{tabbing} nnnn\=nnnn\=nnnn\=nnnn\=nnnn\=nnnn\=nnnn\=\kill
  2230. }{\end{tabbing} \end{minipage} \end{center}}
  2231.  
  2232. \begin{document}
  2233.  
  2234. \title{\Large\bf A Consensus Test Suite of Temporal Database
  2235.   Queries\thanks{Correspondence may be directed to the TSQL electronic
  2236.     mail distribution, {\tt tdbbenchmark@cs.arizona.edu}, or to the
  2237.     editor at Aalborg University, Datalogi, Fr.~Bajers Vej 7E,
  2238.     DK--9220 Aalborg {\O}, Denmark, {\tt csj@iesd.auc.dk}.
  2239.     This document was prepared by multiple contributors. The names,
  2240.     affiliations, and e-mail addresses of the contributors may be
  2241.     found in a separate section at the end of the document.}}
  2242.  
  2243. \author{Christian S.~Jensen (editor) \autsp James Clifford \autsp
  2244.   Shashi K.~Gadia \autsp Fabio Grandi \\ 
  2245.   Patrick P.~Kalua \autsp Nick Kline \autsp Nikos Lorentzos \autsp
  2246.   Yannis Mitsopoulos \\
  2247.   Angelo Montanari \autsp Sunil S.~Nair \autsp Elisa Peressi \autsp
  2248.   Barbara Pernici \\
  2249.   Edward L.~Robertson \autsp John F.~Roddick \autsp Nandlal L.~Sarda
  2250.   \autsp Maria Rita Scalas \\
  2251.   Arie Segev \autsp Richard T.~Snodgrass \autsp Abdullah Tansel \autsp
  2252.   Paolo Tiberio \\
  2253.   Alexander Tuzhilin \autsp Gene T.~J.~Wuu}
  2254.  
  2255. \date{ } 
  2256. \maketitle
  2257.  
  2258. \begin{center}\bf\large Abstract\end{center}
  2259.  
  2260.   {\it This document presents the temporal database community with an
  2261.     sizable consensus test suite of temporal relational database
  2262.     queries. The test suite is intended to be helpful when evaluating
  2263.     the user-friendliness of temporal relational query languages.
  2264.  
  2265.     The test suite consists of a database schema, an instance for the
  2266.     schema, and a set of approximately 170 queries on this database.
  2267.     The queries are classified according to a taxonomy, which is also
  2268.     included in the document.}
  2269.  
  2270. \section{Introduction}
  2271.  
  2272. The central goal of this document is to provide the temporal database
  2273. community with an {\em extensive consensus test suite} for temporal
  2274. relational query languages that is {\em independent} of any existing
  2275. language proposal. The test suite is not related to performance
  2276. issues, but has a {\em semantic} focus and is intended to be an aid in
  2277. evaluating the user-friendliness of temporal query languages. Thus,
  2278. temporal query languages should ideally be able to express the
  2279. included queries both conveniently and naturally. However, no
  2280. definition of user-friendliness is included---this aspect is left to
  2281. the individual users of the test suite.
  2282.  
  2283. The work that lead to this document was initiated in early 1993 when
  2284. all interested researchers in temporal databases were invited to
  2285. participate in creating an unbiased consensus test suite. An
  2286. electronic mail distribution {\tt tdbbenchmark@cs.arizona.edu} has
  2287. been used as the medium for the work on the test suite, and an initial
  2288. working document (``The TSQL Benchmark'') was constructed by a total
  2289. of 20 researchers. That document was presented at the ARPA/NSF
  2290. International Workshop on an Infrastructure for Temporal Databases,
  2291. held in Arlington, TX, June 1993, and was subsequently discussed among
  2292. the 40 invited temporal database researchers that attended the
  2293. workshop. The present document is the result of the initial efforts
  2294. and the efforts of the workshop participants and represents as such a
  2295. consensus among a large fraction of the temporal database community.
  2296.  
  2297. The test suite consists of a database schema, an instance for the
  2298. schema, and a set of queries on the this database. The queries are
  2299. classified according to a taxonomy, which is also part of the
  2300. document. As a consequence of the central goal above, no existing
  2301. temporal data models are used or mentioned. The database schema of the
  2302. test suite is described using the ER model. The presented ER schema
  2303. may be mapped to a set of relation schemas that fits a particular data
  2304. model. With the exception of attributes illustrating user-defined
  2305. time, the underlying temporal aspects are implicit in the description
  2306. of the database schema. Of course, specific temporal data models might
  2307. add explicit temporal attributes. The contents of the relations are
  2308. described in natural language. The actual queries are also given only
  2309. in natural language. The taxonomy is independent of any particular
  2310. temporal query language.
  2311.  
  2312. The test suite is not intended as a substutite to other means of
  2313. studying query languages, such as laboratory experiments with users or
  2314. orthogonality studies. Rather, the test suite is intended as a
  2315. complementary addition to the existing repertoire of query language
  2316. evaluation techniques. It is emphasized that the test suite is not
  2317. intended to constitute a metric for query language completeness, and
  2318. as such it is not a substitute for a rigorous {\em theoretical} study
  2319. of expressive powers of various temporal query languages. Such studies
  2320. are still needed! While a sizable, or extensive, test suite was
  2321. purposely constructed, to ensure that a wide range of query language
  2322. design aspects were covered, there is no formal basis for claiming
  2323. that the list of queries is complete, or comprehensive. No such claim
  2324. is made! It it emphasized that using the test suite as an advanced,
  2325. quantitative scoring system for comparing languages makes little
  2326. sense. Thus, one language is not necessarily superior to another just
  2327. because one is capable of expressing more queries than the other.
  2328.  
  2329. In summary, the test suite may be understood as simply an unbiased
  2330. list of queries. The queries are intended to aid in evaluating the
  2331. user-friendliness of individual temporal relational query languages.
  2332.  
  2333. The presentation is structured as follows. Below, the intended scope
  2334. of the test suite is defined.
  2335. Sections~\ref{sec:sch},~\ref{sec:data},~and~\ref{sec:taxo} are
  2336. structured similarly. Each first presents design criteria, then
  2337. presents a specific design. Section~\ref{sec:sch} concerns the
  2338. database schema. The next section covers the database instance, and
  2339. Section~\ref{sec:taxo} concerns the classification scheme. The main
  2340. body of the document is Section~\ref{sec:queries}, which presents,
  2341. using the classification scheme, approximately 170 queries.
  2342.  
  2343. \section{Scope}
  2344. \label{sec:scope}
  2345.  
  2346. The test suite has been designed to provide a ``dense'' coverage of
  2347. a restricted range of queries rather than a ``sparse'' coverage of
  2348. wide range of queries. Additional queries that cover more types of
  2349. queries may be added later. This section characterizes the types of
  2350. queries that are, and are not, covered by the test suite.
  2351.  
  2352. Temporal query languages may loosely be categorized as relational or
  2353. object-oriented. The test suite was designed with only relational
  2354. temporal query languages in mind that may be perceived as temporal
  2355. extensions of the SQL2 query language.
  2356.  
  2357. The intention is to provide a foundation for comparing the descriptive
  2358. and operational characteristics and capabilities of temporal data
  2359. models and query languages. The test suite is not aimed at performance
  2360. comparisons. Properly extended with additional relation schemas and a
  2361. variety of large instances, a performance benchmark may be constructed
  2362. from the test suite.
  2363.  
  2364. A number of restrictions are imposed on which types of queries are
  2365. intended to be included in the current test suite, including the
  2366. following.
  2367.  
  2368. \begin{itemize}
  2369. \item Queries are restricted to valid time only. Transaction-time
  2370.   related queries are not explored.
  2371.  
  2372. \item Schema evolution and versioning are not considered.
  2373.  
  2374. \item Incompleteness is not considered. 
  2375.  
  2376. \item Recursive queries are not included.
  2377.  
  2378. \item General temporal reasoning is beyond the scope of this version
  2379.   of the test suite.
  2380.  
  2381. \item Queries involving aggregation facilities are not considered.
  2382.  
  2383. \item Only queries are included---updates are not considered.
  2384.  
  2385. \item Continuous attributes such as time are not included.
  2386.  
  2387. \item The querying of data valid in the future is not explored.
  2388.  
  2389. \comment{
  2390. \item Queries involving relations with multivalued dependencies (in
  2391.   the snapshot sense) are not explored.
  2392.  
  2393. \item User-defined time, including the interaction between
  2394.   user-defined time and valid time, is not considered.
  2395.  
  2396. \item Queries involving complex data retrieval are excluded.
  2397.  
  2398. \item Inheritance at both the schema and data levels is not
  2399.   considered.
  2400.  
  2401. \item Nested queries are not included.
  2402.  
  2403. \item For simplicity, each relation is used only once in each query.}
  2404.  
  2405. \end{itemize}
  2406.  
  2407. These advanced aspects are excluded solely for pragmatic reasons, and
  2408. the exclusion is not meant to imply in any way that the aspects are
  2409. not important. The restrictions simply represent an attempt to reduce
  2410. the size of the initial test suite to manageable proportions.
  2411.  
  2412. It is emphasized that this test suite is merely the first in a
  2413. sequence of ever-more comprehensive test suites. Later versions will
  2414. relax the above restrictions. Specifically, the next version of the
  2415. test suite is intended to include queries that involve aggregation.
  2416.  
  2417. \comment{ Specifically, the next version of the test suite is intended
  2418.   to include queries that use the same relation more than once,
  2419.   utilize aggregation, and involve both valid time and user-defined
  2420.   time.}
  2421.  
  2422. \comment{ When transaction time is also included, physical deletion
  2423.   will also be part of the test suite}
  2424.  
  2425. \section{A Database Schema for the Test Suite}
  2426. \label{sec:sch}
  2427.  
  2428. \subsection{Criteria}
  2429.  
  2430. A suitable database schema for a test suite satifies four criteria.
  2431.  
  2432. \begin{itemize}
  2433. \item{} The schema should be natural. That is, it should correspond to
  2434.   a reasonable, though possibly greatly simplified, segment of the
  2435.   real world. This both reduces the need to explain the model and
  2436.   enhances the ability to recognize verball pitfalls in the path to
  2437.   the query instances.
  2438.  
  2439. \item{} The schema should be simple. This will aid in making the
  2440.   test suite easy to understand. This criterion restricts the number of
  2441.   relation schemas and the number of attributes of the individual
  2442.   schemas. Additionally, the names of the relations and of the
  2443.   attributes should be short, as they will be referenced repeatedly.
  2444.  
  2445.   When an expansion is proposed, the benefits should be carefully
  2446.   compared with the added complexity.
  2447.  
  2448. \item{} The schema should allow for comprehensiveness within the
  2449.   chosen scope. Using the schema, it should be possible formulate
  2450.   queries of all the types that appear reasonable.
  2451.  
  2452.   This indicates a need for at least two related relation schemas (for
  2453.   natural-join queries).
  2454.  
  2455. \item{} A schema that has already been used frequently is preferred
  2456.   over a new schema. This guarantees that many existing queries can be
  2457.   adapted easily to the test suite.
  2458.  
  2459. \item{} For clarity, schema and attribute names must start with
  2460.   capital letters.
  2461. \end{itemize}
  2462.  
  2463. \subsection{The Schema}
  2464.  
  2465. Rather than defining one particular temporal relational database
  2466. schema, we define instead a database schema using the ER Model. The
  2467. advantage of this approach is that the ER schema described here may
  2468. subsequently be mapped to a specific relational database schema in a
  2469. way that is appropriate for the particular data model at hand. No
  2470. single relational version of the ER schema fits all temporal
  2471. relational data models.
  2472.  
  2473. The database schema is defined by the ER schema in
  2474. Figure~\ref{fig:er}, containing three entity sets, namely {\tt Emp},
  2475. {\tt Skills}, and {\tt Dept}, describing employees, skills, and
  2476. departments, respectively. The attributes of the entity sets, and
  2477. their interrelationships, are described next.
  2478.  
  2479. \begin{figure*}[htb]
  2480. \begin{center}
  2481. \leavevmode
  2482. \epsfxsize=12cm
  2483. \epsfbox{/user/csj/Papers/InProgress/TSQL/TSQLBM/Initiative/ER3.eps}
  2484. \end{center}
  2485. \caption{ER Diagram of Database Design}
  2486. \label{fig:er}
  2487. \end{figure*}
  2488.  
  2489. Entities in entity set {\tt Emp} are represented by the attributes
  2490. {\tt Name} and {\tt Salary} which record the names and salaries of
  2491. employees. In addition, attributes {\tt Gender} and {\tt D-birth}
  2492. indicate the gender and date of birth of employees. While the name,
  2493. salary, and department of an employee vary over time, both the gender
  2494. and the date of birth are assumed to be time-invariant.
  2495.  
  2496. Skills, in entity set {\tt Skills}, are represend by a single
  2497. attribute, {\tt Name}, which records the names of individual skills.
  2498. The name of a skill is time-invariant. Entity sets {\tt Skills} and
  2499. {\tt Emp} are connected via an n--m relationship set, {\tt EmpSkills}.
  2500. The skills of an employee may vary over time. For example, employees
  2501. are considered to have the skill ``driving'' only during those
  2502. interval(s) when they hold valid licenses.
  2503.  
  2504. The entity set {\tt Dept} represents departments and is described by
  2505. the attributes {\tt Name} and {\tt Budget} which record the names and
  2506. budgets of departments, respectively. While the budget of a department
  2507. varies over time, the name is assumed to be time-invariant. Employees
  2508. are associated with departments by means of two relationship sets.
  2509. First {\tt EmpDept} records which employees work in which departments.
  2510. This is a time-varying n--1 relationship set. Second {\tt MgrDept},
  2511. also time-varying, is a 1--1 relationship set associating those
  2512. employees that are managers with the departments they manage.
  2513.  
  2514. Attributes {\tt Name} (of {\tt Emp}, {\tt Skills}, and {\tt Dept}) are
  2515. of type {\tt textString}; attribute {\tt Gender} is one of {\tt F}
  2516. (female) and {\tt M} (male); {\tt Salary} and {\tt Budget} are of type
  2517. {\tt integer}; and {\tt D-birth} is a user-defined time value which
  2518. may be compared with valid times.
  2519.  
  2520. The entity sets obey the following {\em snapshot} functional
  2521. dependencies:
  2522.  
  2523. \begin{prog}
  2524. For {\tt Emp}: \\
  2525. \> {\tt Name} $\rightarrow$ {\tt Salary} \\
  2526. \> {\tt Name} $\rightarrow$ {\tt Gender} \\
  2527. \> {\tt Name} $\rightarrow$ {\tt D-birth} \\
  2528. For {\tt Dept}: \\
  2529. \> {\tt Name} $\rightarrow$ {\tt Budget}
  2530. \end{prog}
  2531.  
  2532. Note that {\tt Name} is the primary key of {\tt Emp} (it is the only
  2533. candidate key). For {\tt Skills}, {\tt Name} is the only attribute and
  2534. is thus the key. For {\tt Dept}, {\tt Name} is the primark key.
  2535.  
  2536. It is emphasized that the notion of key does not capture
  2537. correspondence between attribute values and the real-world objects
  2538. they represent. As one consequence, it is possible in this ER schema,
  2539. e.g., for an employee to change {\tt Name} attribute value over time.
  2540.  
  2541. This concludes the description of the ER schema. Next, we exemplify
  2542. how the ER schema may be mapped to a relational database schema.
  2543.  
  2544. \begin{prog}
  2545. {\tt Emp} = ({\tt Id}, {\tt Name}, {\tt Salary}, {\tt Gender},
  2546. {\tt D-birth},\\
  2547. \>\> {\tt DeptName}) \\
  2548. {\tt Skill} = ({\tt EmpId}, {\tt Name}) \\
  2549. {\tt Dept} = ({\tt Name}, {\tt Budget}, {\tt EmpId})
  2550. \end{prog}
  2551.  
  2552. Relation {\tt Emp} models the entity set {\tt Emp} and the
  2553. relationship set {\tt EmpDept}. Attribute {\tt EmpId} is a
  2554. time-invariant key (i.e., values of this attribute identify
  2555. employees). Relation {\tt Skills} models the relationship set {\tt
  2556.   EmpSkills} and the entity set {\tt Skills}.  Finally, relation {\tt
  2557.   Dept} models relationship set {\tt MgrDept} and entity set {\tt
  2558.   Dept}.
  2559.  
  2560. In this design, {\tt Name} is the primary key of {\tt Emp} (it is the
  2561. only candidate key). For {\tt Skills}, there is no non-trivial key.
  2562. For {\tt Dept}, each of {\tt Name} and {\tt EmpId} is a
  2563. candidate key, and {\tt Name} is selected as the primark key.
  2564.  
  2565. Each of the relation schemas are in snapshot Boyce-Codd normal form.
  2566.  
  2567. \section{The Test Suite Data}
  2568. \label{sec:data}
  2569.  
  2570. \subsection{Criteria}
  2571.  
  2572. \begin{itemize}
  2573. \item{} For clarity, the database instance should ideally accord with
  2574.   {\em all and only} those constraints which are explicitly stated in
  2575.   the definition of the database schema. 
  2576.  
  2577. \item{} For simplicity and ease of typing, attribute values should be
  2578.   short and salary values should be multiples of \$10,000.
  2579.  
  2580. \item{} Transitions (i.e., timestamp values) occur only at the
  2581.   beginning of the month, and all dates should be in the time interval
  2582.   from 1/1/81 to 12/31/88 (because the digits 8 and 9 are relatively
  2583.   hard to distinguish). Time intervals are all specified by the
  2584.   inclusive starting and ending events. Also for clarity, relation
  2585.   instance names should start with lowercase letters.
  2586.  
  2587. \item{} The data should include a ``hole in the history'' of some
  2588.   entity. For example, the database may be designed to contain a whole
  2589.   in the employment of some employee.
  2590.  
  2591. \item{} The data should include asynchronous behavior of attributes.
  2592.   For example, the department and salary of employees may change
  2593.   independently.
  2594. \end{itemize}
  2595.  
  2596. \subsection{The Data}
  2597.  
  2598. Three instances, {\tt emp}, {\tt skills}, and {\tt dept}, are defined
  2599. over the {\tt Emp}, {\tt Skills}, and {\tt Dept} relation schemas,
  2600. respectively. The contents of these instances is described below.
  2601.  
  2602. There are two employees, identified by {\em ED\/} and {\em DI\/} in
  2603. the following.
  2604.  
  2605. {\em ED\/} worked in the Toy department from 2/1/82 to 1/31/87, and in
  2606. the Book department from 4/1/87 to the present. His name was Ed from
  2607. 2/1/82 to 12/31/87, and Edward from 1/1/88 to the present. His salary
  2608. was \$20K from 2/1/82 to 5/31/82, then \$30K from 6/1/82 to 1/31/85,
  2609. then \$40K from 2/1/85 to 1/31/87 and 4/1/87 to the present. {\em
  2610.   ED\/} is male and was born on 7/1/55. Several skills are recorded
  2611. for {\em ED\/}. He has been qualified for typing since 4/1/82 and
  2612. qualified for filing since 1/1/85. He was qualified for driving from
  2613. 1/1/82 to 5/1/82 and from 6/1/84 to 5/31/88.
  2614.  
  2615. {\em DI\/} worked in and managed the Toy department from 1/1/82 to the
  2616. present. Her name is Di throughout her employment. The budget of the
  2617. Toy department was \$150K from 1/1/82 to 7/31/84, \$200K from 8/1/84
  2618. to 12/31/86, and \$100K from 1/1/87 to the present. Her salary was
  2619. \$30K from 1/1/82 to 7/31/84, \$40K from 8/1/84 to 8/31/86, then \$50K
  2620. from 9/1/86 to the present. {\em DI\/} is female and was born on
  2621. 10/1/60. {\em DI\/} has been qualified for directing from 1/1/82 to
  2622. the present.
  2623.  
  2624. The present time (i.e., the value of {\tt now}) is 1/1/90.
  2625.  
  2626. \section*{Contributors and Acknowledgements}
  2627.  
  2628. An alphabethical listing of names, affiliations, and e-mail addresses
  2629. of the contributors follows.
  2630.  
  2631. J.~Clifford, Information Systems Dept., New York University, {\tt
  2632.   jclif\-for@is-4.stern.nyu.edu}; S.~K.~Gadia, Computer Science Dept.,
  2633. Iowa State University, {\tt gadia@cs.iastate.edu}; F.~Grandi, Dip. di
  2634. Elettronica Informatica e Sistemistica, Universit\`a di Bologna,
  2635. Italy, {\tt fabio@deis64.cineca.it}; P.~P.~Kalua, Computer Science
  2636. Department, Indiana University, {\tt kalua@cs.indiana.edu}; N.~Kline,
  2637. Computer Science Dept., University of Arizona, {\tt
  2638.   kline@cs.\-arizona.edu}; N.~Lorentzos, Informatics Laboratory,
  2639. Agicultural University of Athens, {\tt eliop@isosun.ariadne-t.gr};
  2640. Y.~Mitsopoulos, Informatics Laboratory, Agicultural University of
  2641. Athens; A.~Montanari, Dip. di Matematica e Informatica, Universit\`a
  2642. di Udine, {\tt mon\-ta\-nari@\-uduniv.cineca.it}; S.~S.~Nair, Computer
  2643. Science Department, Iowa State University, {\tt
  2644.   snair@\-cs.ia\-state.edu}; E.~Peressi, Dip. di Matematica e
  2645. Informatica, Universit\`a di Udine, {\tt peressi@udmi5400.cineca.it};
  2646. B.~Pernici, Dip. di Matematica e Informatica, Universit\`a di Udine,
  2647. {\tt pernici@uduniv.cineca.it}; E.~L.~Robertson, Computer Science
  2648. Department, Indiana University, {\tt edrbt\-sn@\-cs.indiana.edu};
  2649. J.~F.~Roddick, School of Computer and Information Science, University
  2650. of South Australia {\tt roddick@unisa.edu.au}; N.~L.~Sarda, Computer
  2651. Science and Eng.~Dept., Indian Institute of Technology, Bombay, India,
  2652. {\tt nls@cse.iitb.ernet.in}; M.~R.~Scalas, Dip. di Elettronica
  2653. Informatica e Sistemistica, Universit\`a di Bologna, Italy, {\tt
  2654.   rita@deis64.cineca.it}; A.~Segev, School of Business Adm.~and
  2655. Computer Science Research Dept., University of California, {\tt
  2656.   segev@\-csr.lbl.gov}; R.~T.~Snodgrass, Computer Science Dept.,
  2657. University of Arizona, {\tt rts@\-cs.arizona.edu}; A.~Tansel, Bernard
  2658. M.~Baruch College, City University of New York, {\tt
  2659.   UZTBB@CUNYVM.CUNY.EDU}; P.~Tiberio, Dip. di Elettronica Informatica
  2660. e Sistemistica, Universit\`a di Bologna, Italy, {\tt
  2661.   tiberio\-@deis64.cineca.it}.  A.~Tuzhilin, Information Systems Dept.,
  2662. New York University, {\tt tuz\-hilin@squa\-re1.stern.nyu.edu};
  2663. G.~T.~J~Wuu, Bell Communications Research, {\tt wuu@ctt.bellcore.com}.
  2664.  
  2665. \end{document}
  2666.  
  2667. From pms@information-systems.east-anglia.ac.uk  Wed Aug 11 08:05:19 1993
  2668. Received: from sun2.nsfnet-relay.ac.uk by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2669.     id AA19876; Wed, 11 Aug 1993 08:05:19 MST
  2670. Via: uk.ac.east-anglia.information-systems; Wed, 11 Aug 1993 16:04:59 +0100
  2671. Date: Wed, 11 Aug 93 16:05:04 BST
  2672. Message-Id: <28361.9308111505@sys.uea.ac.uk>
  2673. Received: from [139.222.4.68] (pms.sys.uea.ac.uk) by sys.uea.ac.uk;
  2674.           Wed, 11 Aug 93 16:05:05 BST
  2675. To: tdbbenchmark@cs.arizona.edu
  2676. From: Peter Stocker <pms@information-systems.east-anglia.ac.uk> (Peter Stocker)
  2677. X-Sender: pms@139.222.1.5
  2678. Subject: Benchmark test suite
  2679.  
  2680. Is it possible to collect the benchmark set of queries by electonic mail?
  2681.  Thanks.
  2682.  
  2683. Peter Stocker
  2684.  
  2685.  
  2686. From rts  Thu Aug 12 16:18:11 1993
  2687. Received: from boojum.CS.Arizona.EDU by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2688.     id AA29418; Thu, 12 Aug 1993 16:18:12 MST
  2689. Date: Thu, 12 Aug 1993 16:18:11 MST
  2690. From: "Rick Snodgrass" <rts>
  2691. Message-Id: <199308122318.AA02309@boojum.cs.arizona.edu>
  2692. Received: by boojum.cs.arizona.edu; Thu, 12 Aug 1993 16:18:11 MST
  2693. To: tdbbenchmark@cs.arizona.edu
  2694. Subject: Re: Benchmark initiative--update and requests
  2695.  
  2696. (Page numbers refer to the workshop proceedings version.)
  2697.  
  2698. 1. New benchmark queries
  2699.     I have no new queries to propose.
  2700.  
  2701. 2. Integration of appendices
  2702.     To address my concerns raised in my appendix of the previous draft,
  2703.     I propose the following concrete changes.
  2704.  
  2705.     * Add "From 4/1/87 to the present, he has managed the Book department."
  2706.     in line 10 of the second column on page 4.
  2707.  
  2708.     * Replace the last sentence of the first full paragraph on page QQ-6
  2709.     with "Third, like the first argument, the second argument may be
  2710.     computed from valid times and/or user-defined attribute values in the
  2711.     argument tuples."
  2712.  
  2713.     * Remove the first sentence of the italicized paragraph at the end
  2714.     of section 6.4.2.
  2715.  
  2716.     * Replace the two possibilities, Derived and Imposed, for the value of
  2717.     the valid-time attribute in Figure 6 with four possibilities:
  2718.     Intersection, Union, Derived, and Imposed. Add Intersection and Union
  2719.     to the rightmost set of Figure 2. Add the following after the "a
  2720.     derived value is computer solely..." sentence: "The derived value
  2721.     may involve the intersection of the underlying valid-time
  2722.     components, a union of the underlying components, or may be computed
  2723.     in some other way from the valid-time components (termed, simply,
  2724.     derived.)" The following queries, with a current vaid-time component
  2725.     of "Derived," would be reclassified as follows.
  2726.  
  2727.     Q 3.9.1: Intersection
  2728.     Q 3.9.2: Value
  2729.     Q 3.9.3: Intersection
  2730.     Q 3.9.4: Intersection
  2731.     Q 3.9.5: Intersection
  2732.     Q 3.9.6: Intersection
  2733.     Q 3.9.7: Union
  2734.     Q 4.1.1: Value
  2735.     Q 4.1.2: Value
  2736.     Q 4.1.3: Value
  2737.     Q 4.1.4: Value
  2738.     Q 4.1.5: Value
  2739.     Q 4.2.1: Value
  2740.     Q 4.2.2: Value
  2741.     Q 4.2.3: Value
  2742.     Q 4.2.4: Intersection
  2743.     Q 4.2.5: Value
  2744.     Q 4.3.1: Intersection
  2745.     Q 4.3.2: Derived
  2746.     Q 4.3.3: Derived
  2747.     Q 4.3.4: Derived
  2748.     Q 4.3.5: Intersection
  2749.     Q 4.3.6: Derived
  2750.     Q 4.3.7: Derived
  2751.     Q 4.4.6: Value
  2752.     Q 4.5.1: None
  2753.     Q 4.5.2: Value
  2754.     Q 4.5.3: Value
  2755.     Q 4.5.4: Intersection
  2756.     Q 4.5.5: Intersection
  2757.     Q 4.5.6: Derived
  2758.     Q 4.6.1: Value
  2759.     Q 4.6.2: Value
  2760.     Q 4.6.3: Derived
  2761.     Q 4.6.4: Value
  2762.     Q 4.6.5: Value
  2763.     Q 4.6.6: Value
  2764.  
  2765.     I'll be happy to reclassify any remaining queries, if Christian
  2766.     so desires, to complete this change.
  2767.  
  2768. 3. Revision of queries
  2769.     With the above changes, the following changes to the queries are
  2770.     required.
  2771.  
  2772.     * Change the category of Q 4.2.5 to "(Projected, Interval, Derived) /
  2773.     (Duration, Interval, Computed) / (=, Constant) (=, Constant)
  2774.  
  2775. 4. Authorship
  2776.     I think the presentation of the authors and the appendix is
  2777.     entirely appropriate.
  2778.  
  2779. 5. Strawman proposals for revised sections
  2780.     I feel that Christian did an excellent job in addressing the
  2781.     concerns raised at the workshop. I have only a few typographical
  2782.     remarks.
  2783.  
  2784. page 1, 2nd column, line 10    "represents as such" replace with "as such
  2785.                 represents"
  2786. page 2                replace "!" with "."
  2787.     1st column, line 2    remove comma after constructed
  2788. page 3, 1st column, line -15    replace "name, salary, and department" with
  2789.                 "name and salary"
  2790.         line -13    replace "n-m" with "$n$-$m$", ditto throughout
  2791.     somewhere        mention that all three relationships are
  2792.                 time varying
  2793.     2nd column, line 21    Put \noindent before "Note that..."
  2794.  
  2795. From csj@iesd.auc.dk  Mon Aug 23 23:11:55 1993
  2796. Received: from iesd.auc.dk by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2797.     id AA14945; Mon, 23 Aug 1993 14:12:18 MST
  2798. Received: from yellow.iesd.auc.dk by iesd.auc.dk with SMTP id AA06189
  2799.   (5.65c8/IDA-1.5/MD for <tdbbenchmark@cs.arizona.edu>); Mon, 23 Aug 1993 23:11:58 +0200
  2800. Received: by yellow.iesd.auc.dk id AA16254
  2801.   (5.65c8/IDA-CLIENT/MD for tdbbenchmark@cs.arizona.edu); Mon, 23 Aug 1993 23:11:55 +0200
  2802. Date: Mon, 23 Aug 1993 23:11:55 +0200
  2803. From: "Christian S. Jensen" <csj@iesd.auc.dk>
  2804. Message-Id: <199308232111.AA16254@yellow.iesd.auc.dk>
  2805. To: tdbbenchmark@cs.arizona.edu
  2806. Subject: Final Test Suite Available for ftp.
  2807.  
  2808.  
  2809.     *************************************************************
  2810.     **    Consensus Test Suite of Temporal Database Queries    **
  2811.     *************************************************************
  2812.  
  2813. Dear coauthors and colleagues,
  2814.  
  2815. All deadlines are behind us, and the task of consolidating the
  2816. "benchmark" (from now on named "test suite") according to the comments
  2817. from the participants at the temporal database workshop as well as
  2818. later comments from the general community has been completed.
  2819.  
  2820. As editor for the test suite, I thank all that have taken an interest
  2821. in the preparation of the document. I have enjoyed working with you,
  2822. and I think we have reached a result that we can be proud of.
  2823.  
  2824. The final version of the test suite is available via anonymous ftp
  2825. from cs.arizona.edu. It is named "testSuite" and may be found in .ps
  2826. and .tex formats (a file ER3.eps accompanies the .tex file). It may be
  2827. found in the tsql directory. This document will be made part of the
  2828. workshop report.
  2829.  
  2830. Best regards,
  2831. Christian S. Jensen (editor)
  2832. Aalborg University
  2833. csj@iesd.auc.dk
  2834.  
  2835.  
  2836. From b_theodoulidis@mac.co.umist.ac.uk  Tue Jan 11 09:00:54 1994
  2837. Message-Id: <199401111600.AA12100@optima.CS.Arizona.EDU>
  2838. Received: from mac.co.umist.ac.uk (postmanpat.mac.co.umist.ac.uk) by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2839.     id AA12100; Tue, 11 Jan 1994 09:00:54 MST
  2840. Date: 11 Jan 94 15:49:25 U
  2841. From: "Babis Theodoulidis" <b_theodoulidis@mac.co.umist.ac.uk>
  2842. Subject: CFP for ER94
  2843. To: aab@sna.co.umist.ac.uk, georgios@sna.co.umist.ac.uk,
  2844.         chaud@sna.co.umist.ac.uk, dbworld@cs.wisc.edu,
  2845.         ingresusers@sna.co.umist.ac.uk, karvelis@sna.co.umist.ac.uk,
  2846.         loren@leon.nrcps.ariadne-t.gr, p_loucopoulos@mac.co.umist.ac.uk,
  2847.         l_macaulay@mac.co.umist.ac.uk, amunoz@cph.es, terttu@mars.dsv.su.se,
  2848.         ores@mac.co.umist.ac.uk, ikbsbb@inf.rl.ac.uk, chs@cph.es,
  2849.         sou@sna.co.umist.ac.uk, tdbbenchmark@cs.arizona.edu,
  2850.         b_theodoulidis@mac.co.umist.ac.uk, dtselios@leon.nrcps.ariadne-t.gr,
  2851.         tsql@cs.arizona.edu, S.Vadera@MCS.Salford.ac.uk,
  2852.         RVidgen@MCS.Salford.ac.uk, was@cs.man.ac.uk, JRGWood@MCS.Salford.ac.uk,
  2853.         woodharper@mcs.salford.ac.uk
  2854.  
  2855. REGARDING                CFP for ER94
  2856.  
  2857.  
  2858. CALL FOR PAPERS
  2859.                                  
  2860.                           The Thirteenth
  2861.                     International Conference on
  2862.                                  
  2863.                                 THE
  2864.                         ENTITY-RELATIONSHIP
  2865.                              APPROACH
  2866.                                  
  2867.              "Business Modelling and Re-engineering"
  2868.                     
  2869.                                  
  2870.                         December 13-16 1994
  2871.                                  
  2872.                                  
  2873.                           Manchester, UK
  2874.                                  
  2875.                            Sponsored by:
  2876.                      British Computer Society
  2877.                                SERC
  2878.                                UMIST
  2879.                            ER Institute
  2880.  
  2881. The Conference
  2882.  
  2883. The  ER  conference  is  the  primary forum  for  researchers  and
  2884. practitioners in the field of conceptual data modelling. Since its
  2885. inception,  the ER conference has proved to be one  of  the  major
  2886. vehicles   for   exchange  of  research  results   and   practical
  2887. experiences  using  many different modelling approaches  including
  2888. variants  of  the  ER  model, Object-Oriented models,  Object-Role
  2889. models, Rule-based models, Temporal models etc. as well as related
  2890. technology aspects such as databases and knowledge bases.
  2891.  
  2892. The  ER '94 conference will offer a programme of state of the  art
  2893. papers, combined with panel sessions, invited talks and tutorials.
  2894. The theme of the conference in 1994 will be Business Modelling and
  2895. Re-engineering.  This  is a key challenging area  as  increasingly
  2896. organisations strive to improve the co-ordination between  systems
  2897. and  ultimately  individuals. Improving the performance  of  large
  2898. business  processes, some of which may take place across different
  2899. organisations,  requires  appropriate  modelling  techniques   and
  2900. infrastructure  technology to assist  in  the  management  of  the
  2901. interaction  between  different  agents  participating  in   these
  2902. processes. The ER '94 conference will represent a balance  between
  2903. the interrelated areas of modelling and infrastructure.
  2904. Topics of Interest
  2905.  
  2906. Papers  are  sought  in,  but not limited to,  the  topics  below.
  2907. Authors should state clearly whether their contribution is in  the
  2908. area of modelling or infrastructure technology.
  2909.  
  2910. Enterprise  integration, Enterprise Modelling, Process  Modelling,
  2911. Enterprise   Engineering   and   Re-engineering,   Software    Re-
  2912. engineering,  CASE Environments, Repository Technology,  Federated
  2913. Systems,   Prototyping,  Verification  and  Validation,   Temporal
  2914. Information  Systems,  Multimedia Modelling,  Quality  Aspects  of
  2915. Conceptual  Modelling,  Virtual Reality and  Systems  Development,
  2916. Distributed    Knowledgebases,    Hypermedia    Cooperation     in
  2917. Heterogeneous systems, Strategic Information Systems.
  2918.  
  2919.  
  2920. Information for Authors
  2921.  
  2922. Authors must clearly state the contribution of their work  to  the
  2923. theme  of  the conference. The edited proceedings of ER  '94  will
  2924. appear as a book from a major international publisher. Five copies
  2925. of original unpublished papers up to 5000 words should be sent to:
  2926.  
  2927.           P Loucopoulos
  2928.           Department of Computation
  2929.           UMIST
  2930.           P.O. Box 88, Sackville Street
  2931.           Manchester M60 1QD
  2932.           UK
  2933.                          
  2934.  
  2935.  
  2936.              Important Dates
  2937.  
  2938.  
  2939.                30 April 1994 - Papers submission due
  2940.              30 June 1994 - Notification of acceptance
  2941.               31 August 1994 - Camera-ready copy due
  2942.            31 October 1994 - Early registration deadline
  2943.  
  2944.  
  2945.  
  2946. Conference Location
  2947.  
  2948. Manchester is a city of surprises, a city of variety but  most  of
  2949. all  it is a city of colour and vitality. It is the North West  of
  2950. England's  premier city. Manchester boasts about Europe's  largest
  2951. municipal park, the hottest night life in Britain, two first  rank
  2952. orchestras,   the best U.K. theatreland outside of  London  and  a
  2953. wealth of shopping opportunities.
  2954.  
  2955. Manchester  is  easy  to  reach by road rail  or  air.  Manchester
  2956. airport  is  one of the largest international airports  in  Europe
  2957. with  connections  to all parts of the world. Manchester  is  just
  2958. over  one  hours travel from other major European cities  such  as
  2959. Amsterdam, Paris, Brussels and Frankfurt. The airport has a direct
  2960. rail  link with the city centre ant the visitor can reach the city
  2961. from  the  airport  in  15 minutes. The city  is  serviced  by  an
  2962. excellent  road  network which links it  to  other  parts  of  the
  2963. country. Manchester has more miles of motorway than any other U.K.
  2964. city.   Manchester Piccadilly station is a key link in the  inter-
  2965. city  network with services to all main-line stations in  Britain.
  2966. Average travel time by rail to London is two and a half hours.
  2967.  
  2968.  
  2969. GENERAL CONFERENCE CHAIR
  2970. John Mylopoulos, University of Toronto, Canada
  2971.  
  2972. EUROPEAN CONFERENCE CHAIR
  2973. Stefano   Spaccapietra,  Ecole  Polytechnic   Federale   Lausanne,
  2974. Switzerland
  2975.  
  2976. NORTH AMERICAN CONFERENCE CHAIR
  2977. Sham Navathe, Georgia Institute of Technology, U.S.A.
  2978.  
  2979. ORGANISING CHAIR
  2980. Keith Jeffery, RAL-SERC, U.K.
  2981.  
  2982. PROGRAMME CHAIRS
  2983. Pericles Loucopoulos, UMIST, U.K.
  2984. Ramez Elmasri, University of Texas, U.S.A.
  2985.  
  2986. PANEL ORGANISING CHAIR
  2987. Colette Rolland, Universite Paris 1 - Pantheon Sorbonne
  2988.  
  2989. TUTORIALS ORGANISING CHAIR
  2990. Carole Goble, University of Manchester, U.K.
  2991.  
  2992. TREASURER
  2993. Babis Theodoulidis, UMIST, U.K.
  2994.  
  2995. PUBLICITY CHAIR
  2996. Mike Jackson, University of Wolverhampton, U.K.
  2997.  
  2998. PROGRAMME COMMITTEE
  2999. David Avison U.K.
  3000. Jorge Bocca U.K.
  3001. Omar Boucelma France
  3002. Sjaak Brinkkemper Netherlands
  3003. Janis Bubenko Sweden
  3004. John Carlis U.S.A.
  3005. Sharma Chakravarthy U.S.A.
  3006. Valeria De Antonellis Italy
  3007. Anthony Finkelstein U.K.
  3008. Guy Fitzgerald U.K.
  3009. Andre Flory France
  3010. Donald Flynn U.K.
  3011. Michael Freeston Germany
  3012. Carole Goble U.K.
  3013. Ted Goranson U.S.A.
  3014. Georges Grosz France
  3015. Terry Halpin Australia
  3016. Michael Huhns U.S.A.
  3017. Manfred Jeusfeld Germany
  3018. Vram Kouramajian U.S.A.
  3019. Mike Mannino    U.S.A.
  3020. Salvatore March U.S.A.
  3021. Leora Morgenstern U.S.A.
  3022. Renate Motschnig Austria
  3023. Shamkant Navathe U.S.A.
  3024. Eric Neuhold Germany
  3025. Antoni Olive Spain
  3026. Maria Orlowska Australia
  3027. Mike Papazoglou Australia
  3028. Barbara Pernici Italy
  3029. Naveen Prakash India
  3030. Sudha Ram U.S.A.
  3031. Colette Rolland France
  3032. Thomas Rose Germany
  3033. Kevin Ryan Ireland
  3034. Arie Segev U.S.A.
  3035. Amilcar Sernadas Portugal
  3036. Madan Singh U.K.
  3037. Arne Solvberg Norway
  3038. Il-Yeol Song U.S.A.
  3039. Stefano Spaccapietra Switzerland
  3040. Peter Stocker U.K.
  3041. Toby Teorey U.S.A.
  3042. Constantino Thanos Italy
  3043. Babis Theodoulidis U.K.
  3044. Aphrodite Tsalgatidou Greece
  3045. Yannis Vassiliou Greece
  3046. Benkt Wangler Sweden
  3047. Marianne Winslett U.S.A.
  3048. Bob Wood U.K.
  3049. Trevor Wood-Harper U.K.
  3050. Carlo Zaniolo U.S.A.
  3051.  
  3052. REGIONAL COORDINATORS
  3053. R Andersen          Norwegian Institute of Technology, Norway
  3054. R Carapuca          INESC, Portugal
  3055. J Fong              City Polytechnic of Hong Kong, Hong Kong
  3056. J B Grimson         Trinity College, University of Dublin, Ireland
  3057. M Kersten              CWI, Netherlands
  3058. K-C Lee             Hua Hsing Information Corp, Taiwan
  3059. M Leonard           Universite de Geneve, Switzerland
  3060. B G Lundberg        University of Stockholm, Sweden
  3061. S Nishio            Osaka University, Japan
  3062. M E Orlowska        University of Queensland, Australia
  3063. A Pirotte           Universite de Louvain, Belgium
  3064. F Plasil            Czech University of Technology, Czech Republic
  3065. S Sa                The People's University of China, China
  3066. F Saltor            Technical University of Barcelona, Spain
  3067. G Schlageter        Fern University of Hagen, Germany
  3068. D Shasha            New York University, USA
  3069. C K Tan             National University of Singapore, Singapore
  3070. L Tucherman         IBM Brazil, Brazil
  3071. Y Vassiliou         Research Centre of Crete, Greece
  3072.  
  3073.  
  3074.  
  3075. Further Information
  3076.  
  3077. For details of the conference and the exhibition, please contact:
  3078.  
  3079.      Mrs. Janet Houshmand
  3080.      ER94 Conference
  3081.      Department of Computation
  3082.      UMIST
  3083.      P.O. Box 88
  3084.      Sackville Street
  3085.      Manchester M60 1QD
  3086.      U.K.
  3087.  
  3088.      Tel: +44-61-200-3302
  3089.      Fax: +44-61-200-3324
  3090.      e-mail: er94@sna.co.umist.ac.uk
  3091.  
  3092. To  ensure that you receive the Advance Programme and that you are
  3093. able  to  take advantage of early registration, please  send  your
  3094. name and address to the secretariat. You may alternatively contact
  3095. the Organising Committee by e-mail if you wish.
  3096.  
  3097. Organisations  interested in taking part in the exhibition  or  an
  3098. industrial  session, or in possible sponsorship of the  conference
  3099. or social events are also invited to contact the organisers.
  3100.  
  3101.  
  3102.  
  3103.  
  3104.  
  3105.