See this document in CiteSeerX!

Logics for Emerging Applications of Databases  (Make Corrections)  
Jan Chomicki, Gunter Saake, Ron van der Meyden (eds.)



  Home/Search   Context   Related

 
View or download:
db.uwaterloo.ca/~davi...paperslead.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  db.uwaterloo.ca/~david/papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Data expiration is an essential component of data warehousing solutions: whenever large amounts of data are repeatedly collected over a period of time, it is essential to have a clear approach to identifying parts of the data nolonger needed and a policy that allows disposing and/or archiving these parts of the data. Such policies are necessary even if adding storage to accommodate an ever-growing collection of data were possible, since the growing amount of data needs to be examined during... (Update)

Similar documents (at the sentence level):
5.0%:   Expiration of Historical Databases (Extended Abstract) - Toman   (Correct)

Active bibliography (related documents):   More   All
1.6:   Logical Data Expiration for Fixpoint Extensions of Temporal Logics - Toman   (Correct)
0.8:   Logical Data Expiration - Toman (2003)   (Correct)
0.8:   On the Efficient Maintenance of Temporal Integrity in Knowledge .. - Plexousakis (1996)   (Correct)

Similar documents based on text:   More   All
0.9:   Logics for Emerging Applications of Databases - Chomicki, Saake, van der Meyden (2003)   (Correct)
0.4:   Logics for Databases and Information Systems - Chomicki, (Eds.) (1998)   (Correct)
0.3:   Constraints in Computational Logics, International.. - Comon, Marché, .. (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ chomicki-logics,
  author = "Jan Chomicki and Gunter Saake and Ron van der Meyden (eds.)",
  title = "Logics for Emerging Applications of Databases",
  url = "citeseer.ist.psu.edu/606977.html" }
Citations (may not include all citations):
725   Temporal and Modal Logic (context) - Emerson - 1990
638   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
434   An Automata-Theoretic Approach to Automatic Program Verifica.. (context) - Vardi, Wolper - 1986
374   Automata on Infinite Objects (context) - Thomas - 1990
296   Answering queries using views - Levy, Mendelzon et al. - 1995
222   The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985
177   Temporal Logic Can Be More Expressive (context) - Wolper - 1983
162   The TSQL2 Temporal Query Language (context) - Snodgrass - 1995
147   Real-Time Logics: Complexity and Expressiveness - Alur, Henzinger - 1993
130   Models and issues in data stream systems (context) - Babcock, Babu et al. - 2002
128   Answering queries using views: A survey - Halevy - 2001
122   Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1994
122   Applications of Temporal Logic to the Specification and Veri.. (context) - Pnueli - 1986
111   Maintenance of Materialized Views: Problems (context) - Gupta, Mumick - 1995
90   and Victor Vianu (context) - Abiteboul, Hull - 1995
89   Making Views Self-Maintainable for Data Warehousing - Quass, Gupta et al. - 1996
89   Making views self-maintainable for data warehousing - Quass, Gupta et al. - 1996
86   Specifying Real-Time Properties with Metric Temporal Logic (context) - Koymans - 1990
68   Algorithms for Deferred View Maintenance - Colby, Gri et al. - 1996
66   A Temporal Fixpoint Calculus (context) - Vardi - 1988
46   Monitoring Dynamic Integrity Constraints Based on Temporal L.. (context) - Lipeck, Saake - 1987
41   Multiple-View Self-Maintenance in Data Warehousing Environme.. - Huyn - 1997
39   Temporal Logic in Information Systems - Chomicki, Toman - 1998
37   Implementing Temporal Integrity Constraints Using an Active .. - Chomicki, Toman - 1995
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
22   Transformation of Dynamic Integrity Constraints into Transac.. (context) - Lipeck - 1990
20   A Survey of Temporal Extensions of Description Logics - Artale, Franconi - 2001
18   Materialized Views: Techniques (context) - Gupta, Mumick - 1998
18   First-Order Queries over Temporal Databases Inexpressible in.. - Toman, Niwinski - 1996
17   Real-Time Integrity Constraints (context) - Chomicki - 1992
16   Expiring Data in a Warehouse - Garcia-Molina, Labio et al. - 1998
14   Characterizing Memory Requirements for Queries over Continuo.. (context) - Arasu, Babcock et al. - 2002
12   Deriving Optimized Integrity Monitoring Triggers from Dynami.. - Gertz, Lipeck - 1996
11   Decidability of Second-Order Theories and Automata on Infini.. (context) - Rabin - 1969
9   Maintaining Temporal Views over NonTemporal Information Sour.. - Yang, Widom - 1998
9   Temporal View Self-Maintenance - Yang, Widom - 2000
7   Answering queries using views with arithmetic comparisons - Afrati, Li et al. - 2002
6   Monodic Fragments of First-Order Temporal Logics (context) - Hodkinson, Wolter et al. - 2001
6   Monitoring Dynamic Integrity Constraints on Finite State Seq.. - Lipeck, Zhou - 1991
6   A foundation for Vacuuming Temporal Databases (context) - Skyt, Jensen et al. - 2003
5   Representation of the Historical Information Necessary for T.. (context) - Hulsmann, Saake - 1990
5   Expiration of Historical Databases (context) - Toman - 2001
5   Transitional Monitoring of Dynamic Integrity Constraints (context) - Lipeck, Gertz et al. - 1994
4   Construction of Deterministic Transition Graphs from Dynamic.. (context) - Lipeck, Feng - 1989
3   cient Checking of Temporal Integrity Constraints Using Bound.. (context) - Chomicki - 1995
2   Theoretical Foundations of Handling Large Substitution Sets .. (context) - Hulsmann, Saake - 1991
1   On Non-Local Propositional and Local One-Variable Quantified.. (context) - Bauer, Hodkinson et al. - 2002
1   and Jan Paredaens (context) - Libkin, Kuper - 2000

Documents on the same site (http://db.uwaterloo.ca/~david/papers.html):   More
Logics for Databases and Information Systems - Chomicki, (Eds.) (1998)   (Correct)
Temporal Databases - Chomicki, Toman   (Correct)
Query Evaluation in Constraint Databases - Toman   (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