Auditing Boolean attributes

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

Authors: Jon Kleinberg | Christos Papadimitriou | Prabhakar Raghavan

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

Normal Forms and Conservative Extension Properties for Query Languages over Collection Types

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

Authors: Limsoon Wong

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

Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model

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

Authors: Omer Barkol | Yuval Rabani

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

Domino-tiling games

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

Authors: Bogdan S. Chlebus

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