Jan Chomicki  Home/Search
Context Related
Links: DBLP | 129.130.10.93/~schmidt/te...ictl94.ps.Z monmouth.edu/~jcho...perssurvey95.ps.Z ksu.edu/~chomicki/...perssurvey95.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: 129.130.10.93/~schmidt/techrep... (more) From: ksu.edu/~chomicki/journal (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define formal notions of temporal domain and temporal database, and use them to survey a wide spectrum of temporal query languages. We distinguish between an abstract temporal database and its concrete representations, and accordingly between abstract and concrete temporal query languages. We also address the issue of incomplete temporal information. 1 Introduction A temporal database is a repository of temporal information. A temporal query language is any query language for temporal... (Update)
Cited by: More
Modeling Temporal Primitives: Back to Basics - Iqbal Goralwalla Yuri (1997) (Correct)
Constraint Query Algebras - Goldin (1997) (Correct)
Temporal Constructs for a Web Language - Bry, Spranger (2003) (Correct)
Active bibliography (related documents): More All
0.8: Foundations of Temporal Constraint Databases - Koubarakis (1994) (Correct)
0.6: Temporal Deductive Databases - Baudinet, Chomicki, Wolper (1992) (Correct)
0.6: A Mini-course on Temporal Databases - Chomicki, Toman (Correct)
Similar documents based on text: More All
0.1: Boosting Interval Based Literals - Rodríguez, Alonso, Boström (2001) (Correct)
0.0: Techniques for Automated Drafting of Judicial Documents - Branting (1998) (Correct)
0.0: GEE Models of Judicial Behavior - Zorn (1998) (Correct)
Related documents from co-citation: More All
27: The TSQL2 Temporal Query Language (context) - Snodgrass - 1995
24: Temporal Logic: Mathematical Foundations and Computational Aspects (context) - Gabbay, Hodkinson et al. - 1994
23: Constraint Query Languages - Kanellakis, Kuper et al. - 1990
BibTeX entry: (Update)
J. Chomicki. Temporal Query Languages: a Survey. Proceedings of the First International Conference on Temporal Logic, pages 506--534, 1994. http://citeseer.ist.psu.edu/article/chomicki95temporal.html More
@inproceedings{ chomicki94temporal,
author = "J. Chomicki",
title = "Temporal query languages: a survey",
booktitle = "Temporal Logic: {ICTL'94}",
volume = "827",
publisher = "Springer-Verlag",
editor = "D. M. Gabbay and H. J. Ohlbach",
pages = "506--534",
year = "1994",
url = "citeseer.ist.psu.edu/article/chomicki95temporal.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983 ACM DBLP
981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988 ACM
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995 ACM DBLP
725 Temporal and Modal Logic (context) - Emerson ACM DBLP
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. ACM DBLP
379 The Complexity of Relational Query Languages (context) - Vardi - 1982
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
340 Temporal Constraint Networks (context) - Dechter, Meiri et al. - 1991 ACM DBLP
324 A Logic-based Calculus of Events (context) - Kowalski, Sergot - 1986 ACM DBLP
315 Constraint Query Languages - Kanellakis, Kuper et al. - 1990 ACM DBLP
284 Constraint Propagation Algorithms for Temporal Reasoning (context) - Vilain, Kautz - 1986
248 The Semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976 ACM DBLP
204 the Declarative Semantics of Deductive Databases and Logic P.. (context) - Przymusinski
198 Structure and Complexity of Relational Queries - Chandra, Harel - 1982 DBLP
191 Temporal Databases (context) - Snodgrass - 1992 ACM DBLP
191 Temporal Databases (context) - Snodgrass, Ahn - 1986
189 Computable Queries for Relational Databases - Chandra, Harel - 1980
163 the Temporal Analysis of Fairness (context) - Gabbay, Pnueli et al. - 1980
141 ACM Transactions on Database Systems (context) - Snodgrass, Query - 1987
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
111 Reasoning About Temporal Relations: a Maximal Tractable Subc.. - Nebel, Burckert - 1993 DBLP
107 Combining Qualitative and Quantitative Constraints in Tempor.. - Meiri - 1991 ACM DBLP
106 Temporal Data Base Management (context) - Dean, McDermott - 1987 ACM DBLP
103 Indexing for Data Models with Constraints and Classes - Kanellakis, Ramaswamy et al. - 1993 ACM DBLP
101 Incomplete Information in Relational Databases (context) - Imielinski, Lipski - 1984
99 Handbook of Theoretical Computer Science (context) - van Leeuwen - 1990
88 Abductive Planning with Event Calculus (context) - Eshghi - 1988
88 Elements of Relational Database Theory (context) - Kanellakis ACM DBLP
87 Towards a Theory of Spatial Database Queries (context) - Paredaens, Van den Bussche et al. - 1994 DBLP
82 Integrating Metric and Qualitative Temporal Reasoning - Kautz, Ladkin - 1991 DBLP
81 Reasoning about Qualitative Temporal Information (context) - van Beek - 1992 ACM DBLP
77 Temporal Logic Programming (context) - Abadi, Manna - 1989 ACM DBLP
77 A formal approach to object-oriented databases (context) - Beeri - 1990 ACM DBLP
76 Temporal Databases: Theory (context) - Tansel, Clifford et al. - 1993
75 A Glossary of Temporal Database Concepts - Jensen, Clifford et al. ACM DBLP
74 A Propositional Modal Logic of Time Intervals - Halpern, Shoham - 1991 ACM DBLP
69 Evaluation of Relational Algebras Incorporating the Time Dim.. (context) - Jr, Snodgrass - 1991 ACM DBLP
67 Foundations of Deductive Databases and Logic Programming (context) - Minker - 1988 ACM DBLP
66 A Temporal Fixpoint Calculus (context) - Vardi - 1988
65 Why not Negation by Fixpoint (context) - Kolaitis, Papadimitriou - 1991
64 Constraint Programming and Database Query Languages - Kanellakis, Goldin - 1994 ACM DBLP
61 The Historical Relational Data Model (context) - Clifford, Croker - 1987
61 The Historical Relational Data Model (context) - Clifford, Croker
60 Handling Infinite Temporal Data - Kabanza, Stevenne et al. - 1990 ACM DBLP
60 Temporal Deductive Databases - Baudinet, Chomicki et al. DBLP
58 A Closed Form for Datalog Queries with Integer Order (context) - Revesz - 1990 ACM DBLP
56 Temporal Reasoning with Abductive Event Calculus - Denecker, Missiaen et al. - 1992 ACM DBLP
52 A Closed-Form Evaluation for Datalog Queries with Integer - Revesz - 1993
51 The Declarative Past and Imperative Future: Executable Tempo.. (context) - Gabbay - 1989 DBLP
49 Theory of Database Queries (context) - Chandra - 1988
48 ACM Transactions on Database Systems (context) - Clifford, Warren et al. - 1983 ACM
48 Towards Practical Constraint Databases (context) - Brodsky, Jaffar et al. - 1993
47 Moments and Points in an Interval-Based Temporal Logic (context) - Allen, Hayes - 1989 ACM
46 Monitoring Dynamic Integrity Constraints Based on Temporal L.. (context) - Lipeck, Saake - 1987 ACM DBLP
45 On Completeness of Historical Relational Query Languages (context) - Clifford, Croker et al. - 1994 ACM DBLP
45 an Algebra for Historical Relational Databases: Two Views (context) - Clifford, Tansel - 1985
43 Springer-Verlag (context) - Grossman, Nerode et al. - 1993
43 the Representation of Infinite Temporal Data and Queries - Baudinet, Ni'ezette et al. - 1991
41 Temporal Object-Oriented Databases: A Critical Comparison (context) - Snodgrass - 1994 DBLP
40 TSQL2 Language Specification - Snodgrass - 1994 ACM DBLP
38 History-less Checking of Dynamic Integrity Constraints (context) - Chomicki - 1992 ACM DBLP
36 Temporal Deductive Databases and Infinite Objects (context) - Chomicki, Imieli'nski - 1988 ACM DBLP
35 Safety and Translation of Relational Calculus Queries (context) - Van Gelder, Topor - 1991 DBLP
33 The Complexity of Querying Indefinite Data about Linearly Or.. - van der Meyden - 1992
32 The Time Index and the Monotonic B+-tree (context) - Elmasri, Wuu et al. DBLP
32 A Temporal Relational Algebra as a Basis for Temporal Relati.. (context) - Tuzhilin, Clifford - 1990
31 Incremental Implementation Model for Relational Databases wi.. (context) - Jensen, Mark et al. - 1991 ACM DBLP
31 Temporal Databases: A Prelude to Parametric Data (context) - Gadia DBLP
31 Incomplete Information in Relational Temporal Databases (context) - Gadia, Nair et al. - 1992
31 Personal communication (context) - van der Meyden - 1994
30 Finite Representation of Infinite Query Answers - Chomicki, Imieli'nski - 1993 ACM DBLP
30 The Problem of Incomplete Information in Relational Database.. (context) - Grahne - 1991
30 Temporal Modules: An Approach Toward Federated Temporal Data.. - Wang, Jajodia et al. - 1993 DBLP
30 A Non-Reified Temporal Logic - Bacchus, Tenenberg et al. - 1991 ACM DBLP
28 Representation and Querying in Temporal Databases: the Power.. - Koubarakis - 1993 DBLP
27 Temporal Logic Programming is Complete and Expressive (context) - Baudinet - 1989 ACM DBLP
27 Stream Processing: Temporal Query Processing and Optimizatio.. (context) - Leung, Muntz DBLP
26 Expressiveness and Completeness of an Interval Tense Logic (context) - Venema - 1990 DBLP
26 Datalog with Integer Periodicity Constraints - Toman, Chomicki et al. - 1994
25 Database Models for Infinite and Indefinite Temporal Informa.. - Koubarakis - 1994 ACM DBLP
25 The Logic of Time Representation - Ladkin - 1987 ACM
24 Formal properties of 'now (context) - Kamp - 1971
24 A Combinatorial Approach to the Theory (context) - Thomas - 1981
24 Transaction-Time Databases (context) - Lomet, Salzberg DBLP
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
21 Temporal Semantics in Information Systems - A Survey (context) - Roddick, Patrick - 1992 DBLP
21 Temporal Logic and Historical Databases (context) - Gabbay, McBrien - 1991
21 Indexing Techniques for Historical Databases (context) - Kolovson ACM DBLP
20 Fundamentals of Dependency Theory (context) - Vardi - 1988
19 Primitives and Units for Time Specification (context) - Ladkin - 1986 DBLP
18 Temporal Specialization (context) - Jensen, Snodgrass - 1992 ACM DBLP
17 Database Issues in Telecommunications Network Management (context) - Ahn - 1994 DBLP
17 The Time Dimension in Conceptual Modelling - Theodoulidis, Loucopoulos - 1991
16 Functional Deductive Databases: Query Processing in the Pres.. (context) - Chomicki - 1990
16 Foundations of Temporal Constraint Databases - Koubarakis - 1994
15 Handling Database Updates in Two-Dimensional Temporal Logic - Finger - 1992
14 On Generalized Interval Calculi (context) - Ligozat - 1992 DBLP
13 Temporal Variable Databases (context) - Clifford, Isakowitz et al. - 1994
13 Differential Query Processing in Transaction-Time Databases (context) - Jensen, Mark DBLP
12 Polynomial-Time Computable Queries in Temporal Deductive Dat.. (context) - Chomicki - 1990
12 Research Perspectives for Time Series Management Systems - Dreyer, Dittrich et al. - 1994 ACM DBLP
11 the Expressiveness of Temporal Logic Programming (context) - Baudinet - 1994
9 Temporal Reasoning (context) - Montanari, Pernici ACM DBLP
9 Modeling Time: Adequacy of Three Distinct Time Concepts for .. (context) - Kim, Chakravarthy - 1993 DBLP
9 Foundations of Indefinite Constraint Databases - Koubarakis - 1994 ACM DBLP
8 Depth-Bounded Bottom-Up Evaluation of Logic Programs - Chomicki - 1995
8 Expressive Power of Query Languages (context) - Abiteboul, Vianu - 1992 ACM DBLP
8 Database Language SQL (context) - for - 1992
7 Temporal Relationships in Databases (context) - Chaudhuri - 1988
7 Unification of Temporal Data Models (context) - Jensen, Soo et al. - 1993 ACM DBLP
6 A Temporal Algebra Based on an Abstract Model (context) - Orgun, Muller - 1993 DBLP
6 A Homogenous Relational Model and Query Languages for Tempor.. (context) - Gadia - 1988
6 Historical Indeterminacy - Dyreson, Snodgrass - 1993
6 A TSQL2 Tutorial - Snodgrass - 1994 ACM DBLP
6 Temporal Data Management Systems: A Comparative View (context) - Maiocchi, Pernici - 1991 DBLP
4 The TSQL2 Data Model for Time (context) - Dyreson, Soo et al. - 1994
3 Medical Information Systems: Characterization and Challenges (context) - Ramirez, Smith et al. - 1994 DBLP
2 A Generalized Relational Framework for Modeling Temporal Dat.. (context) - Tansel
2 Personal communication (context) - Chaudhuri - 1994
1 Towards a Temporal Logic Reconstruction of Temporal Database.. (context) - Montanari, Pernici - 1993
1 Personal communication (context) - Dyreson - 1994
1 An Efficient Symbolic Representation of Periodic Time (context) - Ni'ezette, St'evenne - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://129.130.10.93/~schmidt/techreport/ftppub/CIS/CIS/Chomicki/): More
Polynomial Time Query Processing in Temporal Deductive Databases - Chomicki (1990) (Correct)
Real-Time Integrity Constraints - Extended (Correct)
Measuring Infinite Relations (Extended Abstract) - Chomicki, Kuper (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