Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.intsys.msu.ru/magazine/archive/v10(1-4)/talheim-303-342.pdf Дата изменения: Thu Jun 21 03:36:58 2007 Дата индексирования: Tue Oct 2 00:07:06 2012 Кодировка: IBM-866

. ()


. , - , , - , OLAP- , , . . . () . , , . , 1987 [13, 14] . , - XML. , . . , , . . Bernhard Thalheim. Computer Science and Applied Mathematics Institute, University Kiel, Olshausenstrasse 40, 24098 Kiel, Germany. Email: thalheim@is.informatik.uni-kiel.de


304

.

, , , OLTP-OLAP, play-out play-in . (EntityRelationship, ER), - .

1.
1.1.
: ( ) , , . . : § () ; § ; § ; § ; § ; § .




305

. . : . . , . ( ), , , . , , . , . . 1. , , , .

1.2.
. . , . . . .


306

.

, , 90- . - - - -







, , . , . web-, , . . , . [8], [6], , .




307

2. , . . . , , , , , , , , , , [4]. 3. , , , .

2.
2.1.
: : , , . . . : . , . : , ,


308

.

, , , . . B = (D om(B ), O p(B ), P r ed(B )) , , . B C dom(B ). , B C . B C , , . . . . . ( Select ) ( Insert, Delete, Update ) . , , , , . , n- , . , , . , . , Insert Delete, . { }. , . .




309

. . ; . . , , [9]. [10].

2.2.
. , . . , , . , , . , . . , . . . , . . , , -


310

.

[1]. , . . . . . . . BV- (Beeri-Vardi frames), , . BV-, , . , BV- . , : . , , , . C , . , . , .




311

. , . , , [3]. 4. . , . , , . . 5. ? ? , , ? , , ? , . .

2.3.
. , , , . , , :


312

.

: . . . , . , . ER- [14] - . - : : , [1], , , , . , . XML . . , , , . ., XML- , . . , , . , . .




313

, : § , . § . , . , . play-out . , . play-out, play-out . , SAP, . , . 6. , XML. . , , , , . , , .


314

.

. , . , . -. 7. , - . . . . 8. , .

3.
3.1.
. T T , C T T (, T , , ) , C T , C T C T . h0 T h1 : T T h2 : T Ѕ T T . R C T . sr ec sr ec
h0 ,h1 ,h h0 ,h1 ,h
2 2

(

C

T

)=h

0

(|{|s|}|) = h1 (s) |{|s|}|




315 (RC )),
C
T

sr ec

h0 ,h1 ,h

2

(|{|s|}|

C

T

RC ) = h2 (h1 (s), sr ec

h0 ,h1 ,h

2

|{|s|}|

RC =

C

T

.

- , ER-, , § sr ec i =
,i ,

,

{o}, {o} |=

§ h0 (s) = f h
undef f

0, s = N U LL f (s) undef , s = N U LL f (s)

(s) =

, sum
null 0 null 1

= sr ec

0,h

0 Id

,+

sum

null undef

= sr ec

0,h

undef Id

,+

;
,+

count

= sr ec

0,h0 ,+ 1

count

undef 1

= sr ec

0,h

undef 1

SQL-, sum null 0 . count null 1 , , , , , , , , . . , , .


316

.

, . , , , , , , : [: <_>] [: <_>] [_: <>] [: <_>] [_: <, >] , - , . [5]. 9. , - .

3.2.
. S a T S = (S , {- |a L}) S , L (), a - S Ѕ (S {}) a L. . S . T S . a1 a2 s0 - s1 - . . .. . T S , f , ( ), p ( ), f ( ) p ( ).




317

. . (R C , lR ). I S (tS , RC , lR ). I(RC ,lR ) tS , t S , I(RC ,lR ) (, tS ) = 1 , IS (tS ,RC ,lR ) (, tS ). § . § I (f , tS ) = 1 , I (, t S ) = 1 t S > tS ; § I (p , tS ) = 1 , I (, t S ) = 1 t S < tS ; § I (f , tS ) = 1 , I (, t S ) = 1 t S > tS ; § I (p , tS ) = 1 , I (, t S ) = 1 t S < tS . p p ( f f ) , h h . : 2 (f p ); (f p ). until next. O , O . O O - . O { - |O Alg (M )}.


318

.

: § , : н [7] нн; н , [9]; н , , . § , , ; § , , ; § , , . . , . . . 10. , .

3.3.
. , , , / . , [16].




319

§ ; ( ), | | ( ), | | ( ), |sy nc| ( sy nc), + ( ). ||. § ( - ), + ( - , , ), [] ( ), ( , ), . . § |(m, n)| ( m n ), ( ), ( ), n m ( ), ( ; , , ). § (CMO-), CMO- ( ,


320

.

), CMO- ( , , , , FOR-), CMO- ( , , , , WHILE-), CMO- ( , ). § ( , ), ( , , ), ( ). § , . . , , . , , . , . , , [15] [2].

11. . , .




321

3.4.
: E RC = ( I N , O U T , D B MS , D B ) , . , . . . . , , . . . [2]. . , , , . . . , , . , onSubmit ( ) presentationMode ( ), onFocus ( ) emphasisMode ( ), onRecovery ( ) hookOnProcess ( ),


322

.

r (x1 , . . . , xn ) = P n r , P {x1 , . . . , xn } P . E R C C (E RC |= ), [[]]E R = . . , , :

onError ( ) notifyMode ( ), , onReceive ( ) validUntil ( ). . , -, . . [14]. E RC . T T (s1 , . . . , sn ) := t. U = {Ti (si,1 , . . . , si,ni ) := oi |1 i m} - , 1 i
:




323

, , , , , , , . . P U E RC , U . , yields(P , E R C , , U ). : 1 , . . . , n . , , , a I : yields(P , E RC , [x a], Ua ) yields( x, . , . P , E R C , , I = range (x, , E R , ). range (x, , E R C , ) {o C E RC |[[]]E[Ra] = }. x 12. , .
C

aI

Ua )


324

.

4.
. , , .

4.1.
, () , <> (<, >) <, > < > < > < > < > < > , . . , . [14], ER-. . - , . . . ,




325

. : <: > < > < > < > & < (, , )> & < > & < > & < > & <> <> & <> < > & < > & < > & < > & < > . , , , .

4.2.
() : . [8] , . , , , -


326

.

. , , . S = (I , F , S ), I = (V , M, T ). : V . , , . M , play-out- . . T . F . . , . . , , . S . ( ), ( , , ; ).




327

( ) ( ). ( , ), ( , ), ( , ), ( , ).

4.3.
. , . , . , . , . . . 1. , , . [14]. . .


328

.

. 1. . , . . 2. . . . , , . ,




329

. 2. . . , . , . , . . , , . . . , , , , , . :


330

.

, , ; , , , , , , , ; ; , , , . , ( , , , ), (, , , ), ( , , , ) ( , , , /, ). ( -, - , -, - . .) , , , , -, .




331

/ (, , ; ; ). / . / . , . . // . . , , .

5.
, Seeheim- . . . , . web- . 3. 30 web- 100 .


332

.

. 3. . : (-), , , [11]; [12], ( ) . play-out-.




333

( ; ), . , , .

5.1.
. . . SiteLang [16] , . , , , . W = (SW , TW , EW , GW , AW , W , W ), SW , TW , EW , GW AW , W , , , W , . , T W SW Ѕ SW . , W : SW SceneSpec , , W : TW EW Ѕ GW Ѕ AW , t (e, g , a) , t e, t, g ( , e) a, . , , . . _. -, , . , :


334

.

= (_ _ _ _ _ (, , . . . ) (, , ). . . 4. . . , . , . , .

. 4. .




335

5.2. -
- [11]. , , . . - , . - , : -: - , -. -: - , , . - , , . -: - , , . - - . , . . . нн . -, , .


336

.

6.
, . , , . ( ), , , .

6.1.
(. 5).

. 5. .




337

1) , . . 2) , - . . 3) - , , , ( ). - , . 4) , , . , , -, , . 5) , , . . . . 6) . , , .


338

.

6.2.
SPICE 2.0 SW-CMM 2.0. . , , , . : : 1) , 2) 3) 4) 5) 6) - - 7) 8) 9) , 10) , , - 11) 12) 13) , ,




339

#i

1. 2. ... ( ) A, B, , , , , ,

14) , 15) 16) ,


340

.

17) - 18) , , , 19) 20) 21) , 22) 23) , 24) 25) , , . UML, , , .

7.
, . , , . , , . web-.




341

, . , . , , . . , . . . .


[1] Beeri C., Thalheim B. Identification as a primitive of datavase mo dels // Pro c. Fundamentals of Information Systems, 7th Int. Workshop on Foundations of Mo dels and Languages for Data and Objects -- FoMLaDO'98 (Timmel, Ost-friesland, 1999) / T. Polle, T. Ripke, and K.-D. Schewe, eds. London: Kluwer. P. 19н36. [2] Bи orger E., Stи R. Abstract state machines -- A metho d for highark level design and analysis. Berlin: Springer, 2003. [3] Demetrovics J., Molnar A., Thalheim B. Graphical and spread-sheet reasoning for sets of functional dep endencies // In ER'2004 (2004). LNCS 3255. P. 54н66. [4] Jaakkola H. Software quality and life cycles // In ADBIS'05 (Tallinn, Septemb er 2005). Springer. [5] Lenz H.-J., Thalheim B. Olap databases and aggregation functions // In 13th SSDBM 2001 (2001). P. 91н100. [6] Lenz H.-J., Thalheim B. OLTP-OLAP schemes for sound applications // In TEAA 2005 (Trondheim, 2005). Vol. LNCS 3888. Springer. P. 99н113. [7] Levene M., Loizou G. A guided tour of relational databases and b eyond. Berlin: Springer, 1999.


342

.

[8] Lo ckermann P. Information system architectures: From art to science // Pro c. BTW'2003. Berlin: Springer, 2003. P. 1н27. [9] Schewe K.-D. The sp ecification of data-intensive application systems / PhD thesis. Brandenburg University of Technology at Cottbus, Faculty of Mathematics, Natural Sciences and Computer Science, 1994. Advanced PhD Thesis. [10] Schewe K.-D., Thalheim B. Fundamental concepts of ob ject oriented databases // Acta Cyb ernetica. 11. 4. 1993. P. 49н81. [11] Schewe K.-D., Thalheim B. Mo deling interaction and media ob jects // NLDB. Natural Language Pro cessing and Information Systems, 5th Int. Conf. on Applications of Natural Language to Information Systems. NLDB 2000, Versailles, France, Jun 28н30, 2000. Revised Pap ers (2001) / M. Bouzeghoub, Z. Kedad, and E. M‡ etais, eds. Vol. 1959 of LNCS. Springer. P. 313н324. [12] Srinivasa S. A calculus of fixp oints for characterizing interactive b ehavior of information systems / PhD thesis. Brandenburg University of Technology at Cottbus, Faculty of Mathematics, Natural Sciences and Computer Science, 2001. [13] Thalheim B. Op en problems in relational database theory // Bull. EATCS 32 (1987). P. 336н337. [14] Thalheim B. Entity-relationship mo deling -- Foundations of database technology. Berlin: Springer, 2000. . http://www.is.informatik.uni-kiel.de/ thalheim/HERM.htm. [15] Thalheim B. ASM sp ecification of internet information services // Pro c. Euro cast 2001, Las Palmas (2001). P. 301н304. [16] Thalheim B., Dusterhи A. Sitelang: Conceptual mo deling of inи oft ternet sites // ER (2001). H. S. Kunii, S. Ja jo dia, A. Solvb erg, eds. Vol. 2224 of LNCS. Springer. P. 179н192.
. . , . , , [14].