Artificial Intelligence
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Logical modeling of temporal data
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Dealing with granularity of time in temporal databases
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
Safety and translation of calculus queries with scalar functions
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)
On the semantics of (bi)temporal variable databases
EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
Temporal modules: an approach toward federated temporal databases
Information Sciences—Informatics and Computer Science: An International Journal
On an algebra for historical relational databases: two views
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
The temporal query language TQuel
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
A Statistical Interface for Historical Relational Databases
Proceedings of the Third International Conference on Data Engineering
History-less Checking of Dynamic Integrity Constraints
Proceedings of the Eighth International Conference on Data Engineering
Algebraic query languages on temporal databases with multiple time granularities
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Indexing values of time sequences
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Modeling temporal primitives: back to basics
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Information systems research at George Mason University
ACM SIGMOD Record
Conceptual Models and Architectures for Advanced Information Systems
Applied Intelligence
Temporal Semantic Assumptions and Their Use in Databases
IEEE Transactions on Knowledge and Data Engineering
Querying Continuous Time Sequences
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
ICB-index: a new indexing technique for continuous time sequences
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Hi-index | 0.00 |
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: point-based and interval-based. The point-based assumptions include those assumptions that use interpolation methods, while the interval-based assumptions include those that involve different temporal types (time granularities). Each assumption is viewed as a way to derive certain implicit data from the explicit data stored in the database. The database system must use all explicit as well as (possibly infinite) implicit data to answer user queries. This paper introduces a new method to facilitate such query evaluations. A user query is translated into a system query such that the answer of this system query over the explicit data is the same as that of the user query over the explicit and the implicit data. The paper gives such a translation procedure and studies the properties (safety in particular) of user queries and system queries.