Michael H. Böhlen, Jan Chomicki, David Toman  Home/Search
Context
Related
| toronto.edu/~david...aperstl2tsql.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: toronto.edu/~david/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we establish a correspondence between temporal logic and a subset of ATSQL, a temporal extension of SQL--92. In addition we provide an effective translation from temporal logic to ATSQL that enables a user to write high-level queries which can be evaluated against a space-efficient representation of the database. A reverse translation, also provided in this paper, characterizes the expressive power of a syntactically defined subset of ATSQL queries. 1 Introduction In this paper,... (Update)
Similar documents (at the sentence level):
59.8%: Querying ATSQL Databases with Temporal Logic - Chomicki, Toman, Böhlen (2001) (Correct)
28.3%: Querying TSQL2 Databases with Temporal Logic - Böhlen, Chomicki, Snodgrass.. (1996) (Correct)
Active bibliography (related documents): More All
0.2: Temporal Query Languages: a Survey - Chomicki (1995) (Correct)
0.2: Temporal Statement Modifiers - Böhlen, Jensen (Correct)
0.2: Spatio-Temporal Database Support for Legacy Applications - Böhlen, Jensen, Skjellaug (1997) (Correct)
Similar documents based on text: More All
0.4: Temporal Logic in Information Systems - Chomicki, Toman (1997) (Correct)
0.3: Datalog with Integer Periodicity Constraints - Toman, Chomicki (1993) (Correct)
0.3: Temporal Databases - Chomicki, Toman (Correct)
BibTeX entry: (Update)
@misc{ hlen-querying,
author = "Michael H. Böhlen and Jan Chomicki and David Toman",
title = "Querying ATSQL Databases with Temporal Logic",
url = "citeseer.ist.psu.edu/63266.html" }
Citations (may not include all citations):1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
162 The TSQL2 Temporal Query Language (context) - Snodgrass - 1995
150 Understanding the new SQL: A Complete Guide (context) - Melton, Simon - 1993
141 ACM Transactions on Database Systems (context) - Snodgrass, Query - 1987
122 Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1994
106 Equivalence of Relational Algebra and Relational Calculus Qu.. (context) - Klug - 1982
95 A Homogeneous Relational Model and Query Languages for Tempo.. (context) - Gadia - 1988
89 Temporal Query Languages: a Survey - Chomicki - 1994
75 A Glossary of Temporal Database Concepts - Jensen, Clifford et al. - 1994
61 The Historical Relational Data Model (context) - Clifford, Croker - 1987
56 Extensions to SQL for Historical Databases (context) - Sarda - 1990
46 Monitoring Dynamic Integrity Constraints Based on Temporal L.. (context) - Lipeck, Saake - 1987
45 On Completeness of Historical Relational Query Languages (context) - Clifford, Croker et al. - 1994
39 Efficient Checking of Temporal Integrity Constraints Using B.. - Chomicki - 1995
35 Safety and Translation of Relational Calculus Queries (context) - Van Gelder, Topor - 1991
32 A Temporal Relational Algebra as a Basis for Temporal Relati.. (context) - Tuzhilin, Clifford - 1990
32 Adding Time Dimension to Relational Model and Extending Rela.. (context) - Tansel - 1986
32 Temporal versus First-Order Logic to Query Temporal Database.. - Abiteboul, Herr et al. - 1996
31 Temporal Databases: A Prelude to Parametric Data (context) - Gadia, Nair - 1993
30 Temporal Extensions to the Relational Model and SQL (context) - Navathe, Ahmed - 1993
27 HSQL: A Historical Query Language (context) - Sarda - 1993
25 Point-based Temporal Extension of SQL - Toman - 1997
23 IEEE Transactions on Knowledge and Data Engineering (context) - Sistla, Wolfson et al. - 1995
22 Deriving Integrity Maintaining Triggers from Transition Grap.. - Gertz, Lipeck - 1993
21 Temporal Logic and Historical Databases (context) - Gabbay, McBrien - 1991
11 A Seamless Integration of Time into SQL (context) - Bohlen, Jensen - 1996
9 Managing Temporal Knowledge in Deductive Databases (context) - Bohlen - 1994
8 Large Deductive Databases with Constraints (context) - Wuthrich - 1991
5 Point-based vs Interval-based Temporal Query Languages (context) - Toman - 1996
Documents on the same site (http://www.cs.toronto.edu/~david/papers.html): More
Datalog with Integer Periodicity Constraints - Toman, Chomicki (1993) (Correct)
WAM Based Efficient Implementation of Logic Programming.. - Research Team (Correct)
Top-Down beats Bottom-Up for Constraint Extensions of Datalog - Toman (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC