A temporal relational algebra as a basis for temporal relational completeness
Proceedings of the sixteenth international conference on Very large databases
Handbook of theoretical computer science (vol. B)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Temporal Logic & Historical Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Temporal Connectives versus Explicit Timestamps in Temporal Query Languages
Proceedings of the International Workshop on Temporal Databases: Recent Advances in Temporal Databases
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
Some complexity questions related to distributive computing(Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Implicit Temporal Query Languages: Towards Completeness
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
First Order Linear Temporal Logic over Finite Time Structures
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Proceedings of the 2003 ACM symposium on Document engineering
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SCQL: a formal model and a query language for source control repositories
MSR '05 Proceedings of the 2005 international workshop on Mining software repositories
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Temporal Extensions of OCL Revisited
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |