Real-time integrity constraints
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ERC++: a model based on object and logic paradigms
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Managing business processes as an information resource
IBM Systems Journal
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Temporal conditions and integrity constraints in active database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Querying ATSQL databases with temporal logic
ACM Transactions on Database Systems (TODS)
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Integrity constraints in an active database environment
Database integrity
Active rules and active databases: concepts and applications
Effective databases for text & document management
Specification of business components using temporal OCL
UML and the unified process
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Monitoring norm violations in multi-agent systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |