Semantic Assumptions and Query Evaluation in Temporal Databases.

Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino, Sushil Jajodia: Semantic Assumptions and Query Evaluation in Temporal Databases. SIGMOD Conference 1995: 257-268

@inproceedings{DBLP:conf/sigmod/BettiniWBJ95,
  author    = {Claudio Bettini and
               Xiaoyang Sean Wang and
               Elisa Bertino and
               Sushil Jajodia},
  editor    = {Michael J. Carey and
               Donovan A. Schneider},
  title     = {Semantic Assumptions and Query Evaluation in Temporal Databases},
  booktitle = {Proceedings of the 1995 ACM SIGMOD International Conference on
               Management of Data, San Jose, California, May 22-25, 1995},
  publisher = {ACM Press},
  year      = {1995},
  pages     = {257-268},
  ee        = {http://doi.acm.org/10.1145/223784.223843, db/conf/sigmod/sigmod95-20.html},
  crossref  = {DBLP:conf/sigmod/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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-baaed. 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.

Copyright © 1995 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 1, SIGMOD '93-'97" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/smod9397 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Michael J. Carey, Donovan A. Schneider (Eds.): Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 22-25, 1995. ACM Press 1995

, SIGMOD Record 24(2), June 1995
Contents

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1384 KB]

References

[AKPT91]: ...
[BWBJ95]: ...
[CCT94]: James Clifford, Albert Croker, Alexander Tuzhilin: On Completeness of Historical Relational Query Languages. ACM Trans. Database Syst. 19(1): 64-116(1994)
[Cho92]: Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564
[CI94]: James Clifford, Tomás Isakowitz: On the Semantics of (Bi)Temporal Variable Databases. EDBT 1994: 215-230
[CT85]: James Clifford, Abdullah Uz Tansel: On An Algebra For Historical Relational Databases: Two Views. SIGMOD Conference 1985: 247-265
[CW83]: James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983)
[DM87]: Thomas Dean, Drew V. McDermott: Temporal Data Base Management. Artif. Intell. 32(1): 1-55(1987)
[EMHJ93]: Martha Escobar-Molano, Richard Hull, Dean Jacobs: Safety and Translation of Calculus Queries with Scalar Functions. PODS 1993: 253-264
[Sho87]: Yoav Shoham: Temporal Logics in AI: Semantical and Ontological Considerations. Artif. Intell. 33(1): 89-104(1987)
[Sno84]: Richard T. Snodgrass: The Temporal Query Language TQuel. PODS 1984: 204-213
[SS87]: Arie Segev, Arie Shoshani: Logical Modeling of Temporal Data. SIGMOD Conference 1987: 454-466
[Tan87]: Abdullah Uz Tansel: A Statistical Interface for Historical Relational Databases. ICDE 1987: 538-546
[TGG+93]: Abdullah Uz Tansel, James Clifford, Shashi K. Gadia, Sushil Jajodia, Arie Segev, Richard T. Snodgrass (Eds.): Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings 1993, ISBN 0-8053-2413-5
Contents
[Ull88]: Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents
[WBBJ94]: ...
[WJL91]: Gio Wiederhold, Sushil Jajodia, Witold Litwin: Dealing with Granularity of Time in Temporal Databases. CAiSE 1991: 124-140
[WJS95]: Xiaoyang Sean Wang, Sushil Jajodia, V. S. Subrahmanian: Temporal Modules: An Approach Toward Federated Temporal Databases. SIGMOD Conference 1993: 227-236