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 …

Finite model theory is an area of mathematical logic that grew out of computer science
applications. The main sources of motivational examples for finite model theory are found in …

This handbook provides an up-to-date compendium of fundamental computer science
topics, techniques, and applications. Along with updating and revising many of the existing …

Entrustable professional activities (EPAs) have received much attention in the literature
since they were first proposed in 2005. Useful guidelines, workshops, courses, and …

The management of semistructured data has recently rccoivcd significant attention because
of the need of several applications to model and query large volumes of irregular data. This …

Publisher Summary This chapter presents a systematic and unifying introduction to
relational database theory, including some of the recent developments in database logic …

Research on information extraction from Web pages (wrapping) has seen much activity
recently (particularly systems implementations), but little work has been done on formally …

Datalog is the language of logic programs without function symbols. It is used as a database
query language. If it is possible to eliminate recursion from a Datalog program F', then t'is …

We present the Lixto project, which is both a research project in database theory and a
commercial enterprise that develops Web data extraction (wrapping) and Web service …

Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of
database systems: On the equivalence of recursiv Page 1 On the Equivalence of Recursive and …