D:\sbornik\...\ConManag.DVI


Mathematical Problems of Computer Science 23, 2004, 80{99.

Consistency M anagement I n Database Systems:

Review

A r m e n J. A s a t r ya n

Institute for Informatics and Automation Problems of NAS of RA
UNICAD CJSC

e-mail armen.asatryan@unicad.am

Abstract

By its de¯nition, a database must serve as a faithful and incorruptible repository of
data. Applications that consult the database expect a "warranty" that the database is
supplying the correct values. This survey brie°y presents the approaches of integrity
constraint management in database systems. It re°ects the various research activities
in this ¯eld. We focus on central approaches, concepts, methods, and systems in this
area.

Refer ences

[1 ] Ma lc o lm A t kin s o n , Fr a n »c o is B a n c ilh o n , D a vid D e W it t , K la u s D it t r ic h , D a vid Ma ie r a n d
S t a n le y Zd o n ik, " Th e Ob je c t -Or ie n t e d D a t a b a s e S ys t e m Ma n ife s t o " , P roceedings of the
F irst International Conference on D eductive and Object-Oriented D atabases, K yo t o ,
Ja p a n , p p . 2 2 3 -2 4 0 , 1 9 8 9 ,
citeseer.nj.nec.com/atkinson89objectoriented.html.

[2 ] R a ke s h A g r a wa l, S h a u l D a r a n d N a r a in H . Ge h a n i, " Th e O++ D a t a b a s e P r o g r a m m in g
L a n g u a g e : Im p le m e n t a t io n a n d E xp e r ie n c e " , ICD E , p p . 6 1 -7 0 , 1 9 9 3 ,
citeseer.nj.nec.com/dar93database.html.

[3 ] R . A g r a wa l a n d N . H . Ge h a n i, " OD E ( Ob je c t D a t a b a s e a n d E n vir o n m e n t ) : t h e la n g u a g e
a n d t h e d a t a m o d e l" , p p . 3 6 -4 5 , 1 9 8 9 ,
citeseer.nj.nec.com/agrawal89ode.html.

[4 ] V ¶ e r o n iqu e B e n z a ke n a n d X a vie r S c h a e fe r , " S t a t ic In t e g r it y Co n s t r a in t Ma n a g e m e n t
in Ob je c t -Or ie n t e d D a t a b a s e P r o g r a m m in g L a n g u a g e s via P r e d ic a t e Tr a n s fo r m e r s " ,
L ecture Notes in Computer Science, vo l. 1 2 4 1 , p p . 6 0 -??, 1 9 7 7 ,
citeseer.nj.nec.com/article/benzaken97static.html.

[5 ] S t e fa n o Ce r i, P ie r o Fr a t e r n a li a n d S t e fa n o P a r a b o s c h i, " Co n s t r a in t Ma n a g e m e n t in
Ch im e r a " , IE E E D ata E ng. B ull., vo l. 1 7 , n o . 2 , p p . 4 -8 , 1 9 9 4 .

[6 ] S t e fa n o Ce r i, P ie r o Fr a t e r n a li, S t e fa n o P a r a b o s c h i a n d L e t iz ia Ta n c a , " A u t o m a t ic g e n -
e r a t io n o f p r o d u c t io n r u le s fo r in t e g r it y m a in t e n a n c e " , ACM Trans. D atabase Syst.,
A CM P r e s s , vo l 1 9 , n o . 3 , p p . 3 6 7 -4 2 2 , 1 9 9 4 .

8 0



A. J. Asatryan 8 1

[7 ] S t e fa n o Ce r i a n d R a in e r Ma n t h e y, " Ch im e r a : A Mo d e l a n d L a n g u a g e fo r A c t ive D OOD
S ys t e m s " , E ast/W est D atabase W orkshop ,p p . 3 -1 6 , 1 9 9 4 ,
citeseer.nj.nec.com/ceri94chimera.html.

[8 ] S . Ce r i a n d J. W id o m , " D e r ivin g P r o d u c t io n R u le s fo r Co n s t r a in t Ma in t e n a n c e " , P ro-
ceedings of the 16th VL D B Conference, B r is b a n e , A u s t r a lia , D . Mc L e o d a n d R . S a c ks -
D a vis a n d H . S c h e k, p p . 5 6 6 -5 7 7 , 1 9 9 0 ,
citeseer.nj.nec.com/ceri90deriving.html.

[9 ] S . Ce r i a n d J. W id o m , " D e r ivin g P r o d u c t io n R u le s fo r In c r e m e n t a l V ie w Ma in t e -
n a n c e " ,P roceedings of the 17th Conference on Very L arge D atabases, ( L o s A lt o s CA ) ,
B a r c e lo n a , Mo r g a n K a u fm a n , 1 9 9 1 ,
citeseer.nj.nec.com/ceri91deriving.html.

[1 0 ] C. J. D a t e , " D a t a b a s e S ys t e m s " , A d d is o n -W e s le y, 2 0 0 0 .

[1 1 ] U m e s h wa r D a ya l, E r ic N . H a n s o n a n d Je n n ife r W id o m , " A c t ive D a t a b a s e S ys t e m s " ,
M odern D atabase Systems, p p . 4 3 4 -4 5 6 , 1 9 9 5 ,
citeseer.nj.nec.com/dayal94active.html.

[1 2 ] K . R . D it t r ic h a n d S . Ga t z iu a n d A . Ge p p e r t , " Th e A c t ive D a t a b a s e Ma n a g e m e n t S ys -
t e m Ma n ife s t o : A R u le b a s e o f a A D B MS Fe a t u r e s " , P roceedings of the 2nd International
W orkshop on R ules in D atabase Systems, S p r in g e r , vo l. 9 8 5 , p p . 3 -2 0 , 1 9 9 5 ,
citeseer.nj.nec.com/dittrich95active.html.

[1 3 ] M. Fit t in g , " Fir s t -Or d e r L o g ic a n d A u t o m a t e d Th e o r e m P r o vin g " , S p r in g e r V e r la g ,
1 9 9 0 .

[1 4 ] P ie r o Fr a t e r n a li a n d L e t iz ia Ta n c a , " A s t r u c t u r e d a p p r o a c h fo r t h e d e ¯ n it io n o f t h e
s e m a n t ic s o f a c t ive d a t a b a s e s " , ACM Trans. D atabase Syst., A CM P r e s s , vo l. 2 0 , n o .
4 , p p . 4 1 4 -4 7 1 , 1 9 9 5 , http://doi.acm.org/10.1145/219035.219042.

[1 5 ] A n d r e a s Ge p p e r t a n d K la u s R . D it t r ic h ," S p e c i¯ c a t io n a n d Im p le m e n t a t io n o f Co n s is -
t e n c y Co n s t r a in t s in Ob je c t -Or ie n t e d D a t a b a s e S ys t e m s : A p p lyin g P r o g r a m m in g -b y-
Co n t r a c t " , D atenbanksysteme in B uro, Technik und W issenschaft, p p . 3 2 2 -3 3 7 , 1 9 9 5 ,
citeseer.nj.nec.com/geppert95speci¯cation.html.

[1 6 ] S t e lla Ga t z iu a n d A n d r e a s Ge p p e r t a n d K la u s R . D it t r ic h , " Th e S A MOS a c t ive D B MS
p r o t o t yp e " , p p . 4 8 0 -4 8 0 , 1 9 9 5 , citeseer.nj.nec.com/gatziu94samo.html.

[1 7 ] N . H . Ge h a n i a n d H . V . Ja g a d is h , " Od e a s a n A c t ive D a t a b a s e : Co n s t r a in t s a n d Tr ig -
g e r s " , P roceedings of the 17th Conference on Very L arge D atabases, ( L o s A lt o s CA ) ,
B a r c e lo n a , Mo r g a n K a u fm a n , 1 9 9 1 ,
citeseer.nj.nec.com/gehani91ode.html.

[1 8 ] Th e o d o r e H o n g , " A S u r ve y o f A c t ive D a t a b a s e S ys t e m s " , 1 9 9 7 ,
citeseer.nj.nec.com/hong97survey.html.

[1 9 ] U lr ike Ja e g e r a n d Jo h a n n Ch r is t o p h Fr e yt a g , " A n A n n o t a t e d B ib lio g r a p h y o n A c t ive
D a t a b a s e s " , SIGM OD R ecord, vo l. 2 4 , n o . 1 , p p . 5 8 -6 9 , 1 9 9 5 ,
citeseer.nj.nec.com/article/jaeger95annotated.html.

[2 0 ] H . V . Ja g a d is h a n d X . Qia n , " In t e g r it y Ma in t e n a n c e in Ob je c t -Or ie n t e d D a t a b a s e s " ,
P roceedings of the 18th Conference on Very L arge D atabases, L o s A lt o s CA ) , V a n c o u ve r ,
Mo r g a n K a u fm a n , 1 9 9 2 ,
citeseer.nj.nec.com/jagadish92integrity.html.



8 2 Consistency Management In Database Systems: Review

[2 1 ] C. Me d e ir o s a n d M. A n d r a d e , " Im p le m e n t in g In t e g r it y Co n t r o l in A c t ive D a t a b a s e s " ,
Implementing Integrity Control in Active D atabases . The J ournal of Systems and Soft-
ware, d e c e m b e r , p p . 1 7 1 -1 8 1 , 1 9 9 4 ,
citeseer.nj.nec.com/medeiros94implementing.html.

[2 2 ] C. Me d e ir o s a n d P . P fe ®e r , " Ob je c t In t e g r it y U s in g R u le s " , n P roceedings E uropean
Conference on Object-Oriented P rogramming, p p . 2 1 9 -2 3 0 , 1 9 9 1 .

[2 3 ] H . Oa ka s h a a n d S . Co n r a d a n d G. S a a ke , " Co n s is t e n c y m a n a g e m e n t in o b je c t -o r ie n t e d
d a t a b a s e s " , Concurrency and Computation: P ractice and E xperience, vo l. 1 3 , n o . 1 1 ,
p p . 9 5 5 -9 8 5 , 2 0 0 1 ,
citeseer.nj.nec.com/296653.html.

[2 4 ] Oa ka s h a , H . a n d S a a ke , G., " In t e g r it y In d e p e n d e n c e in Ob je c t -Or ie n t e d D a t a b a s e
S ys t e m s " , K urzfassungen | 10. W orkshop \Grundlagen von D atenbanken", K onstanz
(02.06.{05.06.98), U n ive r s it Äa t K o n s t a n z , Fa c h b e r e ic h In fo r m a t ik, M. H . S c h o ll a n d H .
R ie d e l a n d T. Gr u s t a n d D . Glu c h e , n o . 6 3 , p p . 9 4 -9 8 , 1 9 9 8 ,
citeseer.nj.nec.com/oakasha98integrity.html.

[2 5 ] N .W . P a t o n a n d O. D ia z , " A c t ive D a t a b a s e S ys t e m s " , ACM Computing Surveys, vo l.
1 , n o . 3 , p p . 6 3 -1 0 3 , 1 9 9 9 ,
citeseer.nj.nec.com/paton99active.html.

[2 6 ] K .-D . S c h e we , a n d B . Th a lh e im , a n d J.W . S c h m id t , a n d I. W e t z e l, " In t e g r it y E n fo r c e -
m e n t in Ob je c t -Or ie n t e d D a t a b a s e s " , P roc. 4th Int. W orkshop on F oundations of M odels
and L anguages for D ata and Objects , V o lks e , Ge r m a n y, Oc t o b e r , p p . 1 9 -2 2 , 1 9 9 2 .

[2 7 ] S u s a n D . U r b a n a n d L o is M. L . D e lc a m b r e , Co n s t r a in t A n a lys is : A D e s ig n P r o c e s s fo r
S p e c ifyin g Op e r a t io n s o n Ob je c t s " , IE E E Trans. K nowl. D ata E ng., vo l. 2 , n o . 4 , p p .
3 9 1 -4 0 0 , 1 9 9 0 .

[2 8 ] S u s a n D . U r b a n , A n t o n P . K a r a d im c e a n d R a vi B . N a n n a p a n e n i, " h e Im p le m e n t a t io n
a n d E va lu a t io n o f In t e g r it y Ma in t e n a n c e R u le s in a n Ob je c t -Or ie n t e d D a t a b a s e " , P ro-
ceedings of the E ighth International Conference on D ata E ngineering ,Te m p e , A r iz o n a ,
IE E E Co m p u t e r S o c ie t y, Fo r o u z a n Go ls h a n i, p p . 5 6 5 -5 7 2 , 1 9 9 2 .

[2 9 ] S u s a n D . U r b a n a n d Ma r io D e s id e r io , " CON TE X T: a CON s t r a in T E X p la n a t io n To o l" ,
D ata K nowl. E ng., E ls e vie r S c ie n c e P u b lis h e r s B . V ., vo l. 8 , n o . 2 , p p . 1 5 3 -1 8 3 , 1 9 9 2 ,
http://dx.doi.org/10.1016/0169-023X(92)90035-A .

[3 0 ] S u s a n D . U r b a n a n d B illy B . L . L im , " A n in t e llig e n t fr a m e wo r k fo r a c t ive s u p p o r t o f
d a t a b a s e s e m a n t ic s " , nt. J . E xpert Syst., JA I P r e s s , In c ., vo l. 6 , n o . 1 , p p . 1 -3 7 , 1 9 9 3 .

[3 1 ] U llm a n J. D ., W id o m J., Ga r c ia -Mo lin a H ., " D a t a b a s e S ys t e m s : Th e Co m p le t e B o o k" ,
P r e n t ic e H a ll, 2 0 0 1 .

[3 2 ] J. W id o m , " Th e S t a r b u r s t R u le S ys t e m : L a n g u a g e D e s ig n , Im p le m e n t a t io n , a n d A p -
p lic a t io n s " , IE E E Quarterly B ulletin on D ata E ngineering, Special Issue on Active
D atabases, vo l. 1 5 , n o . 1 -4 , p p . 1 5 -1 8 , 1 9 9 2 ,
citeseer.nj.nec.com/widom92starburst.html.

[3 3 ] Je n n ife r W id o m , " Th e S t a r b u r s t A c t ive D a t a b a s e R u le S ys t e m " , K nowledge and D ata
E ngineering, vo l. 8 , n o . 4 , p p . 5 8 3 -5 9 5 , 1 9 9 6 ,
citeseer.nj.nec.com/widom96starburst.html.

[3 4 ] J. W id o m a n d R . Co c h r a n e a n d B . L in d s a y, " Im p le m e n t in g S e t -Or ie n t e d P r o d u c t io n
R u le s a s a n E xt e n s io n t o S t a r b u r s t " , P roceedings of the 17th Conference on Very L arge



A. J. Asatryan 8 3

D atabases, ( L o s A lt o s CA ) , B a r c e lo n a , Mo r g a n K a u fm a n , 1 9 9 1 ,
citeseer.ist.psu.edu/widom91implementing.html.

[3 5 ] J. W id o m a n d S . J. Fin ke ls t e in , " S e t -o r ie n t e d p r o d u c t io n r u le s in r e la t io n a l d a t a b a s e
s ys t e m s " , p p . 2 5 9 -2 7 0 , 1 9 9 0 ,
citeseer.nj.nec.com/widom90setoriented.html.

²ÙµáÕç³Ï³ÝáõÃÛ³Ý ³å³ÑáíáõÙÁ ïíÛ³ÉÝ»ñÇ Ñ»Ýù»ñáõÙ. ³ÏݳñÏ

². æ. ²ë³ïñÛ³Ý

²Ù÷á÷áõÙ

Àëï Çñ ë³ÑÙ³ÝÙ³Ý ïíÛ³ÉÝ»ñÇ Ñ»ÝùÁ å»ïù ¿ ͳé³ÛÇ áñå»ë ïíÛ³ÉÝ»ñÇ §íëï³Ñ»ÉǦ
»í §³ÝËáó»ÉǦ ßï»Ù³ñ³Ý »í å»ïù ¿ ³å³ÑáíÇ ïíÛ³ÉÝ»ñÇ Ïáé»ÏïáõÃÛáõÝÁª Ñ»ÝùÇ
Ñ»ï ³ß˳ïáÕ ÏÇñ³é³Ï³Ý Íñ³·ñ»ñÇ Ñ³Ù³ñ: êáõÛÝ ³ÏݳñÏáõÙ Ý»ñϳ۳óíáõÙ
»Ý ïíÛ³ÉÝ»ñÇ Ñ»Ýù»ñáõÙ ³ÙµáÕç³Ï³ÝáõÃÛ³Ý ë³Ñٳݳ÷³ÏáõÝ»ñÇ Ùß³ÏÙ³Ý ÙÇ
ß³ñù Ùáï»óáõÙÝ»ñ: ²ÛÝ ³ñï³óáÉáõÙ ¿ ³Ûë µÝ³·³í³éáõÙ Ý»ñϳÛáõÙë ϳï³ñíáÕ
ѻﳽáï³Ï³Ý áõÕÕáõÃÛáõÝÝ»ñÁ: