Temporal Connectives versus Explicit Timestamps to Query Temporal Databases

JOURNAL ARTICLE published February 1999 in Journal of Computer and System Sciences

Authors: Serge Abiteboul | Laurent Herr | Jan Van den Bussche

Properties that characterize LOGCFL

JOURNAL ARTICLE published October 1991 in Journal of Computer and System Sciences

Authors: H. Venkateswaran

On Datalog vs Polynomial Time

JOURNAL ARTICLE published October 1995 in Journal of Computer and System Sciences

Authors: F. Afrati | S.S. Cosmadakis | M. Yannakakis

Multi-version concurrency control scheme for a database system

JOURNAL ARTICLE published October 1984 in Journal of Computer and System Sciences

Authors: Shojiro Muro | Tiko Kameda | Toshimi Minoura

Can Datalog Be Approximated?

JOURNAL ARTICLE published October 1997 in Journal of Computer and System Sciences

Authors: Surajit Chaudhuri | Phokion G. Kolaitis

Indexing for Data Models with Constraints and Classes

JOURNAL ARTICLE published June 1996 in Journal of Computer and System Sciences

Authors: Paris Kanellakis | Sridhar Ramaswamy | Darren E. Vengroff | Jeffrey Scott Vitter

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

JOURNAL ARTICLE published December 1996 in Journal of Computer and System Sciences

Authors: Thomas Eiter | Georg Gottlob

The alternating fixpoint of logic programs with negation

JOURNAL ARTICLE published August 1993 in Journal of Computer and System Sciences

Authors: Allen Van Gelder

Weighted hypertree decompositions and optimal query plans

JOURNAL ARTICLE published May 2007 in Journal of Computer and System Sciences

Authors: Francesco Scarcello | Gianluigi Greco | Nicola Leone

Multilevel nested relational structures

JOURNAL ARTICLE published February 1988 in Journal of Computer and System Sciences

Authors: Dirk Van Gucht | Patrick C. Fischer

Enumerating homomorphisms

JOURNAL ARTICLE published March 2012 in Journal of Computer and System Sciences

Authors: Andrei A. Bulatov | Víctor Dalmau | Martin Grohe | Dániel Marx

GYO reductions, canonical connections, tree and cyclic schemas, and tree projections

JOURNAL ARTICLE published December 1984 in Journal of Computer and System Sciences

Authors: Nathan Goodman | Oded Shmueli | Y.C. Tay

Datalog extensions for database queries and updates

JOURNAL ARTICLE published August 1991 in Journal of Computer and System Sciences

Authors: Serge Abiteboul | Victor Vianu

Topological Queries in Spatial Databases

JOURNAL ARTICLE published February 1999 in Journal of Computer and System Sciences

Authors: CH. Papadimitriou | D. Suciu | V. Vianu

A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries

JOURNAL ARTICLE published August 1999 in Journal of Computer and System Sciences

Authors: Oscar H. Ibarra | Jianwen Su

Approximating Hyper-Rectangles: Learning and Pseudorandom Sets

JOURNAL ARTICLE published December 1998 in Journal of Computer and System Sciences

Authors: Peter Auer | Philip M Long | Aravind Srinivasan

Unit interval vertex deletion: Fewer vertices are relevant

JOURNAL ARTICLE published August 2018 in Journal of Computer and System Sciences

Research funded by Hong Kong Research Grants Council (252026/15E) | National Natural Science Foundation of China (61572414,61420106009)

Authors: Yuping Ke | Yixin Cao | Xiating Ouyang | Wenjun Li | Jianxin Wang

SR(s, k) parsers: A class of shift-reduce bounded-context parsers

JOURNAL ARTICLE published April 1981 in Journal of Computer and System Sciences

Authors: David A. Workman

Special issue on intelligent and innovative information systems

JOURNAL ARTICLE published November 2013 in Journal of Computer and System Sciences

Authors: Tomoya Enokido | Leonard Barolli | Makoto Takizawa

Editorial Board

JOURNAL ARTICLE published March 2016 in Journal of Computer and System Sciences