D:\sbornik\...\CF.DVI


Mathematical Problems of Computer Science 23, 2004, 12{19.

Constr aint M anagement in Database Applications via

Checker Fr amewor k

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

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

e-mail armen.asatryan@unicad.am

Abstract

The paper presents concepts and ideas underlying an approach for constraint man-
agement in VLSI design database applications and designs °ows. In this approach
constraints are de¯ned as scripts of EVA strongly typed scripting language and stored
in meta{databases called check catalogue. Interaction of applications with check cata-
logue is supported by subsystem of DBMS called Checker Framework. Checker Frame-
work provides facilities for creation, modi¯cation and deletion of the constraints and
has several features that enhance the constraint management in database applications.

Keywor ds
c o n s is t e n c y c o n s t r a in t s , o b je c t -o r ie n t e d d a t a b a s e s ys t e m s , s c r ip t in g .

Refer ences

[1 ] A . A s a t r ya n , " A n A p p r o a c h fo r Co n s t r a in t Ma n a g e m e n t o f VLSI D e s ig n D a t a b a s e
A p p lic a t io n s a n d D e s ig n Flo ws " , P roceedings of the Conference on Computer Science
and Information Technologies, Yerevan, Armenia, S e p t e m b e r , p p . 3 7 5 -3 7 8 , 2 0 0 3 .

[2 ] 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 1 , p p . 6 3 -1 0 3 , 1 9 9 9 ,
citeseer.nj.nec.com/paton99active.html.

[3 ] 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 Inter-
national W orkshop on R ules in D atabase Systems, vo l. 9 8 5 , S p r in g e r , p p . 3 -2 0 , 1 9 9 5 ,
citeseer.nj.nec.com/dittrich95active.html.

[4 ] U . Ja e g e r a n d J. C. 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 " , SIG-
M 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.

[5 ] 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 roceedings 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.

1 2



A. J. Asatryan 1 3

[6 ] S . Ce r i a n d P . Fr a t e r n a li a n d S . P a r a b o s c h i a n d L . 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., vo l. 1 9 , n o .
3 , A CM P r e s s , p p . 3 6 7 -4 2 2 , 1 9 9 4 , is s n 0 3 6 2 -5 9 1 5 ,
http://doi.acm.org/10.1145/185827.185828.

[7 ] 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 .

[8 ] V . B e n z a ke n a n d X . 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 , 1 9 9 7 , cite-
seer.nj.nec.com/article/benzaken97static.html.

[9 ] 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, M organ K aufman, (L os
Altos CA), Vancouver , 1 9 9 2 , citeseer.nj.nec.com/jagadish92integrity.html.

[1 0 ] 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, M organ K aufman
, (L os Altos CA), B arcelona , 1 9 9 1 , citeseer.nj.nec.com/gehani91ode.html.

[1 1 ] 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.

[1 2 ] 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 on-
stanz (02.06.{05.06.98), n o . 6 3 , 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 , p p . 9 4 -9 8 , 1 9 9 8 , cite-
seer.nj.nec.com/oakasha98integrity.html

[1 3 ] D . M. B e a z le y, " S W IG : A n E a s y t o U s e To o l fo r In t e g r a t in g S c r ip t in g L a n g u a g e s wit h
C a n d C++" , 4th Annual Tcl/Tk W orkshop, Ju ly, 1 9 9 6 .

[1 4 ] J. K . Ou s t e r h o u t , " S c r ip t in g : H ig h e r -L e ve l P r o g r a m m in g fo r t h e 2 1 s t Ce n t u r y" , IE E E
Computer magazine , Ma r c h , 1 9 9 8 .

[1 5 ] A . V . A h o a n d R . S e t h i a n d J. D . U llm a n , " Co m p ile r s p r in c ip le s , t e c h n iqu e s , a n d t o o ls " ,
A d d is o n -W e s le y, 1 9 8 6 .

[1 6 ] T. W . P r a t t a n d M. V . Ze lko wit z , " P r o g r a m m in g L a n g u a g e s : D e s ig n a n d Im p le m e n t a -
t io n " , P r e n t ic e -H a ll, 1 9 9 6 .

[1 7 ] J. K . Ou s t e r h o u t , " Tc l a n d t h e Tk To o lkit " , A d d is o n -W e s le y, 1 9 9 4 .

[1 8 ] B . S t r o u s t r u p , " Th e C++ P r o g r a m m in g L a n g u a g e ( 3 r d E d it io n ) " , p u b l. A d d is o n -
W e s le y, 1 9 9 7 .

[1 9 ] D . Fla n a g a n , " Ja va In A N u t s h e ll ( 2 n d E d it io n ) " , p u b l. O'R e illy & A s s o c ia t e s , 1 9 9 7 .

[2 0 ] J. R . L e vin e a n d T. Ma s o n a n d D . B r o wn , " Ja va In A N u t s h e ll ( 2 n d E d it io n ) " , A d d is o n -
W e s le y, 1 9 9 2 .



1 4 Constraint Management in Database Applications via Checker Framework

îíÛ³ÉÝ»ñÇ Ñ»Ýù»ñÇ ÏÇñ³é³Ï³Ý Íñ³·ñ»ñÇ ë³Ñٳݳ÷³ÏáõÙÝ»ñÇ Ùß³ÏáõÙ
ëïáõ·ÇãÝ»ñÇ Ñ³Ù³Ï³ñ·Ç ÏÇñ³éٳٵ

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

²Ù÷á÷áõÙ

êáõÛÝ Ñá¹í³ÍáõÙ Ý»ñϳ۳óíáõÙ ¿ ë³Ñٳݳ÷³ÏáõÙÝ»ñÇ Ùß³ÏÙ³Ý Ùáï»óáõÙ
»ñÙ»Í ÆÝï»·ñí³Í ê˻ٳݻñÇ Ü³Ë³·ÍÙ³Ý (VLSI design) Ñ»Ýù»ñÇ ÏÇñ³é³Ï³Ý
Íñ³·ñ»ñáõÙ »í Ñáëù»ñáõÙ: Àëï ³é³ç³ñÏíáÕ Ùáï»óٳݪ ë³Ñٳݳ÷³ÏáõÙÝ»ñÁ
Ý»ñϳ۳óíáõÙ »Ý EVA ïÇåǽ³óí³Í ëÏñÇåï³ÛÇÝ É»½íÇ ÙÇçáóáí »í å³ÑíáõÙ »Ý
ëïáõ·ÇãÝ»ñÇ Ù»ï³Ñ»ÝùáõÙ: Ìñ³·ñ»ñÇ »í ëïáõ·ÇãÝ»ñÇ Ù»ï³Ñ»ÝùÇ ÷á˳½¹»óáõÃÛáõÝÁ
Çñ³Ï³Ý³óíáõÙ ¿ êïáõ·ÇãÝ»ñÇ Ð³Ù³Ï³ñ·Ç ÙÇçáóáí, áñÁ ѳݹÇë³ÝáõÙ ¿ Ñ»ÝùÇ
ջϳí³ñÙ³Ý Ñ³Ù³Ï³ñ·Ç »Ýóѳٳϳñ·: êïáõ·ÇãÝ»ñÇ Ñ³Ù³Ï³ñ·Á å³ß-ï³ëß-
˳ß-ݳß-ïáõ ¿ ë³Ñٳݳ÷³ÏáõÙÝ»ñÇ ëï»ÕÍÙ³Ý, ÷á÷áËÙ³Ý »í çÝçÙ³Ý Ñ³Ù³ñ,
ÇÝãå»ë ݳ»í ³å³ÑáíáõÙ ¿ ÙÇçáóÝ»ñª Íñ³·ñ»ñáõÙ ë³Ñٳݳ÷³ÏáõÙÝ»ñÇ Ùß³ÏÙ³Ý
³ñ¹Ûáõݳí»ï ϳ½Ù³Ï»ñåÙ³Ý Ñ³Ù³ñ: