Jan Chomicki, Damian Niwinski  Home/Search
Context Related
| 129.130.10.93/~schmidt/te...pods93.ps.Z ksu.edu/~chomicki/papersjcss95.ps.Z ksu.edu/pub/CIS/Chomicki/pods93.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 analyze the computational feasibility of checking temporal integrity constraints formulated in some sublanguages of first-order temporal logic. Our results illustrate the impact of the quantifier pattern on the complexity of this problem. The presence of a single quantifier in the scope of a temporal operator makes the problem undecidable. On the other hand, if no quantifiers are in the scope of a temporal operator and all the quantifiers are universal, temporal integrity checking can be... (Update)
Context of citations to this paper: More
.... ranging from the traditional and well developed elds of program speci cation and veri cation [45, 42, 43] temporal databases [20, 21, 3, 50, 30], and distributed and multi agent systems [27] to more recent uses in knowledge representation and reasoning [6, 7, 10, 49, 60]...
...For past formulas potential constraint satisfaction is undecidable. The analysis of FutureTL yields the following: Proposition 10 ([11]) For biquantified formulas with no internal quantifiers (called universal) potential constraint satisfaction is decidable (in exponential...
Cited by: More
Model Checking for Database Theoreticians - Moshe Vardi Rice (Correct)
An Algorithm for Guiding Temporal Resolution - Gago, Fisher, Dixon (Correct)
Logical Data Expiration for Fixpoint Extensions of Temporal Logics - Toman (Correct)
Active bibliography (related documents): More All
0.4: On the Efficient Maintenance of Temporal Integrity in Knowledge .. - Plexousakis (1996) (Correct)
0.4: Conceptual Modelling of Database Applications.. - Engels, Gogolla.. (1992) (Correct)
0.3: Dynamic Integrity Constraints Definition and Enforcement in.. - Silva (1997) (Correct)
Similar documents based on text: More All
0.1: Temporal FDs on Complex Objects - Wijsen (1999) (Correct)
0.1: Querying ATSQL Databases with Temporal Logic - Chomicki, Toman, Böhlen (2001) (Correct)
0.1: Temporal Logic in Information Systems - Chomicki, Toman (1997) (Correct)
Related documents from co-citation: More All
17: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
15: Monitoring Dynamic Integrity Constraints Based on Temporal Logic (context) - Lipeck, Saake - 1987
13: Temporal Logic: Mathematical Foundations and Computational Aspects (context) - Gabbay, Hodkinson et al. - 1994
BibTeX entry: (Update)
J. Chomicki and D. Niwinski. On the Feasibility of Checking Temporal Integrity Constraints. Journal of Computer and System Sciences, 51(3):523--535, December 1995. http://citeseer.ist.psu.edu/chomicki95feasibility.html More
@inproceedings{ chomicki93feasibility,
author = "Jan Chomicki and Damian Niwi{\'n}ski",
title = "On the Feasibility of Checking Temporal Integrity Constraints",
pages = "202--213",
year = "1993",
url = "citeseer.ist.psu.edu/chomicki95feasibility.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
725 Temporal and Modal Logic (context) - Emerson - 1990
229 Theory of Recursive Functions and Effective Computability (context) - Jr - 1967
227 North-Holland (context) - Chang, Keisler - 1977
222 The Complexity of Propositional Linear Temporal Logics (context) - Sistla, Clarke - 1985
191 Temporal Databases (context) - Snodgrass - 1992
182 The HiPAC Project: Combining Active Databases and Timing Con.. (context) - Dayal - 1988
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
106 Composite Event Specification in Active Databases: Model & I.. - Gehani, Jagadish et al. - 1992
95 Event Specification in an Active ObjectOriented Database - Gehani, Jagadish et al. - 1992
76 Temporal Databases: Theory (context) - Tansel, Clifford et al. - 1993
66 Defining Liveness (context) - Alpern, Schneider - 1985
56 Adding a temporal dimension to a logic system - Finger, Gabbay - 1992
46 Monitoring Dynamic Integrity Constraints Based on Temporal L.. (context) - Lipeck, Saake - 1987
45 Quantification in Modal Logic (context) - Garson - 1984
38 History-less Checking of Dynamic Integrity Constraints (context) - Chomicki - 1992
27 Recurring Dominoes: Making the Highly Undecidable Highly Und.. (context) - Harel - 1985
23 IEEE Transactions on Knowledge and Data Engineering (context) - Sistla, Wolfson - 1995
22 Deriving Integrity Maintaining Triggers from Transition Grap.. - Gertz, Lipeck - 1993
17 Real-Time Integrity Constraints (context) - Chomicki - 1992
13 On Verification of Database Temporal Constraints (context) - Kung - 1985
12 A Temporal Framework for Database Specifications (context) - de Castilho, Casanova et al. - 1982
10 Theoretical Foundations of Handling Large Substitution Sets .. (context) - ulsmann, Saake - 1991
9 On Characterization of Safety and Liveness Properties in Tem.. (context) - Sistla - 1985
5 Temporal Integrity Constraints in Relational Databases (context) - Chomicki - 1994
5 Transitional Monitoring of Dynamic Integrity Constraints (context) - Lipeck, Gertz et al. - 1994
4 A Transaction Logic for Database Specification (context) - Qian, Waldinger - 1988
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