Efficiently updating materialized views
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
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
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
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
Half-order modal logic: how to prove real-time properties
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
A temporal relational algebra as a basis for temporal relational completeness
Proceedings of the sixteenth international conference on Very large databases
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
A predicate matching algorithm for database rule 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
Managing Communication Networks by Monitoring Databases
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
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
Netmate: management of complex distributed networked systems
PDIS '91 Proceedings of the first international conference on Parallel and distributed information systems
Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
Incremental Implementation Model for Relational Databases with Transaction Time
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
Production Rules in Parallel and Distributed Database Environments
VLDB '92 Proceedings of the 18th 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
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
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Design of a digital library for human movement
Proceedings of the 1st ACM/IEEE-CS joint conference on Digital libraries
Querying ATSQL databases with temporal logic
ACM Transactions on Database Systems (TODS)
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
A Multiagent Update Process in a Database with Temporal Data Dependencies and Schema Versioning
IEEE Transactions on Knowledge and Data Engineering
Expressiveness Issues and Decision Problems for Active Database Event Queries
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Temporal Integrity Constraints with Indeterminacy
VLDB '00 Proceedings of the 26th 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
Transactional Computation: Overview and Discussion
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
States vs. Traces in Model Checking by Abstract Interpretation
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Continuous Queries within an Architecture for Querying XML-Represented Moving Objects
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Integrity constraints in an active database environment
Database integrity
Active rules and active databases: concepts and applications
Effective databases for text & document management
The VLDB Journal — The International Journal on Very Large Data Bases
A study of the model and algorithms for handling location-dependent continuous queries
Knowledge and Information Systems
CT-OLAP: temporal multidimensional data model and algebra for moving objects
Proceedings of the ACM tenth international workshop on Data warehousing and OLAP
Incremental application of knowledge to continuously arriving time-oriented data
Journal of Intelligent Information Systems
On the Computational Power of Querying the History
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Run-Time Checking of Dynamic Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
To support emergency management by using active modeling: a case of Hurricane Katrina
Active conceptual modeling of learning
Monitoring security policies with metric first-order temporal logic
Proceedings of the 15th ACM symposium on Access control models and technologies
IIP: an event-based platform for ITS applications
Proceedings of the Second International Workshop on Computational Transportation Science
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Extending temporal query languages to handle imprecise time intervals
Computer Languages
On the semantics of ST4SQL, a multidimensional spatio-temporal query language
Proceedings of the 16th International Database Engineering & Applications Sysmposium
On the Computational Power of Querying the History
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Hi-index | 0.00 |
In this paper we propose two languages, called Future Temporal Logic (FTL) and Past Temporal Logic (PTL), for specifying temporal triggers. Some examples of trigger conditions that can be specified in our language are the following: 驴The value of a certain attribute increases by more than 10% in 10 minutes,驴驴A tuple that satisfies a certain predicate is added to the database at least 10 minutes before another tuple, satisfying a different condition, is added to the database.驴 Such triggers are important for monitor and control applications.In addition to the languages, we present algorithms for processing the trigger conditions specified in these languages, namely, procedures for determining when the trigger conditions are satisfied. These methods can be added as a 驴temporal驴 component to an existing database management systems. A preliminary prototype of the temporal component that uses the FTL language has been built on top of Sybase running on SUN workstations.