Temporal connectives versus explicit timestamps in temporal query languages-Reference-Cited by-同舟云学术

Temporal connectives versus explicit timestamps in temporal query languages

Published:1995 Issue: Volume: Page:43-57
ISSN:1431-1682
Container-title:Workshops in Computing
language:
Short-container-title:

Author:

Abiteboul Serge,Herr Laurent,Van den Bussche Jan

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3033-8_3

Reference13 articles.

1. S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal connectives versus explicit timestamps in temporal query languages. Technical report, INRIA, 1995. in preparation.

2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison- Wesley; 1994.

3. S. Abiteboul and E. Simon. Fundamental properties of deterministic and nondeterministic extensions of Datalog. Theoretical Computer Science, 78: 137–158, 1991.

4. S. Abiteboul and V. Vianu. Generic computation and its complexity. In Proceedings 23rd ACM Symposium on Theory of Computing, pages 209–219, 1991.

5. A. Casanova and A. Furtado. On the description of database transition constraints using temporal constraints. In H. Gallaire, J. Minker, and J.-M. Nicolas, editors, Advances in Data Base Theory, pages 211–236. Plenum Press, 1984.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Querying and Learning in Probabilistic Databases;Reasoning Web. Reasoning on the Web in the Big Data Era;2014

2. First-order Expressivity for S5-models: Modal vs. Two-sorted Languages;Journal of Philosophical Logic;2001-12

3. Appendix;Time-Integrative Geographic Information Systems;2001

4. Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.;Logic for Programming, Artificial Intelligence, and Reasoning;2001

5. Temporal Logic in Information Systems;Logics for Databases and Information Systems;1998