摘要: Describes operational aspects of a novel approach to active rule processing based on transaction transformation technique. A user-defined transaction, which is viewed as sequence atomic database updates forming semantic unit, translated by means rules into new that explicitly includes the additional due processing. It follows execution in passive environment corresponds original within defined given rules. Both immediate and deferred models are considered. The presents two main features. First, it relies well known formal basis allow us derive solid results equivalence, confluence optimization issues. Second, easy implement does not require any specific run-time support. >
sci-hub.se 参考文章(12)
Jennifer Widom, Eric N. Hanson, Rule processing in active database systems International Journal of Expert Systems - Special issue on Al and databases archive. ,vol. 6, pp. 83- 119 ,(1993)
Danilo Montesi, Riccardo Torlone, A Rewriting Technique for the Analysis and the Optimization of Active Databases international conference on database theory. pp. 238- 251 ,(1995) , 10.1007/3-540-58907-4_19
Michael Stonebraker, Spyros Potamianos, Anant Jhingran, Jeffrey Goh, On rules, procedures, caching and views in database systems international conference on management of data. pp. 363- 372 ,(1994)
Stefano Ceri, Jennifer Widom, Deriving Production Rules for Constraint Maintainance very large data bases. pp. 566- 577 ,(1990)
Dean Jacobs, Richard Hull, Language Constructs for Programming Active Databases very large data bases. pp. 455- 467 ,(1991)
Serge Abiteboul, Victor Vianu, Equivalence and optimization of relational transactions Journal of the ACM. ,vol. 35, pp. 70- 120 ,(1988) , 10.1145/42267.42271
Jennifer Widom, S. J. Finkelstein, Set-oriented production rules in relational database systems international conference on management of data. ,vol. 19, pp. 259- 270 ,(1990) , 10.1145/93597.98735
M. Stonebraker, The integration of rule systems and database systems IEEE Transactions on Knowledge and Data Engineering. ,vol. 4, pp. 415- 423 ,(1992) , 10.1109/69.166984
Paul W. P. J. Grefen, Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem very large data bases. pp. 581- 591 ,(1993)
Dennis McCarthy, Umeshwar Dayal, The architecture of an active database management system international conference on management of data. ,vol. 18, pp. 215- 224 ,(1989) , 10.1145/66926.66946