zma kol1 zestC page2

Zaawansowane Modelowanie i Analiza Systemów informacyjnych (ZMA)

Colloquium nr 1 (2008.11.05)

Imię	Nazwisko	Nr indeksu	Grupa
1 1 1 1 1 1 1 1 1	MMMMMIII	1 1 1 1	1 1 1

Problem 2 (6 x2p = I2p).

Diagram schematu koncepcyjnego pokazany poniżej zawiera różne ograniczenia, które zapewniają spełnianie, przez każdą aktualną populację, reguł w modelowanym UoD. Zakładamy, że zadana populacja poszczególnych typów faktów (pokazana na schemacie) jest przedmiotem zmian dokonywanych przez transakcje. Każda transakcja (w tabelce poniżej) jest zastosowana do wyjściowej populacji przedstawionej na diagramie. Dla każdej transakcji z tabeli wskaż czy jest ona zaakceptowana (A), czy odrzucona (O). W przypadku odrzuconej transakcji należy obowiązkowo wskazać numer ograniczenia, które jest przez tę transakcję naruszone. Dla każdej transakcji wystarczy podać tylko jedno ograniczenie nawet gdyby naruszonych było ich więcej.

dl e4

a2 a3 dl    d2 e2

al bl    b3 el

a2 b2    bl el

a3 b3

TRANSAKCJA	Akc/ Odrz	Naruszone ograniczenie
Przykład: dodaj (dl, e3) to F3	0	c3
Usuń (a3, bl,b3) z F4	O	CÓ oraz Cli
Dodaj (al, b3, b4) do F4 oraz (b4, el) do F2	O	Cl 3 oraz C8
Zmień (al,b2) na(a2,bl) w FI	o	c7
Dodaj (a3, b2, b3) to F4	o	c4
Zmień (a3, b2, bl) na (a3, b2, b2) w F4 I dodaj (b2, e3) do F2	o	cl4
Dodaj (al, a3, d2) do F5	0	c5 oraz c9

ZMA-kOl

Strona 2 z 4