Publisher Summary This chapter presents a systematic and unifying introduction to
relational database theory, including some of the recent developments in database logic
programming. The chapter focuses on the two basic components of the relational data
model: its specification component, which is the database scheme with dependencies; and
its operational component, which is the relational algebra query language. The choice of
basic constructs, for specifying the semantically meaningful databases and for querying …