Jan Chomicki, David Toman  Home/Search
Context Related
| brics.dk/LS/97/1/BRICSLS971.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 From: niobe.uwaterloo.ca/~da...schedule (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Temporal logic is obtained by adding temporal connectives to a logic language. Explicit references to time are hidden inside the temporal connectives. Different variants of temporal logic use different sets of such connectives. In this chapter, we survey the fundamental varieties of temporal logic and describe their applications in information systems. Several features of temporal logic make it especially attractive as a query and integrity constraint language for temporal databases. First,... (Update)
Cited by: More
Title: Toward Spatio-temporal Models of Biogeophysical Fields - For Ecological Forecasting (2002) (Correct)
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints - Artale (2004) (Correct)
Temporal Constructs for a Web Language - Bry, Spranger (2003) (Correct)
Similar documents (at the sentence level):
77.6%: Logics for Databases and Information Systems - Chomicki, (Eds.) (1998) (Correct)
Active bibliography (related documents): More All
0.6: Integrity Constraints: Semantics and Applications - Godfrey, Grant, Gryz, Minker (1998) (Correct)
0.6: A Mini-course on Temporal Databases - Chomicki, al. (Correct)
0.5: Foundations Of Temporal Query Languages - Toman (1995) (Correct)
Similar documents based on text: More All
0.6: Temporal Databases - Chomicki, Toman (Correct)
0.6: Querying ATSQL Databases with Temporal Logic - Chomicki, Toman, Böhlen (2001) (Correct)
0.6: Datalog with Integer Periodicity Constraints - Toman, Chomicki (1993) (Correct)
Related documents from co-citation: More All
19: Temporal Query Languages: a Survey - Chomicki - 1994
17: Temporal Logic: Mathematical Foundations and Computational Aspects (context) - Gabbay, Hodkinson et al. - 1994
16: Temporal versus First-Order Logic to Query Temporal Databases - Abiteboul, Herr et al. - 1996
BibTeX entry: (Update)
J. Chomicki and D. Toman. Temporal Logic in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 3. Kluwer Academic Publishers, Boston, 1998. http://citeseer.ist.psu.edu/article/chomicki97temporal.html More
@inproceedings{ chomicki98temporal,
author = "Jan Chomicki and David Toman",
title = "Temporal Logic in Information Systems",
booktitle = "Logics for Databases and Information Systems",
pages = "31-70",
year = "1998",
url = "citeseer.ist.psu.edu/article/chomicki97temporal.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983
981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1989
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
725 Temporal and Modal Logic (context) - Emerson - 1990
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
444 Towards a General Theory of Action and Time (context) - Allen - 1984
315 Constraint Query Languages - Kanellakis, Kuper et al. - 1995
231 Information Processing Letters (context) - Alpern, Schneider - 1985
191 Temporal Databases (context) - Snodgrass, Ahn - 1986
184 International Organization for Standardization - Language, ISO - 1992
180 Logic Programming and Negation: A Survey - Apt, Bol - 1994
177 Temporal Logic Can Be More Expressive (context) - Wolper - 1983
175 Logics and Models of Real-Time: A Survey - Alur, Henzinger - 1992
162 The TSQL2 Temporal Query Language (context) - Snodgrass - 1995
146 Deriving Production Rules for Constraint Maintenance - Ceri, Widom - 1990
141 ACM Transactions on Database Systems (context) - Snodgrass, Query - 1987
140 Tense Logic and the Theory of Linear Order (context) - Kamp - 1968
122 Applications of Temporal Logic to the Specification and Veri.. (context) - Pnueli - 1986
122 Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1994
113 Active Database Systems - Widom, Ceri - 1996
108 Relational Completeness of Data Base SubLanguages (context) - Codd - 1972
90 Specifying Message Passing and Time-Critical Systems with Te.. (context) - Koymans - 1989
89 Temporal Query Languages: A Survey - Chomicki - 1994
77 Temporal Logic Programming (context) - Abadi, Manna - 1989
76 Temporal Databases: Theory (context) - Tansel, Clifford et al. - 1993
66 A Temporal Fixpoint Calculus (context) - Vardi - 1988
60 Handling Infinite Temporal Data - Kabanza, Stevenne et al. - 1995
60 Temporal Deductive Databases - Baudinet, Chomicki et al.
46 Monitoring Dynamic Integrity Constraints Based on Temporal L.. (context) - Lipeck, Saake - 1987
44 Unifying Temporal Data Models via a Conceptual Model - Jensen, Soo et al. - 1994
44 Coalescing in Temporal Databases - Bohlen, Snodgrass et al. - 1996
43 Adding Valid Time to SQL/Temporal - Snodgrass, Bohlen et al. - 1996
40 Definability with Bounded Number of Bound Variables - Immerman, Kozen - 1989
40 TSQL2 language specification - Snodgrass, Ahn et al. - 1994
39 Efficient Checking of Temporal Integrity Constraints Using B.. - Chomicki - 1995
37 Implementing Temporal Integrity Constraints Using an Active .. - Chomicki, Toman - 1995
36 Temporal Deductive Databases and Infinite Objects (context) - Chomicki, Imieli'nski - 1988
32 A Temporal Relational Algebra as a Basis for Temporal Relati.. (context) - Tuzhilin, Clifford - 1990
32 Temporal Versus First-Order Logic to Query Temporal Database.. - Abiteboul, Herr et al. - 1996
30 the Feasibility of Checking Temporal Integrity Constraints - Chomicki, Niwinski - 1995
30 A Non-Reified Temporal Logic - Bacchus, Tenenberg et al. - 1991
29 Variable Independence and Aggregation Closure - Chomicki, Goldin et al. - 1996
26 Datalog with Integer Periodicity Constraints - Toman, Chomicki et al. - 1994
25 Point-based Temporal Extensions of SQL - Toman - 1997
24 Formal Properties of 'now (context) - Kamp - 1971
24 Temporal Connectives versus Explicit Timestamps in Temporal .. - Abiteboul, Herr et al. - 1995
24 Temporal Logic Programming and its Relation to Constraint Lo.. (context) - Brzoska - 1991
23 IEEE Transactions on Knowledge and Data Engineering (context) - Sistla, Wolfson et al. - 1995
22 A Simple Proof of the Completeness of Temporal Logic Program.. (context) - Baudinet - 1992
22 Transformation of Dynamic Integrity Constraints into Transac.. (context) - Lipeck - 1990
21 Interval-based Query Languages for Temporal Databases (context) - Toman - 1996
19 An Overview of TQuel - Snodgrass - 1993
19 The Interval-Extended Relational Model and Its Application t.. (context) - Lorentzos
18 First-Order Queries over Temporal Databases Inexpressible in.. - Toman, Niwinski - 1996
18 Querying TSQL2 Databases with Temporal Logic - Bohlen, Chomicki et al. - 1996
13 On Verification of Database Temporal Constraints (context) - Kung - 1985
12 A Temporal Framework for Database Specifications (context) - de Castilho, Casanova et al. - 1982
12 Deriving Optimized Integrity Monitoring Triggers from Dynami.. - Gertz, Lipeck - 1996
11 the Expressiveness of Temporal Logic Programming (context) - Baudinet - 1995
10 Kluwer Academic Publishers (context) - Chomicki, Saake et al. - 1998
10 Theoretical Foundations of Handling Large Substitution Sets .. (context) - Hulsmann, Saake - 1991
10 Temporal Logic Programming with Bounded Universal Modality G.. (context) - Brzoska - 1993
7 Computer Science Department (context) - Snodgrass, Jensen et al. - 1995
6 Functional Completeness over Rationals (context) - Stavi - 1979
5 A Conjectured Axiomatization of Two-Dimensional Reichenbachi.. (context) - Aqvist - 1979
4 On Logical Foundations of Active Databases (context) - Lausen, Ludascher et al.
3 Declarative Specification of Constraint Maintenance (context) - Baralis, Ceri et al. - 1994
3 A Logic Primer (context) - Conrad
2 Temporal Logic Programming in Dense Time (context) - Brzoska - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://niobe.uwaterloo.ca/~david/classes/dbtopics-fall98/schedule.html): More
A Mini-course on Temporal Databases - Chomicki, al. (Correct)
Constraint Query Languages - Kanellakis, Kuper, Revesz (1990) (Correct)
Data Model and Query Evaluation in Global Information Systems - Levy, Srivastava, Kirk (1991) (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