Commentary on the second part of {open_quotes}Datalog: An exhaustive survey{close_quotes}
The first part of the article, which was published in Programmirovanie No. 4, 1991, considered the syntax and logical symnatics of Datalog, as well as the Herbrand model-theoretic interpretation of Datalog, a theory of logical inference intended use with Datalog, an approach to computing fixed points of Datalog programs, and the notion of translating a Datalog gram into a system of equations is relational algebra. Issues concerning completeness of programs in Datalog were also considered. The second part of the article classifies methods for optimization of Datalog queries; well-developed methods are presented. There is a discussion of various datalog extensions that are currently under study; the authors also suggest further improvements that are necessary if Datalog is to be used for practical problems. The article is presented as a self-contained survey that is directed, in particular, toward database specialists who are unfamiliar with the concepts of logic programming. The first part of the article was accompanied by a Russian-language commentary.
- OSTI ID:
- 393856
- Journal Information:
- Programming and Computer Software, Vol. 17, Issue 5; Other Information: PBD: Jul 1992; TN: Translated from Programmirovanie; No. 5, 31(Sep-Oct 1991)
- Country of Publication:
- United States
- Language:
- English
Similar Records
Datalog; a self-contained tutorial (Part 1)
Comments on {open_quotes}datalog: A self-contained tutorial{close_quotes} by S. Ceri, G. Gottlob, and L. Tanca