Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support
IEEE Transactions on Knowledge and Data Engineering
Efficient Computation of the Well-Founded Model Using Update Propagation
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
InterBase-KB: Integrating a Knowledge Base System with a Multidatabase System for Data Warehousing
IEEE Transactions on Knowledge and Data Engineering
Management of business process constraints using BPTrigger
Computers in Industry
Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL
ACM Transactions on Database Systems (TODS)
A fuzzy Petri net model for intelligent databases
Data & Knowledge Engineering
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
Alchemy: transmuting base alloy specifications into implementations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Efficient maintenance techniques for views over active documents
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Incremental model transformation for the evolution of model-driven systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |