NDLI: Modularization techniques for active rules design

Content Provider	ACM Digital Library
Author	Paraboschi, Stefano Baralis, Elena Ceri, Stefano
Copyright Year	1996
Abstract	Active database systems can be used to establish and enforce data management policies. A large amount of the semantics that normally needs to be coded in application programs can be abstracted and assigned to active rules. This trend is sometimes called “knowledge independence” a nice consequence of achieving full knowledge independence is that data management policies can then effectively evolve just by modifying rules instead of application programs. Active rules, however, may be quite complex to understand and manage: rules react to arbitrary event sequences, they trigger each other, and sometimes the outcome of rule processing may depend on the order in which events occur or rules are scheduled. Although reasoning on a large collection of rules is very difficult, the task becomes more manageable when the rules are few. Therefore, we are convinced that modularization, similar to what happens in any software development process, is the key principle for designing active rules; however, this important notion has not been addressed so far. This article introduces a modularization technique for active rules called stratification; it presents a theory of stratification and indicates how stratification can be practically applied. The emphasis of this article is on providing a solution to a very concrete and practical problem; therefore, our approach is illustrated by several examples.
Starting Page	1
Ending Page	29
Page Count	29
File Format	PDF
ISSN	03625915
e-ISSN	15574644
DOI	10.1145/227604.227605
Volume Number	21
Issue Number	1
Journal	ACM Transactions on Database Systems (TODS)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1996-03-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Active database systems Database rule processing Modularization Static analysis Termination
Content Type	Text
Resource Type	Article
Subject	Information Systems

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Static analysis techniques for predicting the behavior of active database rules

An algebraic approach to static analysis of active database rules

Improving active rules termination analysis by graphs splitting.

Termination analysis of active rules modular sets

A structured approach for the definition of the semantics of active databases

Constraint-Based Termination Analysis for Cyclic Active Database Rules (2000)

Improving Termination Analysis of Active Rules with Priorities (2001)

Static Analysis Techniques for Predicting the Behavior of Active Database Rules (1995)

Static analysis techniques for predicting the behavior of active database rules

Modularization techniques for active rules design

Similar Documents

Static analysis techniques for predicting the behavior of active database rules

An algebraic approach to static analysis of active database rules

Improving active rules termination analysis by graphs splitting.

Termination analysis of active rules modular sets

A structured approach for the definition of the semantics of active databases

Constraint-Based Termination Analysis for Cyclic Active Database Rules (2000)

Improving Termination Analysis of Active Rules with Priorities (2001)

Static Analysis Techniques for Predicting the Behavior of Active Database Rules (1995)

Static analysis techniques for predicting the behavior of active database rules

Modularization techniques for active rules design