Logic Programming and Databases
Published on 15. December 2011
Book
Paperback/Softback
XIII, 284 pages
978-3-642-83954-2 (ISBN)
Description
The topic of logic programming and databases. has gained in creasing interest in recent years. Several events have marked the rapid evolution of this field: the selection, by the Japanese Fifth Generation Project, of Prolog and of the relational data model as the basis for the development of new machine archi tectures; the focusing of research in database theory on logic queries and on recursive query processing; and the pragmatic, application-oriented development of expert database systems and of knowledge-base systems. As a result, an enormous amount of work has been produced in the recent literature, coupled with the spontaneous growth of several advanced projects in this area. The goal of this book is to present a systematic overview of a rapidly evolving discipline, which is presently not described with the same approach in other books. We intend to introduce stu dents and researchers to this new discipline; thus we use a plain, tutorial style, and complement the description of algorithms with examples and exercises. We attempt to achieve a balance be tween theoretical foundations and technological issues; thus we present a careful introduction to the new language Datalog, but we also focus on the efficient interfacing of logic programming formalisms (such as Prolog and Datalog) with large databases.
More details
Series
Edition
Softcover reprint of the original 1st ed. 1990
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Lower undergraduate
Illustrations
XIII, 284 p.
Dimensions
Height: 242 mm
Width: 170 mm
Thickness: 17 mm
Weight
524 gr
ISBN-13
978-3-642-83954-2 (9783642839542)
DOI
10.1007/978-3-642-83952-8
Schweitzer Classification
Other editions
Additional editions
Stefano Ceri | Georg Gottlob | Letizia Tanca
Logic Programming and Databases
Book
03/1990
Springer
€85.55
Article exhausted; check different version
Persons
Stefano Ceri is a professor of Database Systems at the Politecnico di Milano and the director of Alta Scuola Politecnica. He is the recipient of the 2013 SIGMOD Edgar F. Codd Innovation Award for a series of influential contributions to several areas of database management, including distributed databases, rule-based systems, web-based application design, and search computing.
Alessandro Bozzon is an assistant professor of Information Retrieval at the Delft University of Technology. His research is on information management on the Web, with specific focus on Information Retrieval and human- and social-computation.
Marco Brambilla is an assistant professor of Software Engineering at Politecnico di Milano and shareholder at WebRatio. His research is on Web modeling tools and methods, spanning crowdsourcing, social networks, search engines, BPM, SOA and enterprise architectures.
Emanuele Della Valle is an assistant professor of Software Project Management at Politecnico di Milano. His research is on Intelligent Web Information Systems and includes Semantic Web, Search Engines, Data Stream Processing, Rank-aware Databases and Crowdsourcing.
Piero Fraternali is a professor of Web Technologies at Politecnico di Milano, co-inventor of the Web Modeling Language, the basis of the WebRatio tool company and of the recent OMG Interaction Flow Modeling Language (IFML). His research focuses on Web development tools and on social-human computation.
Silvia Quarteroni is a senior consultant at Elca Informatique, Switzerland. She holds a Computer Science PhD on Question Answering systems and her main research interests concern statistical approaches to natural language processing.
Content
1 Logic Programming and Databases: An Overview.- 1.1 Logic Programming as Query Language.- 1.2 Prolog and Datalog.- 1.3 Alternative Architectures.- 1.4 Applications.- 1.5 Bibliographic Notes.- 2 A Review of Relational Databases and Prolog.- 2.1 Overview of Relational Databases.- 2.2 Prolog: A Language for Programming in Logic.- 2.3 Bibliographic Notes.- I Coupling Prolog to Relational Databases.- 3 Prolog as a Query Language.- 4 Coupling Prolog Systems to Relational Databases.- 5 Overview of Systems for Coupling Prolog to Relational Databases.- II Foundations of Datalog.- 6 Syntax and Semantics of Datalog.- 7 Proof Theory and Evaluation Paradigms of Datalog.- III Optimization Methods for Datalog.- 8 Classification of Optimization Methods for Datalog.- 9 Evaluation Methods.- 10 Rewriting Methods.- 11 Extensions of Pure Datalog.- 12 Overview of Research Prototypes for Integrating Relational Databases and Logic Programming.