Cover Image

Logic Programming and Databases /

Show other versions (1)

This book presents a systematic overview of the interaction between logic programming and database systems. Merging these two technologies permits new types of systems which extend the frontiers of computer science and open up new applications, such as deductive databases, knowledge base management...

Full description

Bibliographic Details
Main Author:	Ceri, Stefano
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gottlob, G. (Georg), Tanca, L. (Letizia)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Series:	Surveys in computer science.
Subjects:	Computer science. Logic design. Database management. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

Query Processing in Database Systems /
by: Kim, Won, 1948-
Published: (1985)

Advances in Database Technology - EDBT '90 : International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings /
by: Bancilhon, François
Published: (1990)

Database and Expert Systems Applications : Proceedings of the International Conference in Vienna, Austria, 1990 /
by: Tjoa, A Min
Published: (1990)

Database and Expert Systems Applications : Proceedings of the International Conference in Valencia, Spain, 1992 /
by: Tjoa, A Min
Published: (1992)

Advances in Database Technology - EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. Proceedings /
by: Pirotte, A.
Published: (1992)

Database Theory - ICDT '92 : 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings /
by: Biskup, J. (Joachim)
Published: (1992)

Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995. Proceedings /
by: Gottlob, G. (Georg)
Published: (1995)

The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)

CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings /
Published: (1988)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

GWAI-87 11th German Workshop on Artifical Intelligence : Geseke, September 28-October 2, 1987 Proceedings /
by: Morik, Katharina
Published: (1987)

ALPUK 91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 /
by: Wiggins, Geraint A.
Published: (1992)

State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Programming in Prolog /
by: Clocksin, William F.
Published: (1984)

Principles and Practice of Constraint Programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
by: Jaffar, Joxan
Published: (1999)

Foundations of Knowledge Base Management : Contributions from Logic, Databases, and Artificial Intelligence Applications /
by: Schmidt, Joachim W.
Published: (1989)

Logic-Based Artificial Intelligence /
by: Minker, Jack
Published: (2000)

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
by: Baader, Franz
Published: (2003)

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19-22, 1996. Proceedings /
by: Freuder, Eugene C.
Published: (1996)

Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995. Proceedings /
by: Montanari, Ugo
Published: (1995)