論文多重集合を応用した業務プロセスの記述とデータモデル認識 * 中西昌武 Business Process Description Applied with Bag and Capture of Data Model NAKANISHI, Masatake Chen, P.

Size: px

Start display at page:

Download "論文多重集合を応用した業務プロセスの記述とデータモデル認識 * 中西昌武 Business Process Description Applied with Bag and Capture of Data Model NAKANISHI, Masatake Chen, P."

ゆめじたけすえ
4 years ago
Views:

1 論文多重集合を応用した業務プロセスの記述とデータモデル認識 * 中西昌武 Business Process Descripion Applied wih Bag and Capure of Daa Model NAKANISHI, Masaake Chen, P. [] ER : Eniy-Relaionship Marin, J. [] Finkelsein, C. [3] [4, ec] SDDM: Senenial Daabase Design Mehod [6, 7] ORM: Objec Role Modeling Nijissen, C. M. Halpin, T.A.[] OROperaions research Codd, E.F. [8] Chen ER [9]MTA: Model Theory Approach [0-] [3] [4-7] MTA [8] MTA [9] * 名古屋経済大学経営学部教授

2 ,,,, disinc,,,, 3,, $ F,,,, [9-] mulise Peerson[9]bag $ D d, d, d k,, d n $ X x ; x D d k vk d k, $ X Parikh v ( D,$ X ) v x, vx,, vnx $ X D updae

3 4 [9 edied] $ A $ B $ Y y $ A $ B : $ A $ B : A $ B : A $ B : $ A $ A $ A $ A x, $ A $ B maxx, $ A, x, $ B x, $ A $ B minx, $ A, x, $ B x, $ A $ B x, $ A x, $ B x, $ A $ B x, $ A x, $ A $ B $ A,,, $ B,,, $ B,,,, $ B, $ B,,,,,, $ B $ $ Y y; ye $ y ; y D Y $ y $ Y $ y $ y y ye ye $ Y $ y y $ Y D v D, $ Y ) v, v,, v ( y y ny Dp dp, dp, p; p Dp j;$ j x s. x Dp P $ J j $ j x v x x, $ j Js $ J P p $ Js v p v p p, $ Js $ J $ j $ J J $ j $ j $ j ; $ j $ J 3

4 $ j dp dp 3 $ j dp, dp, dp $ j dp dp dp8 $ j dp, dp8, dp8 $ J j, $ j $ j $ j dp, dp, dp, dp, dp, dp, dp, dp dp 8, 8 J j $ $ j j $ j $J $ J j j,$ j, j : j, $ j : j, j j,, pp $ x, $ y$ J p $ x, $ y p $ j( u) J uu p u p $ j( u) J u U p ; x, y p p p $ j $ p pp $ x, $ y$ J p $ x, $ y 4

5 4 P $J pp $ x, $ y$ J p$ x, $ y $ J subbag $ Jf jf $ Ja ja $ J $ Jf $ Ja ; $ Jf $ Ja $ Lq lq; $ lq Dp $ Lq $ Ja $ lq $ G Dp $ Lr lr; $ lr Dp $ Z z; $ z Dp $ Lq $ Lr $ Z $ lq $ ja $ j $ jf $ ja $ lr $ z $ jf $ lr ; $ ja $ z $ G dp, dp, dp3, dp4, dp6, dp6 $ lq $ ja dp, dp, dp $ lq $ ja dp, dp6, dp6 $ lq, lq $ Case-) $ lr $ lq, $ lr $ lq

6 $ lr $ z $ G $ lr $ z $ G $ Z $ Ja $ Jf $ jf dp, dp $ lq $ ja dp dp $ G $ jf dp, dp3, dp4, dp6, dp6 $ G $ lq $ jf dp, dp6, dp6 $ lq $ G $ lq $ ja dp dp $ G $ G $ lq dp3, dp4 dp3, dp4 z, $ z dp, dp dp, dp $ Z dp, dp dp, dp jf, $ jf dp, dp, dp, dp, dp, dp, dp $ Jf Case-) $ lr $ lq, $ lr $ lq $ lq $ G $ lq dp $lq $ z $ lq $ ja dp, dp, dp $ lr $ z $ lr $ G $ Z $ Ja $ jf $ lq ; $ z $ G $ G $ G $ Jf $ G $ lq $ G $ G $ lq dp, dp3, dp4, dp z, $ z dp, dp, $ Z dp, dp, jf, $ jf, dp, dp, dp, dp $ lq $ jf $ G $ lq $ ja $ ja dp, dp, dp, dp dp, dp, dp, dp, dp $ ja $ Ja $ lq $ Lq ; $ lq $ ja $ G $ lr $ G $ jf 6

7 4 $ Jf $ Ja $ Lq $ Lr $ G $ Jf $ lr $ G lq $ Lq $ Ja $ Ja $ ja $ Ja $ Lr lr $ Lq $ G lr $ Jf jf $ Lq $ lq $ Lq $ ja lr $ ja s. $ G $ lq $ Jf $ lr $ Jf $ lq $ Jf $ ja CRUD Creae Delee Refer CRUD Creae/Delee Updae CRUD $ ja $lq $lr $Ja C/ / / /R/ / / / /D $Jf C/ / / $Lq C/ / / / / /D $Lr C/ / / $G /R/ / / / /D CRUD J L $ Ja $ Lq Creae/Delee J L G Updae CRUD j l J C/ / / /R/U/ L C/ /U/ G /R/U/ 7

8 $ ja( ) $ Ja( ) $ z( ) $ Z( ) $lq $ Lq $ lq $ ja( ) $ z( ) $ lr $ G $ lq G $ G $ z $ ja $ lr + $ z $ Z( ) $lr $ jf $ Jf $ jf $ Jf $ lq $ ja( ) $ z( ) $ Ja( ) $ Z( ) $ Ja( ) $ Z( ) $ lr $ z + $ z( ) $ lq $ ja( ) $ z( ) $ lr $ G $ lq $Ja+ $Z $Lq $Lr $ z( ) $ Z( ) $ Ja( ) $ Z( ) $Z $Ja $Jf $ z $ ja $ lr $ $ Z( ) z $ jf $ lr $ jf $ Jf 8

9 4 reserve $ Rm $ rr ru $ $ $ $ Rm $ $ s. $ $ $ $ $ $ $ Rm $ $ s. $ $ $ $ $ $ $ $ $ $ Ds ds Rm rr ru Rm s. ;, Ds Rm s. rp 9

10 0 Ds s Rm,, ;.. Rm,, Rm s Rm.. Rm Rm $ $

11 4 Dp Rm rr ru rp Rm x, y x, y U u u c( u) rc( u) ; C c ( u); u U rc( u) rr; C c c C c x $ cxc ; x U,, 0 0,, 0 0, 0

12 ,,,, s. Rm x, y x, y, given ; Rm,,, Dp cf cf rp ; rp s. rp,, Rm x, y x, y Rm c C c C ( u) rc( u) c

13 4 Rm Rm $ x, $ y $ x, $ y,,,, s. Rm rp ; rp s. rp C c C U c( u) rc( u) Dp Rm,,, $ rr, $ ru, rp $ Rm $ $,$, $,$, $ s. $ $ Rm $ x, $ y$ $ x, $ y, given $ ; $ Rm, $, $, $ Dp $ $ $ $ $ $ $ cf $ $ $ $ $ $ $ $ $ $ cf $ $ $ rp ; $ rp $ $ s. $ rp 3

14 $ c C c $ $ C $ ( u) rc( u) U u c( u) rc( u) ; C $ c( u); u U rc ( u) $ rr; C c $ $ c $ C c $ c u $ $ $ Rm $ $ [] Chen, P., The Eniy-Relaionship Model--Toward a Unified View of Daa, ACM Transacions on Daabase Sysems, Vol., No., 976.3, pp [] Marin, J. ; McClure, C., Diagramming Techniques for Analyss and Programmers, Prenice-Hall, Inc., 98 =,, 986. [3] Finkelsein, C., An Inroducion o Infoaion Engineering: From Sraegic Planning o 4

15 4 Infoaion Sysems, Addison-Wesley, 990. [4] Hawryszkiewycz, I. T., Inroducion o Sysems Analysis and Design, Prenice-Hall, 988. [] Halpin, T. A., Infoaion Modeling and Relaional Daabases: from Concepual Analysis o Logical Design, Morgan Kaufmann Publishers, 00. [6],,, 98. [7] ;,, 996. [8] Codd, E.F., A Relaional Model of Daa for Large Shared Daa Banks, Communicaions of he ACM 3, No.6, 970, pp [9] Takahara, Y. ; Liu, Y., Foundaions and Applicaion of MIS, Springer, 006. [0] ; ; ; ; ; ;, MGST,, Vol.4, No., [] ; ; ;, :,, 007. [] ; ; ; ; ;, : CAST,, Vol.6, No.4, [3],, ;,,,, 007, pp [4],,, Vol., No., [] Nakanishi M., Office Fo Generaor Suppored wih Pah Reading Marix, Economic and Business Review, Vo., No., Nagoya Keizai Universiy, [6], View, 00, [7],, Vol., No., 06.. [8] ;,, Vol.4 No., 06.0, pp.-. [9] Peerson, J. L., Peri Ne Theory and he Modelling of Sysems, Prenice-Hall, 98=,, 984,, pp [0] Libkin, L. ; Wong, L., New echniques for sudying se languages, bag languages and aggregae funcions, Proceeding PODS '94 : Proceedings of he 3h ACM SIGACT-SIGMOD- SIGART symposium on Principles of daabase sysems, 994, pp.-66. [] Garcia-Molina, H. ; Ullman, J. D. ; Widom, J., Daabase Sysems: The Complee BookPearson Educaion Inernaional, 00, pp.44-4.

論文 多重集合を応用した業務プロセスの記述とデータモデル認識 * 中西昌武 Business Process Description Applied with Bag and Capture of Data Model NAKANISHI, Masatake Chen, P.

論文多重集合を応用した業務プロセスの記述とデータモデル認識 * 中西昌武 Business Process Description Applied with Bag and Capture of Data Model NAKANISHI, Masatake Chen, P.