Current trends in concurrency. Overviews and tutorials
Computer
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Domain-independent formulas and databases
Theoretical Computer Science
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Partitioned storage for temporal databases
Information Systems
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A temporal relational algebra as a basis for temporal relational completeness
Proceedings of the sixteenth international conference on Very large databases
Specifying real-time properties with metric temporal logic
Real-Time Systems
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Handbook of theoretical computer science (vol. B)
Extensions to Starburst: objects, types, functions, and rules
Communications of the ACM
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Syntactical characterization of a subset of domain-independent formulas
Journal of the ACM (JACM)
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On completeness of historical relational query languages
ACM Transactions on Database Systems (TODS)
Distributed and Parallel Databases - Special issue: Research topics in distributed and parallel databases
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Monitoring temporal preconditions in a behaviour oriented object model
Data & Knowledge Engineering
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Maintaining knowledge about temporal intervals
Communications of the ACM
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
An Effective Method for Integrity Constraint Simplification
Proceedings of the Fourth International Conference on Data Engineering
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
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Deriving Production Rules for Incremental View Maintenance
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Implementing Set-Oriented Production Rules as an Extension to Starburst
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Temporal Logic & Historical Databases
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
Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
The anchored version of the temporal framework
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A Temporal Framework for Database Specifications
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
Querying ATSQL databases with temporal logic
ACM Transactions on Database Systems (TODS)
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
Trends in Databases: Reasoning and Mining
IEEE Transactions on Knowledge and Data Engineering
Temporal View Self-Maintenance
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
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
Monitors for History-Based Policies
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
A general framework for reasoning about change
New Generation Computing
Characterizing memory requirements for queries over continuous data streams
ACM Transactions on Database Systems (TODS)
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Proceedings of the 19th IEEE international conference on Automated software engineering
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A note on the formalisation of UCON
Proceedings of the 12th ACM symposium on Access control models and technologies
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Weaving temporal and reliability aspects into a schema tapestry
Data & Knowledge Engineering
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Optimizing away joins on data streams
SSPS '08 Proceedings of the 2nd international workshop on Scalable stream processing system
Conceptually modeling windows and bounds for space and time in database constraints
Communications of the ACM - Remembering Jim Gray
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Expressive policy analysis with enhanced system dynamicity
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Decision-theoretic planning with non-Markovian rewards
Journal of Artificial Intelligence Research
Monitoring security policies with metric first-order temporal logic
Proceedings of the 15th ACM symposium on Access control models and technologies
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Refinement of history-based policies
Logic programming, knowledge representation, and nonmonotonic reasoning
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Prefix-based node numbering for temporal XML
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Anytime state-based solution methods for decision processes with non-Markovian rewards
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Schema-mediated exchange of temporal XML data
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Relational abstraction in community-based secure collaboration
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Hi-index | 0.00 |
We present an efficient implementation method for temporal integrity constraints formulated in Past Temporal Logic. Although the constraints can refer to past states of the database, their checking does not require that the entire database history be stored. Instead, every database state is extended with auxiliary relations that contain the historical information necessary for checking constraints. Auxiliary relations can be implemented as materialized relational views.