Welcome to D
SIGMOD 2003
PODS 2003
SIGMOD-RECOR
ADBIS
= ADBIS'00 Pap
<<< = ADBIS'01 Pap>>>
= ADBIS'02 Pap
CIDR 2003
CIKM 2003
DASFAA 2003
Data Enginee
DEBS
DMKD 2003
DOLAP 2003
DPDJ 2003
ER
GIS 2003
Hypertext 20
ICDE 2003
ICDM 2003
ICDT 2003
JCDL 2003
KRDB 2003
MIR 2003
MIS 2003
MMDB 2003
RIDE 2003
SBBD 2003
SIGIR 2003
SIGIR-FORUM
SIGKDD 2003
SIGKDD-EXP
SSDBM 2003
TIME 2003
TODS
VLDB 2003
VLDB Journal
WIDM 2003

Detecting Termination of Active Database Rules Using Symbolic Model Checking


Indrakshi Ray and Indrajit Ray

  View Paper (PDF)  

Return to Active Databases




©2004 Association for Computing Machinery