@incollection{Kannellakis:Handbook:1990,
    Abstract = {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 them, is justified through an in-depth investigation of their properties. Some important research themes are also reviewed in the chapter: the analysis of the hypergraph syntax of a database scheme, and the extensions of the query language using deduction or universal relation assumptions. The chapter discusses two fundamental concepts, namely, dependencies and queries. The main themes of dependency theory are implication problems and applications to database scheme design. Queries are classified in a various ways, with emphasis on the connections between the expressibility of query languages, finite model theory, and logic programming.},
    Address = {Amsterdam},
    Author = {Kanellakis, Paris C.},
    BookTitle = {Formal Models and Semantics},
    Editor = {Leeuwen, Jan Van},
    ISBN = {978-0-444-88074-1},
    Pages = {1073--1156},
    Publisher = {Elsevier},
    Series = {Handbook of Theoretical Computer Science},
    Title = {Elements of Relational Database Theory},
    URL = {https://www.sciencedirect.com/science/article/pii/B9780444880741500226},
    Year = {1990},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/B9780444880741500226},
    bdsk-url-2 = {https://doi.org/10.1016/B978-0-444-88074-1.50022-6},
    date-added = {2021-09-20 18:53:07 +0200},
    date-modified = {2021-09-20 18:53:54 +0200},
    doi = {10.1016/B978-0-444-88074-1.50022-6}
}

@incollection{Kannellakis:Handbook:1990, Abstract = {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 them, is justified through an in-depth investigation of their properties. Some important research themes are also reviewed in the chapter: the analysis of the hypergraph syntax of a database scheme, and the extensions of the query language using deduction or universal relation assumptions. The chapter discusses two fundamental concepts, namely, dependencies and queries. The main themes of dependency theory are implication problems and applications to database scheme design. Queries are classified in a various ways, with emphasis on the connections between the expressibility of query languages, finite model theory, and logic programming.}, Address = {Amsterdam}, Author = {Kanellakis, Paris C.}, BookTitle = {Formal Models and Semantics}, Editor = {Leeuwen, Jan Van}, ISBN = {978-0-444-88074-1}, Pages = {1073--1156}, Publisher = {Elsevier}, Series = {Handbook of Theoretical Computer Science}, Title = {Elements of Relational Database Theory}, URL = {https://www.sciencedirect.com/science/article/pii/B9780444880741500226}, Year = {1990}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/B9780444880741500226}, bdsk-url-2 = {https://doi.org/10.1016/B978-0-444-88074-1.50022-6}, date-added = {2021-09-20 18:53:07 +0200}, date-modified = {2021-09-20 18:53:54 +0200}, doi = {10.1016/B978-0-444-88074-1.50022-6} }