Jan Chomicki, David Toman  Home/Search
Context
Related
| daimi.aau.dk/~davi...minislides.ps.gz 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 Problem Downloading? From: daimi.aau.dk/~david/cv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Temporal Databases 9 Basic Building Blocks 10 The Snapshot Model 11 Snapshots: Example 12 Histories 13 The Timestamp Model 14 Timestamp Example 15 Query Languages 16 First-order Temporal Connectives 17 Examples of Temporal Connectives 18 Propositional Temporal Logic 19 First-order Temporal Logic: syntax 20 FOTL: semantics 21 Examples 22 Temporal Relational Calculus: syntax 23 Temporal RC: Semantics 24 Examples 25 Examples (cont.) 26 Expressive Power 27 Expressive Power (cont.) 28 How do we... (Update)
Similar documents (at the sentence level):
24.2%: A Mini-course on Temporal Databases - Chomicki, al. (Correct)
5.7%: A Point-based Temporal Extension of SQL - Toman (1997) (Correct)
Active bibliography (related documents): More All
0.6: Temporal Query Languages: a Survey - Chomicki (1995) (Correct)
0.4: Querying ATSQL Databases with Temporal Logic - Chomicki, Toman, Böhlen (2001) (Correct)
0.4: Logics for Databases and Information Systems - Chomicki, (Eds.) (1998) (Correct)
Similar documents based on text: More All
0.9: Temporal Logic in Information Systems - Chomicki, Toman (1997) (Correct)
0.8: V.4: SQL/TP - a Temporal Extension of SQL - Toman (Correct)
0.8: First-Order Queries over Temporal Databases Inexpressible in.. - Toman, Niwinski (1996) (Correct)
BibTeX entry: (Update)
@misc{ chomicki-minicourse,
author = "Jan Chomicki and David Toman",
title = "A Mini-course on Temporal Databases",
url = "citeseer.ist.psu.edu/521528.html" }
Citations (may not include all citations):1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983 ACM DBLP
765 trees: A dynamic index structure for spatial searching (context) - Guttman - 1984
444 Towards a General Theory of Action and Time (context) - Allen - 1984 ACM DBLP
177 Temporal Logic Can Be More Expressive (context) - Wolper - 1983 DBLP
171 The POSTGRES Next-Generation Database Management System (context) - Stonebraker, Kemnitz - 1991 ACM
140 Tense Logic and the Theory of Linear Order (context) - Kamp - 1968
122 Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1994
107 Combining Qualitative and Quantitative Constraints in Tempor.. - Meiri - 1991 ACM DBLP
103 Indexing for Data Models with Constraints and Classes - Kanellakis, Ramaswamy et al. - 1993 ACM DBLP
101 Specifying and Enforcing Intertask Dependencies - Attie, Singh et al. - 1993 ACM DBLP
89 Temporal Query Languages: A Survey - Chomicki - 1994 DBLP
87 A Comparison of Access Methods for Time Evolving Data (context) - Saltzberg, Tsotras - 1994
83 The Temporal Query Language TQuel (context) - Snodgrass - 1987 ACM DBLP
82 Integrating Metric and Qualitative Temporal Reasoning - Kautz, Ladkin - 1991 DBLP
76 Temporal Databases: Theory (context) - Tansel, Clifford et al. - 1993
66 A Temporal Fixpoint Calculus (context) - Vardi - 1988 ACM DBLP
61 The Historical Relational Data Model (context) - Clifford, Croker - 1987
46 The time index: An access structure for temporal data (context) - Elmasri, Wuu et al. - 1990 DBLP
46 Monitoring Dynamic Integrity Constraints Based on Temporal L.. (context) - Lipeck, Saake - 1987 ACM DBLP
39 Efficient Checking of Temporal Integrity Constraints Using B.. - Chomicki - 1995 ACM DBLP
37 Implementing Temporal Integrity Constraints Using an Active .. - Chomicki, Toman - 1995 ACM DBLP
32 Temporal Versus First-Order Logic to Query Temporal Database.. - Abiteboul, Herr et al. - 1996 ACM DBLP
31 Incomplete Information in Relational Temporal Databases (context) - Gadia, Nair et al. - 1992 ACM DBLP
30 the Feasibility of Checking Temporal Integrity Constraints - Chomicki, Niwinski - 1995
30 Temporal Modules: An Approach Toward Federated Temporal Data.. - Wang, Jajodia et al. - 1993 DBLP
29 Variable Independence and Aggregation Closure - Chomicki, Goldin et al. - 1996 ACM DBLP
25 Database Models for Infinite and Indefinite Temporal Informa.. - Koubarakis - 1994 ACM DBLP
25 Point-based temporal extensions of SQL - Toman - 1997
24 Formal properties of 'now (context) - Kamp - 1971
23 The TSQL2 Temporal Query Language (context) - Snodgrass - 1995 DBLP
19 Primitives and Units for Time Specification (context) - Ladkin - 1986 DBLP
18 First-order queries over temporal databases inexpressible in.. - Toman, Niwinski - 1996 ACM DBLP
18 Querying TSQL2 Databases with Temporal Logic - BOhlen, Chomicki et al. - 1996 ACM DBLP
18 Temporal Aggregation in Active Database Rules - Motakis, Zaniolo - 1997 ACM DBLP
16 The Complexity of Querying Indefinite Data about Linearly Or.. - van der Meyden - 1997 ACM DBLP
16 Extending Existing Dependency Theory to Temporal Databases - Jensen, Snodgrass et al. - 1996 ACM DBLP
15 The Complexity of Query Evaluation in Indefinite Temporal Co.. - Koubarakis - 1997 ACM DBLP
14 Semantic Assumptions and Query Evaluation in Temporal Databa.. (context) - Bettini, Wang et al. - 1995 ACM DBLP
13 Temporal Specialization and Generalization - Jensen, Snodgrass - 1994 ACM DBLP
11 Temporal Triggers in Active Databases - Sistla, Wolfson - 1995 ACM DBLP
8 Chasing Constrained Tuple-Generating Dependencies - Maher, Srivastava - 1996 ACM DBLP
7 Temporal Relationships in Databases (context) - Chaudhuri - 1988 ACM DBLP
6 Historical Indeterminacy - Dyreson, Snodgrass - 1993
6 Point vs (context) - Toman - 1996
1 Considered Harmful in Temporal Database Design (context) - Chomicki - 1997
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