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

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

Using decomposition-parameters for QBF: Mind the prefix!

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

Research funded by Austrian Science Fund (P31336)

Authors: Eduard Eiben | Robert Ganian | Sebastian Ordyniak

The nested universal relation data model

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

Authors: Mark Levene | George Loizou

Reconstructing an ancestral genome using minimum segments duplications and reversals

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

Authors: Nadia El-Mabrouk

Sorting signed permutations by reversals, revisited

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

Authors: Haim Kaplan | Elad Verbin

Polynomially ambiguous probabilistic automata on restricted languages

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

Authors: Paul C. Bell

Pregroup grammars with letter promotions: Complexity and context-freeness

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

Authors: Wojciech Buszkowski | Zhe Lin | Katarzyna Moroz