Logics for Databases and Information Systems

[1]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[2]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[3]  Lennart Åqvist.  A conjectured axiomatization of two-dimensional Reichenbachian tense logic , 1979, J. Philos. Log..

[4]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[5]  Pierre Wolper.  Temporal Logic Can Be More Expressive , 1983, Inf. Control..

[6]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[7]  Richard T. Snodgrass,et al.  The temporal query language TQuel , 1984, TODS.

[8]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[9]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[10]  David Chenho Kung.  On verification of database temporal constraints , 1985, SIGMOD '85.

[11]  R. Snodgrass.  Temporal Databases , 1986, Computer.

[12]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[13]  Gunter Saake,et al.  Monitoring dynamic integrity constraints based on temporal logic , 1987, Inf. Syst..

[14]  N. Immerman,et al.  Definability with Bounded Number of Bound Variables , 1989, Inf. Comput..

[15]  Pierre Wolper,et al.  On the Relation of Programs and Computations to Models of Temporal Logic , 1987, Temporal Logic in Specification.

[16]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[17]  Moshe Y. Vardi.  A temporal fixpoint calculus , 1988, POPL '88.

[18]  Jan Chomicki,et al.  Temporal deductive databases and infinite objects , 1988, PODS '88.

[19]  Martín Abadi,et al.  Temporal Logic Programming , 1989, J. Symb. Comput..

[20]  Pierre Wolper,et al.  Handling infinite temporal data , 1990, PODS.

[21]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

[22]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[23]  James Clifford,et al.  A Temporal Relational Algebra as a Basis for Temporal Relational Completeness , 1990, VLDB.

[24]  Udo W. Lipeck,et al.  Transformation of Dynamic Integrity Constraints into Transaction Specifications , 1990, Theor. Comput. Sci..

[25]  Christoph Brzoska,et al.  Temporal Logic Programming and its Relation to Constraint Logic Programming , 1991, ISLP.

[26]  Thomas A. Henzinger,et al.  Logics and Models of Real Time: A Survey , 1991, REX Workshop.

[27]  Fahiem Bacchus,et al.  A Non-Reified Temporal Logic , 1989, Artif. Intell..

[28]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[29]  Ron Koymans,et al.  Specifying Message Passing and Time-Critical Systems with Temporal Logic , 1992, Lecture Notes in Computer Science.

[30]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[31]  Richard T. Snodgrass,et al.  An Overview of TQuel , 1993, Temporal Databases.

[32]  Christoph Brzoska,et al.  Temporal Logic Programming with Bounded Universal (Modality) Goals , 1993, Workshop Logische Programmierung.

[33]  Nikos A. Lorentzos.  The Interval-extended Relational Model and Its Applications to Valid-time Databases , 1993, Temporal Databases.

[34]  Christian S. Jensen,et al.  Unifying Temporal Data Models via a Conceptual Model , 1994, Inf. Syst..

[35]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[36]  Jan Chomicki,et al.  Temporal Query Languages: A Survey , 1994, ICTL.

[37]  Elena Baralis,et al.  Declarative Specification of Constraint Maintenance , 1994, ER.

[38]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[39]  Jan Chomicki,et al.  Datalog with Integer Periodicity Constraints , 1994, J. Log. Program..

[40]  Jan Chomicki,et al.  Implementing temporal integrity constraints using an active DBMS , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

[41]  Serge Abiteboul,et al.  Temporal Connectives versus Explicit Timestamps in Temporal Query Languages , 1995, Temporal Databases.

[42]  Christoph Brzoska.  Temporal Logic Programming in Dense Time , 1995, ILPS.

[43]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[44]  M. Baudinet.  On the Expressiveness of Temporal Logic Programming , 1995, Inf. Comput..

[45]  A. Prasad Sistla,et al.  Temporal Triggers in Active Databases , 1995, IEEE Trans. Knowl. Data Eng..

[46]  Christian S. Jensen,et al.  Evaluating and Enhancing the Completeness of TSQL2 , 1995 .

[47]  Jan Chomicki,et al.  On the Feasibility of Checking Temporal Integrity Constraints , 1995, J. Comput. Syst. Sci..

[48]  Jan Chomicki,et al.  Efficient checking of temporal integrity constraints using bounded history encoding , 1995, TODS.

[49]  Michael Gertz,et al.  Deriving Optimized Integrity Monitoring Triggers from Dynamic Integrity Constraints , 1996, Data Knowl. Eng..

[50]  Jan Chomicki,et al.  Variable independence and aggregation closure , 1996, PODS.

[51]  Serge Abiteboul,et al.  Temporal versus first-order logic to query temporal databases , 1996, PODS.

[52]  Christian S. Jensen,et al.  Adding Valid Time to SQL/Temporal , 1996 .

[53]  Jan Chomicki,et al.  Querying TSQL2 Databases with Temporal Logic , 1996, EDBT.

[54]  David Toman,et al.  First-Order Queries over Temporal Databases Inexpressible in Temporal Logic , 1996, EDBT.

[55]  Richard T. Snodgrass,et al.  Coalescing in Temporal Databases , 1996, VLDB.

[56]  David Toman,et al.  Point vs. interval-based query languages for temporal databases (extended abstract) , 1996, PODS.

[57]  Mehmet A. Orgun,et al.  ON TEMPORAL DEDUCTIVE DATABASES , 1996, Comput. Intell..

[58]  David Toman,et al.  A point-based temporal extension of SQL , 1997 .

[59]  Nicolas Beldiceanu,et al.  Constraint Logic Programming , 2010, 25 Years GULP.