home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / database / theory / 666 next >
Encoding:
Internet Message Format  |  1993-01-04  |  17.1 KB

  1. Path: sparky!uunet!usc!rpi!batcomputer!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!bigk
  2. From: bigk@cs.uq.oz.au (Kathy Williamson)
  3. Newsgroups: comp.databases.theory
  4. Subject: Fourth Australian Database Conference
  5. Message-ID: <11576@uqcspe.cs.uq.oz.au>
  6. Date: 5 Jan 93 00:17:43 GMT
  7. Sender: news@cs.uq.oz.au
  8. Reply-To: bigk@cs.uq.oz.au
  9. Lines: 415
  10.  
  11.  
  12. C A L L     F O R     A T T E N D A N C E
  13.  
  14.  
  15.  
  16. A D C '93
  17. Fourth Australian Database Conference
  18.  
  19. 1 - 2 February 1993
  20. Brisbane Queensland Australia
  21.  
  22.  
  23. Sponsored by:
  24. Key Centre for Software Technology, The University of Queensland
  25. Queensland University of Technology
  26. Griffith University
  27. Australian Computer Society
  28. Oracle Systems (Australia) Pty Ltd                                         
  29. CRC for Distributed Systems Technology                                                                                                                                                      
  30. Simsion Bowles & Associates
  31.  
  32.  
  33. Correspondence:
  34. ADC'93
  35. School of Computing & Information Technology
  36. Griffith University
  37. Nathan Q 4111, Australia
  38.  
  39. Tel:  61-7-875 5002
  40. Fax:  61-7-875 5051
  41. Email:  adc93@cit.gu.edu.au
  42.  
  43.  
  44. INVITED SPEAKERS
  45.  
  46. RECENT ADVANCES IN TRANSACTION MANAGEMENT
  47. Speaker: Dr Alan Fekete (University of Sydney)
  48.  
  49. Summary:  For the past decade, transaction management had a reputation as a 
  50. field where research progress was irrelevant to practioners, since all systems 
  51. used the same long-understood techniques (namely two-phase locking and 
  52. write-ahead logging).  This has now changed.
  53.  
  54. In the past few years, there have been several exciting advances in 
  55. transaction management that seem certain to influence future commercial 
  56. systems.  One is the invention and publication of improved techniques for 
  57. implementation of transaction management. In particular, an exciting series of 
  58. papers have come from the ARIES project led by C. Mohan at IBM Almaden 
  59. Research Laboratory.  There are new algorithms which provide concurrency 
  60. control for B-tree indices, recovery compatible with fine-grained locking, 
  61. and concurrency control allowing long-running audits.  Another advance 
  62. has been driven by advanced applications such as distributed programming and
  63. collaborative design.  In these domains the traditional transaction model 
  64. (with short, sequential, isolated transactions) is inadequate. Instead, richer 
  65. transaction models have been proposed, such as sagas and nested transactions. 
  66. Each new model needs new algorithms for managing concurrency and failure.  
  67.  
  68. This talk will present some of these exciting new ideas. A unifying theme will 
  69. be the identification of the interactions between different aspects of 
  70. transaction management.  
  71.  
  72. The speaker:  Alan Fekete holds a PhD from Harvard University. In 1987-88 he 
  73. worked at the Laboratory for Computer Science at Massachussetts Institute 
  74. of Technology. Since 1988 he has been at the University of Sydney, where he 
  75. teaches the Database Systems course. His research interest is the theory of 
  76. distributed systems, especially the algorithms for transaction management in 
  77. distributed database management systems.  He has been involved in a major 
  78. project to understand concurrency control for nested transaction systems; this 
  79. work is presented in the recent book "Atomic Transactions" by Lynch, Merritt, 
  80. Weihl and Fekete (published by Morgan Kaufmann).
  81.  
  82.  
  83. IMPLEMENTATION OF VERY GENERALISED DATA STRUCTURES
  84. Speaker: Mr Graeme Simsion (Simsion Bowles & Associates)
  85.  
  86. Summary:  The selection of the most appropriate level of generalisation for 
  87. tables and columns is a critical decision in relational database design.  It 
  88. involves a tradeoff between semantic content (and associated enforcement of 
  89. constraints) and flexibility.  Very high levels of generalisation have been 
  90. employed in some commercial database designs, with mixed success.  In some 
  91. cases, they have formed the basis of very flexible systems, which can provide 
  92. a competitive advantage through better responsiveness to business and 
  93. regulatory change.  In others they have been the source of insurmountable 
  94. implementation problems.  This paper discusses the advantages and 
  95. disadvantages of very generalised data structures, and highlights some 
  96. practical implementation issues.
  97.  
  98. The Speaker:  Graeme Simsion is Managing Director of Simsion Bowles & 
  99. Associates, a specialist data management consultancy with offices in 
  100. Melbourne and Sydney, and an Associate of the Department of Information 
  101. Systems at Monash University.  He holds a Bachelor of Science from Monash 
  102. University, a Graduate Diploma in Computing and Information Systems from 
  103. Chisholm Institute of Technology and a Master of Business Adminstration from 
  104. Deakin University.  He is currently completing a book on Data Modelling.
  105.  
  106.  
  107. TRANSACTION MANAGEMENT IN A MULTIDATABASE ENVIRONMENT
  108. Speaker:  Professor Marek Rusinkiewicz (University of Houston)
  109.  
  110. Summary:  A multidatabase system is a facility that provides access to data 
  111. stored in multiple autonomous, and possibly heterogeneous database systems.  
  112. Transaction management in such systems is complicated by the requirement to 
  113. preserve local autonomy and the need to deal with heterogeneity of the member 
  114. databases.  To determine the serialization order of global transactions the 
  115. multidatabase system must take into account the indirect (transitive) conflicts 
  116. between multidatabase transactions which may be caused by local transactions.  
  117. However, such conflicts are difficult to resolve because the behavior or even 
  118. the existence of local transactions is not known to the multidatabase system.
  119.  
  120. In the first part of the tutorial we will review the solutions in the area of 
  121. concurrency control and recoverability that have been proposed in the 
  122. literature.  We will concentrate on methods that use "tickets" to incorporate 
  123. additional data manipulation operations in the subtransactions of each 
  124. multidatabase transaction.  We show that if these operations create direct 
  125. conflicts between subtransactions at each participating local database system, 
  126. indirect conflicts can be resolved even if the multidatabase system is not 
  127. aware of their existence.  Based on this approach we introduce optimistic 
  128. and conservative multidatabase transaction management methods that guarantee 
  129. global serializability by preventing multidatabase transactions from being 
  130. serialized in different ways at the participating database systems.
  131.  
  132. In the second part of the tutorial we will discuss some proposed extensions of 
  133. the traditional transaction model.  We will introduce the flexible transaction 
  134. model in which the usual requirements of atomicity and isolation of 
  135. transactions are relaxed.  Most of the extended transaction models use early 
  136. commitment and rely on compensation to restore the consistency of the system, 
  137. when it is violated.  We will discuss the properties of compensation and 
  138. describe a model of compensation which depends only on the semantics of the 
  139. operations and not on the particular state of the database.  We illustrate the 
  140. use of these concepts in the context of a class of practical applications.
  141.  
  142. The Speaker:  Marek Rusinkiewicz is Professor of Computer Science at the 
  143. University of Houston.  He has received MSc degree in Computer Science from 
  144. the Moscow Institute of Electrical Engineering (MEI) and PhD in Informatics 
  145. from the Polish Academy of Sciences.  His research interests include 
  146. heterogeneous database systems, distributed computing systems, query 
  147. languages, and transaction processing; he has published extensively on these 
  148. topics in journals and conferece proceedings.  Dr.  Rusinkiewicz is the 
  149. Principal Investigator of the OMNIBASE project aimed at the development and 
  150. evaluation of new technologies for multidatabase access.  His research is 
  151. sponsored by NASA, Bellcore, MCC and the Texas Advanced Research Program.  
  152. He has consulted for industry and government organizations in the areas of 
  153. distributed database systems and multidatabase systems.
  154.  
  155.  
  156. CONFERENCE PROGRAM
  157. (Provisional)
  158.  
  159. DAY ONE - MONDAY 1 FEBRUARY 1993
  160.  
  161. 8.30am                        Registration
  162.  
  163. 9.15am                        Welcome
  164.  
  165. Invited Talk 1:  
  166. "Recent Advances in Transaction Management"
  167. Dr Alan Fekete, University of Sydney, Australia
  168.  
  169. 10.30am                       Morning Tea
  170.  
  171. 11.00am
  172. Indexing in an Extensible Database System
  173. Lukas Relly (Swiss Federal Institute of Technology, Switzerland)
  174. Alan Kent (Royal Melbourne Institute of Technology, Australia)                                                                                        
  175.  
  176. Functional Specifications to Object Structures
  177. Janusz Getta (University of Wollongong, Australia)
  178.  
  179. 11.30am                       
  180. Storage Management for Files of Dynamic Records
  181. Justin Zobel (Royal Melbourne Institute of Tech, Australia)
  182. Alistair Moffat (University of Melbourne, Australia)
  183. Ron Sacks-Davis (CITRI, Australia
  184.  
  185. Mapping One-to-One Predicates to a Relational Schema
  186. Peter Ritson, Terry Halpin (University of Queensland, Australia)
  187.  
  188. 12.00pm
  189. A Guideline for Implementing Access Method Modules in Extensible DBMS MODUS
  190. Kazutaka Furuse, Hiroyuki Katagawa, Nobuo Ohbo (University of Tsukuba, Japan)
  191. Jeffrey Xu Yu (Australian National University, Australia)
  192. Kazunori Yamaguchi (University of Tokyo, Japan)                                                                         
  193.  
  194. A Design Process of Databases Based on a Fuzzy Object-Oriented Approach
  195. Annie Cavarero (University of Nice, France)
  196. Carlos Gonzalez (Costa Rica Institute of Technology, Costa Rica)
  197.  
  198. 12.30pm                       Lunch
  199.  
  200. 2.00pm
  201. Verification of a Two Pass Restart Algorithm for ARIES
  202. Dean Kuo (University of Sydney, Australia)                                                               
  203.  
  204. Improving Integrity Checking by Compiling Derivation Paths
  205. Matilde Celma, Juan Clarlos Casamayor (DSIC, Spain)
  206. Hendrik Decker (Siemens AG, Germany)
  207.  
  208. 2.30pm
  209. A Temporal Algebra Based on an Abstract Model
  210. Mehmet Orgun, Hausi Mller (University of Victoria, Canada)                                                                            
  211.  
  212. Using Weakest Preconditions to Simplify Integrity Constraint Checking
  213. Michael Lawley, Rodney Topor (Griffith University, Australia)
  214. Mark Wallace (European Computer-Industry Res Ctr, Germany)
  215.  
  216. 3.00pm
  217. Armstrong Relations for Functional and Multivalued Dependencies in 
  218. Relational Databases
  219. Millist Vincent (University of South Australia, Australia)
  220. Bala Srinivasan (Monash University, Australia)                                                           
  221.  
  222. Integrity Preserving Updates in Object-Oriented Databases
  223. Klaus-Dieter Schewe, Ingrid Wetzel (University of Hamburg, Germany)
  224. Bernhard Thalheim (University of Rostock, Germany)
  225.  
  226. 3.30pm                        Afternoon Tea
  227.  
  228. 4.00pm
  229. On Optimizing Uniformly Bounded Datalog Programs
  230. Jia Liang Han (University of Southern Queensland, Australia)                                                                           
  231.  
  232. A New Graphical Method of Vertical Partitioning in Database Design
  233. Xuemin Lin, Yanchun Zhang (Uni of Queensland, Australia)
  234.  
  235. 4.30pm
  236. Early Experience with Recursion Optimization in an Extensible Rewriter
  237. Jrme Fessy, Batrice Finance (University of Paris VI, France)                                                                                       
  238.  
  239. On Horizontal Fragmentation of Distributed Database Design
  240. Yanchun Zhang (University of Queensland, Australia)
  241.  
  242. 5.00pm
  243. Finiteness Properties of Database Queries
  244. Inderpal Singh Mumick, Oded Shmueli (AT & T Bell Lab, USA)                                                                                            
  245.  
  246. Horizontal Partitioning for Distributed Database Design
  247. Minyoung Ra (Korea Military Academy, Korea)
  248.  
  249. 6.00pm                        B-B-Q
  250.  
  251.  
  252. DAY TWO - TUESDAY 2 FEBRUARY 1993
  253.  
  254. 9.00am
  255. Invited Talk 2
  256. Implementation of Very Generalised Data Structures
  257. Mr Graeme Simsion (Simsion Bowles & Associates)
  258.  
  259. 10.00am                       Morning Tea
  260.  
  261. 10.30am
  262. The Intelligent Developer:  Towards the Automated Implementation of 
  263. Information Systems
  264. Anthony Berglas (University of Queensland, Australia)
  265.                
  266. TUTORIAL
  267. Transaction Management in a Multidatabase Environment 
  268. Professor Marek Rusinkiewicz (University of Houston)
  269.  
  270. 11.00am
  271. Towards a General Theory for the Evolution of Application Domains
  272. H A Proper, Th P van der Weide (University of Nijmegen, The Netherlands)
  273.                
  274. 11.30am                       
  275. Control of a Management Information System by Rules
  276. Eva Gardyn (Simsion Bowles & Associates, Australia)
  277. Keith Jeffery (Rutherford Appleton Laboratory, UK)
  278.                
  279. 12.00pm                       Lunch
  280.  
  281. 1.30pm                        
  282. Querying Heterogeneous Databases:  A Case Study
  283. Alexandre Lefebvre, Peter Bernus, Rodney Topor (Griffith University, Australia)                                                                                                     
  284.  
  285. TUTORIAL (continued)
  286. Transaction Management in a Multidatabase Environment 
  287. Professor Marek Rusinkiewicz (University of Houston)
  288.  
  289. 2.00pm                        
  290. Omega:  A Parallel Object-Based System
  291. Shahram Ghandeharizadeh, Vera Choi, Clifford Ker, Kai Lin (University of 
  292. Southern California, USA)                                   
  293.  
  294. 2.30pm                        
  295. Replicated Fragment Allocation Using a Clustering Methodology
  296. George Semeczko (University of Queensland, Australia)                                                                   
  297.  
  298. 3.00pm                        
  299. Interconnection Topologies for Shared Nothing DBMS Architectures
  300. M Hitz, T A Mueck (University of Vienna, Austria)                                                                       
  301.  
  302. 3.30pm                        Afternoon Tea
  303.  
  304.  
  305. LOCATION
  306. The Conference will be held at the Nathan Campus of Griffith University.  This 
  307. campus is located 11km south of central Brisbane in an attractive natural bush 
  308. forest.  It is close to the South East Freeway to central Brisbane or the Gold 
  309. Coast, on several bus routes, and close to many good restaurants.  The weather 
  310. in Brisbane in early February is sunny, warm (29 degrees) and humid.  (Bring 
  311. light clothes.)  There can be sudden thunderstorms.  (Bring an umbrella.)
  312.  
  313.  
  314. ACCOMMODATION
  315. Accommodation has been reserved for Conference attendees at the following 
  316. three locations:
  317.     
  318. (a)            Bellenden Ker Residences, Griffith University, Nathan Campus.
  319.                $42 per person per night, bed and breakfast.
  320.  
  321. (b)            Robertson Gardens Motel, Kessels Road, Nathan.
  322.                $68 per person or couple per night, bed only.  Breakfast $9 to $14.
  323.                10 minutes walk from the campus.
  324.  
  325. (c)            Park Royal Hotel, Alice Street, Brisbane.
  326.                $75 per person or couple per night, bed only.  Breakfast $15.
  327.                Central Brisbane, 15 minutes by taxi from the campus.
  328.  
  329. Please indicate on the registration form at which location you wish to stay, 
  330. and on which nights you wish to stay.  Full payment is required in advance for 
  331. Bellenden Ker Residences, and one night's deposit is required for Robertson 
  332. Gardens and Park Royal.
  333.  
  334.  
  335. TRANSPORT
  336. Griffith University, Nathan Campus, is 30 minutes from Brisbane Airport (about 
  337. $25 by taxi), 15 minutes from central Brisbane (about $12 by taxi).  The 511 
  338. bus from the Queen Street Mall in central Brisbane goes to Griffith University.
  339.  
  340. Directions by private car:  
  341. (a)            From Brisbane Airport: Follow the Gateway Arterial Road south, 
  342.                take the Mt Gravatt-Capalaba Road exit about 20km from the 
  343.                Airport, turn west towards Mt Gravatt, and continue for about 5km.
  344.  
  345. (b)            From the North (central Brisbane): Follow the South East 
  346.                Freeway south, take the Klumpp Road/Mains Road exit about 10km 
  347.                from the city, and follow the signs.  Note: Do NOT take the 
  348.                Marshall Road exit.
  349.  
  350. (c)            From the South (Gold Coast): Follow the South East Freeway 
  351.                north, take the Logan Road/Mt Gravatt exit, follow Logan Road 
  352.                north for 1km, turn west into Mt Gravatt-Capalaba Road, and 
  353.                continue for about 2km.
  354.  
  355.  
  356. REGISTRATION FEES
  357. Registration fees provide admission to all sessions, one copy of the 
  358. Conference Proceedings, morning and afternoon teas, a barbeque on Monday 
  359. evening, and temporary membership of Griffith University Club.
  360.  
  361. Student fees are available to full-time students only.  
  362.  
  363.  
  364. CONFERENCE REGISTRATION FORM
  365.  
  366. Name:
  367.  
  368.  
  369.                
  370. Organization:
  371.  
  372.  
  373.  
  374. Address:
  375.  
  376.  
  377.  
  378.  
  379.  
  380. Telephone:
  381.  
  382. Facsimile:
  383.  
  384. E-mail:
  385.  
  386.  
  387.  
  388. Registration ($180)
  389.  
  390. Student Registration ($120)
  391.  
  392. Accommodation (Please select):
  393.  
  394. [   ] Bellenden Ker Residences @ $42.00 per night
  395.  
  396. [   ] Robertson Gardens Motel @ $68.00 per night
  397.  
  398. [   ] Park Royal Hotel @ $75.00 per night                                                                $
  399.  
  400. Number of Nights Accommodation:
  401.  
  402. Date In:                                                    Date Out:                                    
  403.  
  404. Extra Copies of Proceedings @ $50 each
  405.  
  406.  
  407. TOTAL  $
  408.  
  409.  
  410. METHODS OF PAYMENT
  411. Payment must be by cheque or bank draft in AUSTRALIAN DOLLARS drawn on 
  412. an Australian bank.  All cheques and bank drafts must be payable to ADC'93.
  413.  
  414. Please mail the completed registration form together with the cheque or bank 
  415. draft to:
  416.  
  417. ADC'93
  418. School of Computing & Information Technology
  419. Griffith University
  420. Nathan Q 4111
  421. Australia
  422.  
  423. Telephone:  61-7-875 5002
  424. Facsimile:  61-7-875 5051
  425. E-mail:  adc93@cit.gu.edu.au
  426.