Extensions to Starburst: objects, types, functions, and rules
Communications of the ACM
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Real-time integrity constraints
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Distributed constraint management for collaborative engineering databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Formal query languages for secure relational databases
ACM Transactions on Database Systems (TODS)
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Heraclitus: elevating deltas to be first-class citizens in a database programming language
ACM Transactions on Database Systems (TODS)
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
Rule based database access control—a practical approach
RBAC '97 Proceedings of the second ACM workshop on Role-based access control
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Databases in software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Exploiting constraint-like data characterizations in query optimization
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Termination analysis of active rules modular sets
Proceedings of the tenth international conference on Information and knowledge management
Design issues for general-purpose adaptive hypermedia systems
Proceedings of the 12th ACM conference on Hypertext and Hypermedia
Specifying and implementing the operational use of constraints in object-oriented applications
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
Analysis and optimization of active databases
Data & Knowledge Engineering
Data model for extensible support of explicit relationships in design databases
The VLDB Journal — The International Journal on Very Large Data Bases
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema
IEEE Transactions on Knowledge and Data Engineering
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
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
Transaction Repair for Integrity Enforcement
IEEE Transactions on Knowledge and Data Engineering
Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
A Model for Active Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Integrity Maintenance in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Implementing High Level Active Rules on Top of a Relational DBMS
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Managing Semantic Heterogeneity with Production Rules and Persistent Queues
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Promises and Realities of Active Database Systems
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
LOIS: The ``Lights Out'' Integrity Subsystem
BNCOD 18 Proceedings of the 18th British National Conference on Databases: Advances in Databases
Specifying Active Rules for Database Maintenance
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Verify Updating Trigger Correctness
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Improving Termination Analysis of Active Rules with Composite Events
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Query Optimization via Empty Joins
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
EXACT: an extensible approach to active object-oriented databases
The VLDB Journal — The International Journal on Very Large Data Bases
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Integrity constraints in an active database environment
Database integrity
View maintenance in relational and deductive databases by incremental query evaluation
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
SAMOS in hindsight: experiences in building an active object-oriented DBMS
Information Systems
Increasing the accuracy of time-tabled condition monitoring
Integrity and internal control in information systems V
Acceptability-oriented computing
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Active rules and active databases: concepts and applications
Effective databases for text & document management
Acceptability-oriented computing
ACM SIGPLAN Notices
On the decidability of the termination problem of active database systems
Theoretical Computer Science
Journal of Intelligent Information Systems
Triggers over nested views of relational data
ACM Transactions on Database Systems (TODS)
Software—Practice & Experience
Mining Violations to Relax Relational Database Constraints
DaWaK '09 Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery
Modelling with history-dependent Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Extensions to Starburst: objects, types, functions and rules
CASCON First Decade High Impact Papers
Towards the completion of expressing and checking inheritance constraints in UML
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Constraints checking in UML class diagrams: SQL vs OCL
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Hi-index | 0.02 |