The purpose of this paper is to show that logic provides a convenient formalism for studying
classical database problems. There are two main parts to the paper, devoted respectively to …

This paper provides a systematic and comprehensive study of the underlying semantics of
temporal databases, summarizing the results of an intensive collaboration between the two …

This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

Chordal graphs arise naturally in the study of Gaussian elimination on sparse symmetric
matrices; acyclic hypergraphs arise in the study of relational data bases. Rose, Tarjan and …

• Bases de datos relacionales (Capítulos 4 al 7). El Capítulo 4 se centra en el lenguaje
relacional orientado al usuario de mayor influencia: SQL. El Capítulo 5 cubre otros dos …

During the last three or four years several investigators have been exploring “semantic
models” for formatted databases. The intent is to capture (in a more or less formal way) more …

Presented is a computation method—the chase—for testing implication of data
dependencies by a set of data dependencies. The chase operates on tableaux similar to …

Database schemes (winch, intuitively, are collecuons of table skeletons) can be wewed as
hypergraphs (A hypergraph Is a generalization of an ordinary undirected graph, such that an …

A new type of dependency, which includes the well-known functional dependencies as a
special case, is defined for relational databases. By using this concept, a new (“fourth”) …

Answering queries in a relational database often requires that the natural join of two or more
relations be computed. However, the result of a join may not be what one expects. In this …