Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Logic programming and databases
Ceri S. (ed), Gottlob G., Tanca L., Springer-Verlag New York, Inc., New York, NY, 1990. Type: Book (9780387517285)
Date Reviewed: May 1 1991

The field at the interface of logic programming and databases, known by such names as “deductive database systems,” “expert database systems,” and “knowledge-base systems,” has advanced tremendously in recent years. Most of the published material on the topic is scattered through journal articles and conference proceedings. This book provides a much-needed survey of the field.

The book consists of 12 chapters. Chapter 1 provides an overview of logic programming and databases. Chapter 2 reviews relational databases and Prolog. The remaining chapters are grouped into three parts. Part 1, “Coupling Prolog to Relational Databases,” consists of chapters 3, 4, and 5. Chapter 3 deals with Prolog as a query language. Chapter 4 covers loosely coupled systems, tightly coupled systems, caching of data and queries, use of subsumption, and parallelism. Chapter 5 presents an overview of prototype systems for coupling Prolog to relational databases.

Part 2, “Foundations of Datalog,” consists of chapters 6 and 7. Chapter 6 deals with the syntax and semantics of Datalog. Chapter 7 covers the proof theory and evaluation paradigms of Datalog: the bottom-up or forward-chaining paradigm, the top-down or backward-chaining paradigm, and the least-fixpoint-iteration paradigm.

Part 3, “Optimization Methods for Datalog,” consists of chapters 8 through 12. Chapter 8 discusses the classification of optimization methods for Datalog, translation of Datalog into relational algebra, the classification of Datalog rules, and the expressive power of Datalog. Chapters 9 and 10 deal with several optimization methods for Datalog in detail--chapter 9 covers evaluation methods and chapter 10 covers rewriting methods. Chapter 11 presents extensions of Datalog, including the use of built-in functions, incorporation of negation into Datalog, and the representation and manipulation of complex objects. Chapter 12 is an overview of research prototypes for integrating relational databases and logic programming. The book also contains an extensive bibliography and an index.

The book contains a large number of examples and exercises. It is suitable as a textbook at the advanced undergraduate or beginning graduate level. A small number of other books (such as Lloyd [1], Naqvi and Tsur [2], and  Ullman [3])  also deal with some of the topics discussed in this book, but this volume provides the most balanced treatment of the major aspects of the field. It is not an exhaustive survey of the entire field, however: the authors do not address semantic query optimization, the validation of integrity constraints, or the treatment of incomplete information. In spite of this, the book is an excellent and much-needed addition to the literature on logic programming and databases.

Reviewer:  R. B. Abhyankar Review #: CR114692
1) Lloyd, J. W. Foundations of logic programming, second extended ed. Springer-Verlag, Berlin, 1987.
2) Naqvi, S. and Tsur, S. A logical language for data and knowledge bases. Computer Science Press, New York, 1989.
3) Ullman, J. D. Principles of database and knowledge-base systems, vol. 1. Computer Science Press, Rockville, MD, 1989.
4) Ullman, J. D. Principles of database and knowledge-base systems, vol. 2. Computer Science Press, Rockville, MD, 1989.
Bookmark and Share
 
Languages (H.2.3 )
 
 
Logic And Constraint Programming (F.4.1 ... )
 
 
Prolog (F.4.1 ... )
 
 
General (H.2.0 )
 
 
Logic Programming (D.1.6 )
 
Would you recommend this review?
yes
no
Other reviews under "Languages": Date
Logic as a database language
Kowalski R. (ed)  Proc. of the third British national conference on databases (BNCOD3) (, Leeds, UK,1321984. Type: Proceedings
Mar 1 1986
Logic, algebra and databases
Gray P. (ed), John Wiley & Sons, Inc., New York, NY, 1984. Type: Book (9789780470202593)
Nov 1 1986
A relational representation of an abstract type system
Weller D., York B. IEEE Transactions on Software Engineering SE-10(3): 303-309, 1984. Type: Article
Jan 1 1985
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy