Computer
Logical modeling of temporal data
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Data intensive production systems: the DIPS approach
ACM SIGMOD Record
Event-join optimization in temporal relational databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A temporal relational algebra as a basis for temporal relational completeness
Proceedings of the sixteenth international conference on Very large databases
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
The POSTGRES next generation database management system
Communications of the ACM
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Event specification in an active object-oriented database
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
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
Aggregates in the Temporal Query Language TQuel
IEEE Transactions on Knowledge and Data Engineering
Supporting Semantic Rules by a Generalized Event/Trigger Mechanism
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
History-less Checking of Dynamic Integrity Constraints
Proceedings of the Eighth International Conference on Data Engineering
Deriving Integrity Maintaining Triggers from Transition Graphs
Proceedings of the Ninth International Conference on Data Engineering
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
The Representation of a Temporal Data Model in the Relational Environment
Proceedings of the 4th International Working Conference SSDBM on Statistical and Scientific Database Management
Using Finite-Linear Temporal Logic for Specifying Database Dynamics
CSL '88 Proceedings of the 2nd Workshop on Computer Science Logic
View maintenance in mobile computing
ACM SIGMOD Record
Temporal aggregation in active database rules
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
A Mediator for Approximate Consistency: Supporting “GoodEnough” Materialized Views
Journal of Intelligent Information Systems
Indexing moving points (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Decision-Centric Information Monitoring
Journal of Intelligent Information Systems
Similarity based retrieval from sequence databases using automata as queries
Proceedings of the eleventh international conference on Information and knowledge management
Algorithmic issues in modeling motion
ACM Computing Surveys (CSUR)
Toward Duration-Based, Constrained and Dynamic Event Types
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
STAR-Tree: An Efficient Self-Adjusting Index for Moving Objects
ALENEX '02 Revised Papers from the 4th International Workshop on Algorithm Engineering and Experiments
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Integrity constraints in an active database environment
Database integrity
Journal of Computer and System Sciences - Special issue on PODS 2000
Active rules and active databases: concepts and applications
Effective databases for text & document management
Reactive maintenance of continuous queries
ACM SIGMOBILE Mobile Computing and Communications Review
IEEE Transactions on Software Engineering
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
Developing event-condition-action rules in real-time active database
Proceedings of the 2007 ACM symposium on Applied computing
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Active database systems for monitoring and surveillance
ISI'03 Proceedings of the 1st NSF/NIJ conference on Intelligence and security informatics
Quality-aware sensor data collection
International Journal of Sensor Networks
Towards expressive publish/subscribe systems
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper, we present a unified formalism, based on Past Temporal Logic, for specifying conditions and events in the rules for active database system. This language permits specification of many time varying properties of database systems. It also permits specification of temporal aggregates. We present an efficient incremental algorithm for detecting conditions specified in this language. The given algorithm, for a subclass of the logic, was implemented on top of Sybase.