On the decidability of query containment under constraints

Foundations of databases

1994 • 3,562 citations

Optimal implementation of conjunctive queries in relational data bases

1977 • 1,236 citations

Propositional dynamic logic of regular programs

1979 • 1,188 citations

The undecidability of the domino problem

1966 • 1,013 citations

Information integration using logical views

2000 • 834 citations

Querying semi-structured data

1997 • 756 citations

Maintenance of materialized views: problems, techniques, and applications

1999 • 605 citations

Automata-theoretic techniques for modal logics of programs

1986 • 529 citations

Logics of Programs.

1990 • 458 citations

Equivalences Among Relational Expressions with the Union and Difference Operators

1980 • 373 citations

Equivalences among Relational Expressions

1979 • 368 citations

Managing semantic heterogeneity in databases

1997 • 364 citations

Testing containment of conjunctive queries under functional and inclusion dependencies

1984 • 325 citations

Conjunctive query containment revisited

2000 • 318 citations

Untitled

1998 • 311 citations

On conjunctive queries containing inequalities

1988 • 298 citations

Data model and query evaluation in global information systems

1995 • 291 citations

Maintenance of Materialized Views: Problems, Techniques, and Applications.

1995 • 275 citations

Description logic framework for information integration

1998 • 245 citations

Efficient optimization of a class of relational expressions

1979 • 218 citations

REPRESENTING AND USING INTERSCHEMA KNOWLEDGE IN COOPERATIVE INFORMATION SYSTEMS

1993 • 182 citations

The Stanford Data Warehousing Project

1995 • 179 citations

The Implication Problem for Functional and Inclusion Dependencies is Undecidable

1985 • 178 citations

Recurring Dominoes: Making the Highly Undecidable Highly Understandable

1985 • 171 citations

TBox and ABox reasoning in expressive description logics

1996 • 155 citations

CARIN: A Representation Language Combining Horn Rules and Description Logics.

1996 • 146 citations

Logics of Programs

1990 • 141 citations

Constraint checking with partial information

1994 • 135 citations

Containment of conjunctive queries

1995 • 132 citations

The implication problem for functional and inclusion dependencies

1983 • 128 citations

Graded modalities. I

1985 • 102 citations

Efficient optimization of a class of relational expressions

1978 • 94 citations

On the equivalence of recursive and nonrecursive datalog programs

1992 • 84 citations

What's in an aggregate: foundations for description logics with tuples and sets

1995 • 59 citations

Structured objects: Modeling and reasoning

1995 • 57 citations

Containment and minimization of positive conjunctive queries in OODB's

1992 • 53 citations

Deciding Containment for Queries with Complex Objects.

1997 • 50 citations

Deciding containment for queries with complex objects (extended abstract)

1997 • 47 citations

The complexity of querying indefinite information: defined relations, recursion and linear order

1992 • 28 citations

Conjunctive query containment with respect to views and constraints

1996 • 26 citations

Conjunctive query containment revisited: Extended Abstract

1997 • 15 citations